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/gimps: Stabilize 30.7.9 amd64, #835335Jakov Smolić2022-03-151-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.7.9 x86, #835335Jakov Smolić2022-03-151-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/coq: re-add ~x86 keyword dropped by mistakeMaciej Barć2022-03-131-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.38.0Maciej Barć2022-03-122-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.41.0Maciej Barć2022-03-122-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526Arthur Zamarin2022-03-121-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/why3-for-spark: add USE to select sexpAlfredo Tupone2022-03-112-28/+40
| | | | | | Closes: https://bugs.gentoo.org/834881 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lcalc: fix RDEPEND typoSam James2022-03-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/verit: [QA] fix UnusedInherits (autotools)Sam James2022-03-101-3/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/mathlib-tools: add python3.10 compatMaciej Barć2022-03-091-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.1.1Maciej Barć2022-03-092-0/+50
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: add changelog linkMaciej Barć2022-03-081-0/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376Jakov Smolić2022-03-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/lrcalc: Stabilize 2.1 amd64, #828376Jakov Smolić2022-03-071-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/alectryon: new package; add 1.4.0Maciej Barć2022-03-054-0/+105
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: new package; add 0.15.0Maciej Barć2022-03-055-0/+100
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: new package; add 1.14.0Maciej Barć2022-03-053-0/+41
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)Maciej Barć2022-03-042-0/+46
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.4.1Maciej Barć2022-03-042-0/+99
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 ↵Maciej Barć2022-03-033-0/+64
| | | | | | | snapshot) Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gsl-shell: add version 2.3.2Andrew Ammerlaan2022-03-024-0/+100
| | | | | | | Closes: https://bugs.gentoo.org/570288 Bug: https://bugs.gentoo.org/725628 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/alt-ergo: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/cadabra: add glibmm to unconditional depsMaciej Barć2022-03-021-5/+2
| | | | | | Closes: https://bugs.gentoo.org/834471 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: new package; add version 2.3.8Maciej Barć2022-03-014-0/+201
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: update metadataMaciej Barć2022-02-271-1/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: remove USE=json and inherit of optfeatureMaciej Barć2022-02-225-16/+13
| | | | | | Closes: https://bugs.gentoo.org/833900 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.37.0Maciej Barć2022-02-222-76/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.40.0Maciej Barć2022-02-222-0/+76
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/yacas: add version 1.9.1Andrew Ammerlaan2022-02-192-0/+76
| | | | | | | Closes: https://bugs.gentoo.org/700004 Bug: https://bugs.gentoo.org/741586 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq: fix doc build - add missing fontsMaciej Barć2022-02-181-0/+2
| | | | | | Closes: https://bugs.gentoo.org/833589 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: fix doc build - add xetex depMaciej Barć2022-02-181-0/+1
| | | | | | Closes: https://bugs.gentoo.org/833534 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: add missing latexextra depMaciej Barć2022-02-171-0/+1
| | | | | | Closes: https://bugs.gentoo.org/833529 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cvc4: fix deps checkAlfredo Tupone2022-02-171-3/+6
| | | | | | Closes: https://bugs.gentoo.org/833362 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: enable docMaciej Barć2022-02-171-16/+17
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/fann: fix DeprecatedInsintoConrad Kostecki2022-02-132-6/+6
| | | | Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-02-122-104/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068Arthur Zamarin2022-02-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 arm, #833068Arthur Zamarin2022-02-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24147 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068Sam James2022-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 x86, #833068Sam James2022-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068Jakov Smolić2022-02-101-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/cvc4: revbump for CMake config file fixSam James2022-02-091-0/+0
| | | | | | | | | This file is installed and embeds the libdir path which will affect consumers trying to build against/detect cvc4. See: 03321382501b45387f99917ba5acf9aa627805bd Closes: https://bugs.gentoo.org/820515 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: fix library pathAlfredo Tupone2022-02-081-0/+9
| | | | | | Closes: https://bugs.gentoo.org/820515 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lean: drop old 3.35.1-r2Maciej Barć2022-02-082-76/+0
| | | | | | Closes: https://bugs.gentoo.org/828088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.39.1Maciej Barć2022-02-082-0/+76
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cvc4: fix depsAlfredo Tupone2022-02-081-1/+5
| | | | | | Closes: https://bugs.gentoo.org/823023 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: remove unused CMake variablesAlfredo Tupone2022-02-081-3/+1
| | | | | | Closes: https://bugs.gentoo.org/829088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: ignore CFLAGSAlfredo Tupone2022-02-071-12/+14
| | | | | | Closes: https://bugs.gentoo.org/799245 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>