Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
...
* sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscvAlex Fan2021-12-291-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/polymake: keyword 4.5 for ~riscvAlex Fan2021-12-291-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscvAlex Fan2021-12-291-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/nauty: keyword 2.7.3 for ~riscvAlex Fan2021-12-291-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/cliquer: keyword 1.22 for ~riscvAlex Fan2021-12-291-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/smtinterpol: new package; add version 2.5_p20211018Maciej Barć2021-12-285-0/+78
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-282-0/+15
| | | | | | Closes: https://bugs.gentoo.org/830175 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-283-0/+47
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: fix depsMaciej Barć2021-12-281-1/+5
| | | | | | | Closes: https://bugs.gentoo.org/830140 Closes: https://bugs.gentoo.org/830156 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/psmt2-frontend: metadata: add longdescription and upstreamMaciej Barć2021-12-281-0/+8
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.1Maciej Barć2021-12-282-0/+45
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/psmt2-frontend: bump to 0.4.0Maciej Barć2021-12-282-0/+24
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/psmt2-frontend: change maint: tupone -> ml & sciMaciej Barć2021-12-281-4/+9
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: maint change: tupone -> ml & sciMaciej Barć2021-12-271-15/+21
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: multiple fixesMaciej Barć2021-12-276-67/+161
| | | | | | | | | | | | | | - add missing test submodules - add optional cryptominisat dependency (USE=dependency) - add the Gentoo Mathematics Project to co-maintainers - change python to optional dependency (USE=python) - install PDF documentation - patch CMakeLists.txt to fix CFLAGS - patch stp.py to fix python module Closes: https://bugs.gentoo.org/759457 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: dev-libs -> sci-mathematicsMaciej Barć2021-12-273-0/+72
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: new package; add version 5.8.0Maciej Barć2021-12-263-0/+62
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/minisat: bump to 2.2.1Maciej Barć2021-12-263-7/+54
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/primecount: new revision to fix popcnt usage.Michael Orlitzky2021-12-261-1/+2
| | | | | | | | I completely forgot this was part of cpu_flags_x86. Now we disable it when the CPU does not support it. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: drop trailing full stop from DESCRIPTIONSam James2021-12-261-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/verit: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/singular: move to 4.2.1p3 - sync with 4.2.1-r1 optionsFrançois Bissey2021-12-252-33/+38
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/23281 Closes: https://bugs.gentoo.org/829029 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: Update to singular 4.2.1p2François Bissey2021-12-253-0/+161
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/verit: src_install - defaultMaciej Barć2021-12-241-3/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/verit: new package; add version 2021.06.2Maciej Barć2021-12-243-0/+45
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/primecount: new fast CLI/library to count primes.Michael Orlitzky2021-12-243-0/+73
| | | | | | | | | | This is a new dependency of SageMath. The SageMath ./configure script will detect primecount on the system and use it (rather than rebuilding a bundled copy) if installed. Based on the sage-on-gentoo ebuild contributed by François Bissey. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: new CLI/library to quickly generate primes.Michael Orlitzky2021-12-243-0/+75
| | | | | | | | | This package will soon be a dependency of SageMath, transitively via the forthcoming sci-mathematics/primecount that uses it. Based on the sage-on-gentoo ebuild by François Bissey. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.14Michał Górny2021-12-242-0/+104
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/lcalc: new upstream v2.0.5.Michael Orlitzky2021-12-212-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac-1.7.0.13-r1: fix build for PrefixFabian Groffen2021-12-181-1/+1
| | | | | | Closes: https://bugs.gentoo.org/829385 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/singular: add julia and polymake useflagsAndrew Ammerlaan2021-12-152-0/+130
| | | | | | | Co-authored-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/22742 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-143-268/+0
| | | | | | | | | | | Drop old ebuilds that depend on media-libs/netpbm[zlib] They have been replaced by ebuilds that depend on media-libs/netpbm[zlib(+)] Bug: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23211 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.Michael Orlitzky2021-12-132-24/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lrcalc: New upstream releaseFrançois Bissey2021-12-132-0/+24
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/23279 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
| | | | | | Closes: https://bugs.gentoo.org/828974 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: fix ocaml dependencyMaciej Barć2021-12-121-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: new package; add version 1.0_pre20211210Maciej Barć2021-12-123-0/+57
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126
| | | | | | | | Move from ::guru to ::gentoo, add François-Xavier Carton as a co-maintainer. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/genius: Stabilize 1.0.27 amd64, #828932Sam James2021-12-121-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/vampire: new package; add version 4.6.1Maciej Barć2021-12-113-0/+79
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/arb: remove unused patchMichael Mair-Keimberger2021-12-091-21/+0
| | | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/23220 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* sci-mathematics/coq: x86 stable wrt bug #827149Agostino Sarubbo2021-12-071-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/arb: remove old "unused" arb-2.1[78].x ebuildsMichael Orlitzky2021-12-063-113/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.Michael Orlitzky2021-12-062-30/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/arb: x86 stable wrt bug #828377Agostino Sarubbo2021-12-061-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149Jakov Smolić2021-12-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>