gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity
Files
bbae3cf2af8e89a1379e28fa24093b42f732f954
gentoo/sci-mathematics
T
History
Michael Orlitzky 307430d180 sci-mathematics/pari: new upstream version 2.13.4. 
Closes: https://bugs.gentoo.org/836869
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2022-04-06 22:26:50 -04:00
..
4ti2
…
agda
…
agda-stdlib
…
alectryon
sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517
2022-04-04 16:15:47 +02:00
alt-ergo
sci-mathematics/alt-ergo: amd64 stable wrt bug #834375
2022-03-02 10:04:39 +01:00
arb
sci-mathematics/arb: bump to 2.22.1
2022-02-02 18:30:34 +07:00
bertini
…
cadabra
sci-mathematics/cadabra: add glibmm to unconditional deps
2022-03-02 07:58:58 +01:00
cadical
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
calc
sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526
2022-03-12 11:47:44 +02:00
cgal
…
cliquer
…
coq
sci-mathematics/coq: bump to 8.15.1
2022-03-22 20:22:14 +01:00
coq-mathcomp
sci-mathematics/coq-mathcomp: new package; add 1.14.0
2022-03-05 05:40:57 +01:00
coq-serapi
sci-mathematics/coq-serapi: new package; add 0.15.0
2022-03-05 05:40:57 +01:00
cryptominisat
sci-mathematics/cryptominisat: fix sysconfig import
2022-04-03 21:11:41 +02:00
cvc4
sci-mathematics/cvc4: fix deps check
2022-02-17 15:10:32 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)
2022-03-04 12:12:06 +01:00
eclib
…
ent
…
euler
…
fann
sci-mathematics/fann: fix DeprecatedInsinto
2022-02-13 22:07:33 +01:00
flint
sci-mathematics/flint: Stabilize 2.8.4 x86, #831415
2022-01-18 22:50:21 +01:00
flintqs
…
form
…
fricas
…
frobby
…
genius
…
geogebra-bin
sci-mathematics/geogebra-bin: add 5.0.683.0
2022-01-22 17:57:47 -08:00
geomview
…
gfan
sci-mathematics/gfan: remove old "unused" ebuilds.
2022-01-27 08:29:07 -05:00
giac
sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild.
2022-02-02 19:21:07 -05:00
gimps
sci-mathematics/gimps: Stabilize 30.7.9 amd64, #835335
2022-03-15 20:43:20 +01:00
ginac
sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextra
2022-02-02 22:40:15 +07:00
glpk
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
sci-mathematics/gsl-shell: add version 2.3.2
2022-03-02 12:00:06 +01:00
jags
…
lcalc
sci-mathematics/lcalc: fix RDEPEND typo
2022-03-10 23:06:06 +00:00
lean
sci-mathematics/lean: drop old 3.40.0
2022-03-27 03:46:25 +02:00
lpsolve
…
lrcalc
sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376
2022-03-07 15:32:19 +01:00
mathematica
sci-mathematics/mathematica: drop unused unpacker.eclass
2022-01-28 00:36:12 +01:00
mathlib-tools
sci-mathematics/mathlib-tools: add python3.10 compat
2022-03-09 00:27:56 +01:00
mathmod
…
mathomatic
sci-mathematics/mathomatic: [QA] fix tc-get* quoting
2022-03-20 00:06:55 +00:00
maxima
…
metamath
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
metamath-databases
sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 snapshot)
2022-03-03 05:55:06 +01:00
minisat
sci-mathematics/minisat: reformat metadata.xml
2022-01-24 10:32:16 +01:00
msieve
sci-mathematics/msieve: fix build system
2022-01-29 01:00:16 +01:00
nauty
sci-mathematics/nauty: remove old "unused" ebuilds.
2022-01-18 20:45:16 -05:00
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: add upstream patch for slibtool support.
2022-03-17 10:26:22 -04:00
octave-epstk
…
otter
…
pari
sci-mathematics/pari: new upstream version 2.13.4.
2022-04-06 22:26:50 -04:00
pari-data
…
petsc
…
planarity
…
polymake
sci-mathematics/polymake: Stabilize 4.6 amd64, #832376
2022-02-07 11:25:58 +01:00
primecount
sci-mathematics/primecount: maintainer stabilize on amd64.
2022-01-30 09:36:47 -05:00
primesieve
sci-mathematics/primesieve: maintainer stabilize on amd64.
2022-01-30 09:36:12 -05:00
prng
…
prover9
…
psmt2-frontend
sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375
2022-03-02 10:04:42 +01:00
pspp
…
relational
…
rkward
…
rngstreams
…
rstudio
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376
2022-02-07 11:25:56 +01:00
slepc
…
smtinterpol
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
spin
…
stp
…
sympow
…
topcom
…
twelf
sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
2022-03-29 00:42:14 +11:00
unuran
…
vampire
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
verit
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
2022-03-10 21:09:38 +00:00
why3
sci-mathematics/why3: bump to 1.4.1
2022-03-04 12:02:09 +01:00
why3-for-spark
sci-mathematics/why3-for-spark: add USE to select sexp
2022-03-11 22:01:12 +01:00
wxmaxima
…
yacas
sci-mathematics/yacas: add version 1.9.1
2022-02-19 14:22:22 +01:00
yafu
sci-mathematics/yafu: Add openmp dependency
2022-01-23 14:07:48 +00:00
z3
sci-mathematics/z3: fix documentation
2022-03-21 14:36:04 +01:00
metadata.xml
…