Mathematics Project – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-10-14
- sci-mathematics/lean: increase ulimit for version 4.14.0
  727ab36
  Maciej Barć committed on 2025-10-14 19:43:17 UTC
  sci-mathematics/lean/lean-4.14.0-r1.ebuild
- sci-mathematics/lean: bump to 4.23.0
  2b889eb
  Maciej Barć committed on 2025-10-14 19:43:17 UTC
  sci-mathematics/lean/lean-4.23.0.ebuildsci-mathematics/lean/Manifest
- dev-python/mpmath: Bump to 1.4.0_beta2
  b9eaa61
  Michał Górny committed on 2025-10-14 06:48:46 UTC
  dev-python/mpmath/mpmath-1.4.0_beta2.ebuilddev-python/mpmath/Manifest
Commits on 2025-10-13
- dev-cpp/muParser: Stabilize 2.3.5 amd64, #951718
  6ee5215
  Sam James committed on 2025-10-13 02:58:47 UTC
  dev-cpp/muParser/muParser-2.3.5.ebuild
Commits on 2025-10-12
- dev-cpp/muParser: Stabilize 2.3.5 x86, #951718
  8dc80de
  Sam James committed on 2025-10-12 17:30:24 UTC
  dev-cpp/muParser/muParser-2.3.5.ebuild
- dev-cpp/muParser: Stabilize 2.3.5 arm64, #951718
  2763941
  Sam James committed on 2025-10-12 17:15:50 UTC
  dev-cpp/muParser/muParser-2.3.5.ebuild
- dev-cpp/muParser: Remove unused examples subdir to silence CMake 4 warning
  d1c9df8
  Andreas Sturmlechner committed on 2025-10-12 16:55:46 UTC
  dev-cpp/muParser/muParser-2.3.5.ebuild
Commits on 2025-10-10
- sci-mathematics/maxima: remove old revision
  7a10c91
  Andrey Grozin committed on 2025-10-10 16:17:09 UTC
  sci-mathematics/maxima/maxima-5.47.0-r1.ebuild
- dev-python/mpmath: Remove old
  8ec8090
  Michał Górny committed on 2025-10-10 11:24:29 UTC
  dev-python/mpmath/Manifestdev-python/mpmath/files/mpmath-1.4.0_alpha2-before-numpy-2.patchdev-python/mpmath/files/mpmath-1.4.0_alpha5-valueerror.patchdev-python/mpmath/mpmath-1.4.0_alpha2.ebuilddev-python/mpmath/mpmath-1.4.0_alpha5-r1.ebuilddev-python/mpmath/mpmath-1.4.0_alpha8.ebuild
Commits on 2025-10-09
- dev-python/mpmath: Stabilize 1.4.0_alpha6 ppc64, #960435
  ecf6b00
  Sam James committed on 2025-10-09 04:28:14 UTC
  dev-python/mpmath/mpmath-1.4.0_alpha6.ebuild
- dev-python/mpmath: Stabilize 1.4.0_alpha6 arm, #960435
  0f8f5e6
  Sam James committed on 2025-10-09 04:28:08 UTC
  dev-python/mpmath/mpmath-1.4.0_alpha6.ebuild
Commits on 2025-10-08
- sci-mathematics/why3: dev-lang/ocaml dep redundant
  88a4f3c
  Alfredo Tupone committed on 2025-10-08 17:20:42 UTC
  sci-mathematics/why3/why3-1.6.0.ebuildsci-mathematics/why3/why3-1.7.2.ebuildsci-mathematics/why3/why3-1.8.0.ebuildsci-mathematics/why3/why3-1.8.1.ebuildsci-mathematics/why3/why3-1.8.2.ebuild
- sci-mathematics/cubicle: dev-lang/ocaml min is 4.11
  4630258
  Alfredo Tupone committed on 2025-10-08 17:17:53 UTC
  sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
Commits on 2025-10-07
- media-libs/qhull: Stabilize 2020.2.8.1_alpha6 ppc, #963618
  9f88be4
  Arthur Zamarin committed on 2025-10-07 07:48:46 UTC
  media-libs/qhull/qhull-2020.2.8.1_alpha6.ebuild
Commits on 2025-10-06
- sci-mathematics/easycrypt: bump to 2025.10
  bcc528f
  Maciej Barć committed on 2025-10-06 21:21:44 UTC
  sci-mathematics/easycrypt/easycrypt-2025.10.ebuildsci-mathematics/easycrypt/Manifest
- sci-mathematics/coq-stdlib: depend on coq sub-slot
  e5ad8c8
  Maciej Barć committed on 2025-10-06 21:21:43 UTC
  sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuildsci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
Commits on 2025-10-05
- media-libs/qhull: Stabilize 2020.2.8.1_alpha6 arm64, #963618
  0d138aa
  Sam James committed on 2025-10-05 23:08:30 UTC
  media-libs/qhull/qhull-2020.2.8.1_alpha6.ebuild
- media-libs/qhull: Stabilize 2020.2.8.1_alpha6 amd64, #963618
  8a3f45a
  Sam James committed on 2025-10-05 21:04:58 UTC
  media-libs/qhull/qhull-2020.2.8.1_alpha6.ebuild
- media-libs/qhull: Stabilize 2020.2.8.1_alpha6 x86, #963618
  de605f9
  Sam James committed on 2025-10-05 21:04:54 UTC
  media-libs/qhull/qhull-2020.2.8.1_alpha6.ebuild
- media-libs/qhull: Stabilize 2020.2.8.1_alpha6 arm, #963618
  6104f9e
  Sam James committed on 2025-10-05 21:04:50 UTC
  media-libs/qhull/qhull-2020.2.8.1_alpha6.ebuild
Commits on 2025-10-02
- sci-mathematics/rkward: add 0.8.2
  c74641c
  Andreas Sturmlechner committed on 2025-10-02 21:27:29 UTC
  sci-mathematics/rkward/rkward-0.8.2.ebuildsci-mathematics/rkward/Manifest
- sci-mathematics/gap: add 4.15.0, drop 4.15.0_beta2
  fb2d37f
  Michael Orlitzky committed on 2025-10-02 12:27:13 UTC
  sci-mathematics/gap/gap-4.15.0.ebuildsci-mathematics/gap/Manifestsci-mathematics/gap/gap-4.15.0_beta2.ebuild
Commits on 2025-09-30
- media-libs/qhull: add 2020.2.8.1_alpha6
  113d0aa
  Paul Zander authored and Sam James committed on 2025-09-30 20:22:10 UTC
  media-libs/qhull/files/qhull-2020.2.8.1_alpha6-update-version-alpha3.patchmedia-libs/qhull/qhull-2020.2.8.1_alpha6.ebuildmedia-libs/qhull/Manifest
Commits on 2025-09-29
- dev-gap/digraphs: add 1.13.1, drop 1.12.0
  dcebfc7
  Michael Orlitzky committed on 2025-09-29 13:08:45 UTC
  dev-gap/digraphs/digraphs-1.13.1.ebuilddev-gap/digraphs/Manifestdev-gap/digraphs/digraphs-1.12.0.ebuilddev-gap/digraphs/files/digraphs-planarity-4.x.patch
- sci-mathematics/easycrypt: drop extra dev-lang/ocaml
  c7465ad
  Alfredo Tupone committed on 2025-09-29 10:15:30 UTC
  sci-mathematics/easycrypt/easycrypt-2025.03.ebuildsci-mathematics/easycrypt/easycrypt-2025.08.ebuild
Commits on 2025-09-28
- sci-mathematics/coq: update homepage and XML metadata
  faa73bd
  Maciej Barć committed on 2025-09-28 15:06:01 UTC
  sci-mathematics/coq/coq-8.17.1-r1.ebuildsci-mathematics/coq/coq-8.19.2-r1.ebuildsci-mathematics/coq/coq-8.20.0-r1.ebuildsci-mathematics/coq/coq-9.0.0.ebuildsci-mathematics/coq/coq-9.1.0-r1.ebuildsci-mathematics/coq/metadata.xml
- sci-mathematics/coq: add missing yojson dependency
  fb02487
  Maciej Barć committed on 2025-09-28 15:04:19 UTC
  sci-mathematics/coq/coq-9.1.0-r1.ebuildsci-mathematics/coq/coq-9.1.0.ebuild
Commits on 2025-09-27
- sci-mathematics/why3: bump to 1.8.2
  8fec647
  Maciej Barć committed on 2025-09-27 20:56:12 UTC
  sci-mathematics/why3/why3-1.8.2.ebuildsci-mathematics/why3/Manifest
- sci-mathematics/coq: bump to 9.1.0
  7762938
  Maciej Barć committed on 2025-09-27 20:56:10 UTC
  sci-mathematics/coq/coq-9.1.0.ebuildsci-mathematics/coq/Manifest
- dev-lang/elpi: dev-lang/ocaml-4.08 has gone
  fbecd3c
  Alfredo Tupone committed on 2025-09-27 15:46:49 UTC
  dev-lang/elpi/elpi-1.19.6-r1.ebuilddev-lang/elpi/elpi-2.0.7.ebuild
Commits on 2025-09-26
- sci-mathematics/maxima: Stabilize 5.47.0-r2 amd64, #958733
  735afef
  Arthur Zamarin committed on 2025-09-26 06:25:56 UTC
  sci-mathematics/maxima/maxima-5.47.0-r2.ebuild
Commits on 2025-09-25
- media-gfx/netgen: Stabilize 6.2.2501-r1 amd64, #958743
  2c271c7
  Sam James committed on 2025-09-25 12:57:40 UTC
  media-gfx/netgen/netgen-6.2.2501-r1.ebuild
- sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate
  a69e28c
  Alfredo Tupone committed on 2025-09-25 06:03:22 UTC
  sci-mathematics/alt-ergo/alt-ergo-2.4.3-r3.ebuildsci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
Commits on 2025-09-14
- sci-mathematics/prng: fix -lm patch, EAPI 8
  fcd9b2c
  Sam James committed on 2025-09-14 07:33:00 UTC
  sci-mathematics/prng/prng-3.0.2-r4.ebuildsci-mathematics/prng/files/prng-3.0.2-shared.patchsci-mathematics/prng/prng-3.0.2-r3.ebuild
Commits on 2025-09-13
- sci-mathematics/gap: add 4.15.0_beta2, drop 4.15.0_beta1
  818bfb3
  Michael Orlitzky committed on 2025-09-13 14:06:56 UTC
  sci-mathematics/gap/gap-4.15.0_beta2.ebuildsci-mathematics/gap/Manifestsci-mathematics/gap/gap-4.15.0_beta1.ebuild
Commits on 2025-09-09
- dev-python/bottleneck: Bump to 1.6.0
  a971eca
  Michał Górny committed on 2025-09-09 03:22:16 UTC
  dev-python/bottleneck/bottleneck-1.6.0.ebuilddev-python/bottleneck/Manifest
Commits on 2025-09-07
- dev-python/bottleneck: Bump to 1.6.0_rc1
  8433aaa
  Michał Górny committed on 2025-09-07 02:38:39 UTC
  dev-python/bottleneck/bottleneck-1.6.0_rc1.ebuilddev-python/bottleneck/Manifest
- dev-python/bottleneck: Remove old
  3e7cac4
  Michał Górny committed on 2025-09-07 02:38:38 UTC
  dev-python/bottleneck/Manifestdev-python/bottleneck/bottleneck-1.4.2.ebuilddev-python/bottleneck/bottleneck-1.5.0_rc1.ebuild
Commits on 2025-09-06
- dev-python/mpmath: Bump to 1.4.0_beta1
  6e38d7b
  Michał Górny committed on 2025-09-06 07:00:58 UTC
  dev-python/mpmath/mpmath-1.4.0_beta1.ebuilddev-python/mpmath/Manifest
Commits on 2025-09-02
- */*: destable sparc
  0ad96e8
  Arthur Zamarin committed on 2025-09-02 17:00:14 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-accessibility/espeak-ng/espeak-ng-1.51.ebuildapp-accessibility/espeak-ng/espeak-ng-1.52.0.ebuildapp-accessibility/flite/flite-2.2-r1.ebuildapp-accessibility/flite/flite-2.2-r2.ebuildapp-accessibility/flite/flite-2.2-r3.ebuildapp-accessibility/mbrola-voices/mbrola-voices-0_pre20200331.ebuildapp-accessibility/mbrola/mbrola-3.3-r1.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.11.5.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.12.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r2.ebuildapp-admin/analog/analog-6.0.17.ebuildapp-admin/apache-tools/apache-tools-2.4.63.ebuildapp-admin/apachetop/apachetop-0.23.2.ebuildapp-admin/augeas/augeas-1.14.1-r1.ebuildapp-admin/awscli/awscli-1.41.14.ebuildapp-admin/conky/conky-1.22.1-r1.ebuildapp-admin/emacs-updater/emacs-updater-1.19.ebuild...
- */*: destable sparc
  0ad96e8
  Arthur Zamarin committed on 2025-09-02 17:00:14 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-accessibility/espeak-ng/espeak-ng-1.51.ebuildapp-accessibility/espeak-ng/espeak-ng-1.52.0.ebuildapp-accessibility/flite/flite-2.2-r1.ebuildapp-accessibility/flite/flite-2.2-r2.ebuildapp-accessibility/flite/flite-2.2-r3.ebuildapp-accessibility/mbrola-voices/mbrola-voices-0_pre20200331.ebuildapp-accessibility/mbrola/mbrola-3.3-r1.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.11.5.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.12.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r2.ebuildapp-admin/analog/analog-6.0.17.ebuildapp-admin/apache-tools/apache-tools-2.4.63.ebuildapp-admin/apachetop/apachetop-0.23.2.ebuildapp-admin/augeas/augeas-1.14.1-r1.ebuildapp-admin/awscli/awscli-1.41.14.ebuildapp-admin/conky/conky-1.22.1-r1.ebuildapp-admin/emacs-updater/emacs-updater-1.19.ebuild...
- */*: destable sparc
  0ad96e8
  Arthur Zamarin committed on 2025-09-02 17:00:14 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-accessibility/espeak-ng/espeak-ng-1.51.ebuildapp-accessibility/espeak-ng/espeak-ng-1.52.0.ebuildapp-accessibility/flite/flite-2.2-r1.ebuildapp-accessibility/flite/flite-2.2-r2.ebuildapp-accessibility/flite/flite-2.2-r3.ebuildapp-accessibility/mbrola-voices/mbrola-voices-0_pre20200331.ebuildapp-accessibility/mbrola/mbrola-3.3-r1.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.11.5.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.12.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r2.ebuildapp-admin/analog/analog-6.0.17.ebuildapp-admin/apache-tools/apache-tools-2.4.63.ebuildapp-admin/apachetop/apachetop-0.23.2.ebuildapp-admin/augeas/augeas-1.14.1-r1.ebuildapp-admin/awscli/awscli-1.41.14.ebuildapp-admin/conky/conky-1.22.1-r1.ebuildapp-admin/emacs-updater/emacs-updater-1.19.ebuild...
- */*: destable sparc
  0ad96e8
  Arthur Zamarin committed on 2025-09-02 17:00:14 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-accessibility/espeak-ng/espeak-ng-1.51.ebuildapp-accessibility/espeak-ng/espeak-ng-1.52.0.ebuildapp-accessibility/flite/flite-2.2-r1.ebuildapp-accessibility/flite/flite-2.2-r2.ebuildapp-accessibility/flite/flite-2.2-r3.ebuildapp-accessibility/mbrola-voices/mbrola-voices-0_pre20200331.ebuildapp-accessibility/mbrola/mbrola-3.3-r1.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.11.5.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.12.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r2.ebuildapp-admin/analog/analog-6.0.17.ebuildapp-admin/apache-tools/apache-tools-2.4.63.ebuildapp-admin/apachetop/apachetop-0.23.2.ebuildapp-admin/augeas/augeas-1.14.1-r1.ebuildapp-admin/awscli/awscli-1.41.14.ebuildapp-admin/conky/conky-1.22.1-r1.ebuildapp-admin/emacs-updater/emacs-updater-1.19.ebuild...
- */*: destable sparc
  0ad96e8
  Arthur Zamarin committed on 2025-09-02 17:00:14 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-accessibility/espeak-ng/espeak-ng-1.51.ebuildapp-accessibility/espeak-ng/espeak-ng-1.52.0.ebuildapp-accessibility/flite/flite-2.2-r1.ebuildapp-accessibility/flite/flite-2.2-r2.ebuildapp-accessibility/flite/flite-2.2-r3.ebuildapp-accessibility/mbrola-voices/mbrola-voices-0_pre20200331.ebuildapp-accessibility/mbrola/mbrola-3.3-r1.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.11.5.ebuildapp-accessibility/speech-dispatcher/speech-dispatcher-0.12.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r1.ebuildapp-accessibility/speech-tools/speech-tools-2.5.0-r2.ebuildapp-admin/analog/analog-6.0.17.ebuildapp-admin/apache-tools/apache-tools-2.4.63.ebuildapp-admin/apachetop/apachetop-0.23.2.ebuildapp-admin/augeas/augeas-1.14.1-r1.ebuildapp-admin/awscli/awscli-1.41.14.ebuildapp-admin/conky/conky-1.22.1-r1.ebuildapp-admin/emacs-updater/emacs-updater-1.19.ebuild...
- */*: destable hppa
  634a005
  Arthur Zamarin committed on 2025-09-02 17:00:12 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-admin/eselect/eselect-1.4.29.ebuildapp-admin/eselect/eselect-1.4.30.ebuildapp-admin/fam/fam-2.7.0_p17_p3.ebuildapp-admin/hddtemp/hddtemp-0.3_beta15-r29.ebuildapp-admin/logrotate/logrotate-3.22.0.ebuildapp-admin/metalog/metalog-20230719.ebuildapp-admin/passook/passook-20121001.ebuildapp-admin/perl-cleaner/perl-cleaner-2.31-r2.ebuildapp-admin/pwgen/pwgen-2.08-r2.ebuildapp-admin/sudo/sudo-1.9.17_p1.ebuildapp-admin/syslog-ng/syslog-ng-4.6.0.ebuildapp-admin/syslog-ng/syslog-ng-4.8.1-r1.ebuildapp-admin/syslog-ng/syslog-ng-4.8.1.ebuildapp-alternatives/awk/awk-4.ebuildapp-alternatives/bc/bc-0.ebuildapp-alternatives/bzip2/bzip2-1.ebuildapp-alternatives/cpio/cpio-0.ebuildapp-alternatives/gzip/gzip-0.ebuild...
- */*: destable hppa
  634a005
  Arthur Zamarin committed on 2025-09-02 17:00:12 UTC
  app-accessibility/at-spi2-atk/at-spi2-atk-2.46.0.ebuildapp-accessibility/at-spi2-core/at-spi2-core-2.54.1-r1.ebuildapp-admin/eselect/eselect-1.4.29.ebuildapp-admin/eselect/eselect-1.4.30.ebuildapp-admin/fam/fam-2.7.0_p17_p3.ebuildapp-admin/hddtemp/hddtemp-0.3_beta15-r29.ebuildapp-admin/logrotate/logrotate-3.22.0.ebuildapp-admin/metalog/metalog-20230719.ebuildapp-admin/passook/passook-20121001.ebuildapp-admin/perl-cleaner/perl-cleaner-2.31-r2.ebuildapp-admin/pwgen/pwgen-2.08-r2.ebuildapp-admin/sudo/sudo-1.9.17_p1.ebuildapp-admin/syslog-ng/syslog-ng-4.6.0.ebuildapp-admin/syslog-ng/syslog-ng-4.8.1-r1.ebuildapp-admin/syslog-ng/syslog-ng-4.8.1.ebuildapp-alternatives/awk/awk-4.ebuildapp-alternatives/bc/bc-0.ebuildapp-alternatives/bzip2/bzip2-1.ebuildapp-alternatives/cpio/cpio-0.ebuildapp-alternatives/gzip/gzip-0.ebuild...
- dev-python/mpmath: Bump to 1.4.0_alpha8
  9ce2fd8
  Michał Górny committed on 2025-09-02 05:26:34 UTC
  dev-python/mpmath/mpmath-1.4.0_alpha8.ebuilddev-python/mpmath/Manifest
- dev-gap/semigroups: add 5.5.4, drop 5.5.3
  9a8be2f
  Michael Orlitzky committed on 2025-09-02 05:24:46 UTC
  dev-gap/semigroups/semigroups-5.5.4.ebuilddev-gap/semigroups/Manifestdev-gap/semigroups/semigroups-5.5.3.ebuild
- dev-gap/digraphs: add 1.12.0, drop 1.10.0
  784ba6e
  Michael Orlitzky committed on 2025-09-02 05:24:45 UTC
  dev-gap/digraphs/digraphs-1.12.0.ebuilddev-gap/digraphs/Manifestdev-gap/digraphs/digraphs-1.10.0.ebuild
- dev-gap/utils: add 0.91
  150f5b4
  Michael Orlitzky committed on 2025-09-02 05:24:43 UTC
  dev-gap/utils/utils-0.91.ebuilddev-gap/utils/Manifest