gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-07 05:57:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
8f1389abbd91edda8a6c38de3498201848e2a3b3
gentoo/sci-mathematics
T
History
Sam James 5f7f22be58 sci-mathematics/octave: drop 7.1.0 
Bug: https://bugs.gentoo.org/842645
Signed-off-by: Sam James <sam@gentoo.org>
2022-08-03 03:53:55 +01:00
..
4ti2
…
agda
…
agda-stdlib
sci-mathematics/agda-stdlib: egrep -> grep -E
2022-05-15 01:00:07 +00:00
alectryon
sci-mathematics/alectryon: fix distutil calls
2022-06-14 12:22:58 +02:00
alt-ergo
sci-mathematics/alt-ergo: require ocamlopt
2022-06-29 20:05:37 +02:00
arb
sci-mathematics/arb: new upstream v2.23.0.
2022-07-01 17:28:37 -04:00
bertini
…
cadabra
sci-mathematics/cadabra: drop old 2.3.8
2022-07-12 23:39:59 +02:00
cadical
…
calc
sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526
2022-03-12 11:47:44 +02:00
cgal
sci-mathematics/cgal: add 5.5
2022-07-16 15:33:29 +01:00
cliquer
…
coq
Revert "sci-mathematics/coq: drop old 8.11.2-r1"
2022-05-31 18:51:07 +02:00
coq-mathcomp
…
coq-serapi
sci-mathematics/coq-serapi: fix elisp libraries installation
2022-04-20 00:32:56 +02:00
cryptominisat
sci-mathematics/cryptominisat: fix sysconfig import
2022-04-03 21:11:41 +02:00
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: new revision with python-3.10 support.
2022-05-18 20:13:46 -04:00
easycrypt
sci-mathematics/easycrypt: add Why3 constraints for older EC versions
2022-05-07 18:50:26 +02:00
eclib
sci-mathematics/eclib: upstream bump
2022-07-02 08:55:04 -04:00
ent
…
euler
…
fann
…
flint
sci-mathematics/flint: new upstream v2.9.0.
2022-07-01 17:28:35 -04:00
flintqs
…
form
…
fricas
sci-mathematics/fricas: remove old version
2022-06-22 22:16:14 +07:00
frobby
…
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
sci-mathematics/giac: new upstream release giac-1.9.0.19.
2022-07-16 08:26:50 -04:00
gimps
sci-mathematics/gimps: Version bump to 30.8.15
2022-06-21 12:04:31 +02:00
ginac
sci-mathematics/ginac: Stabilize 1.8.2 x86, #850328
2022-06-07 10:26:24 +02:00
glpk
…
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctly
2022-05-16 10:12:25 +02:00
gp2c
…
gretl
sci-mathematics/gretl: [QA] use tc-check-openmp correctly
2022-05-16 10:12:26 +02:00
gsl-shell
…
jags
…
lcalc
sci-mathematics/lcalc: remove "unused" lcalc-2.0.5-r1.ebuild.
2022-07-16 08:28:57 -04:00
lean
sci-mathematics/lean: filter LTO (odr)
2022-08-02 23:42:18 +02:00
lpsolve
sci-mathematics/lpsolve: update EAPI 6 -> 8
2022-06-21 18:29:42 +02:00
lrcalc
sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376
2022-03-07 15:32:19 +01:00
mathematica
…
mathlib-tools
sci-mathematics/mathlib-tools: add python3.10 compat
2022-03-09 00:27:56 +01:00
mathmod
…
mathomatic
sci-mathematics/mathomatic: update EAPI 6 -> 8
2022-07-07 22:19:50 +02:00
maxima
sci-mathematics/maxima: in 5.46 all localized docs are unicode
2022-04-14 18:46:11 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmp
2022-05-14 23:30:28 +02:00
num-utils
sci-mathematics/num-utils: x86 stable wrt bug #837833
2022-06-18 18:56:49 +02:00
octave
sci-mathematics/octave: drop 7.1.0
2022-08-03 03:53:55 +01:00
octave-epstk
…
otter
…
pari
sci-mathematics/pari: remove obsolete hppa workaround in an -r1.
2022-06-07 10:40:53 -04:00
pari-data
…
petsc
sci-mathematics/petsc: revbump for configure fix
2022-06-03 04:56:33 +01:00
planarity
sci-mathematics/planarity: new upstream v3.0.2.0.
2022-06-12 19:47:30 -04:00
polymake
sci-mathematics/polymake: new revision with a few fixes.
2022-06-15 15:29:24 -04:00
primecount
sci-mathematics/primecount: new upstream v7.3.
2022-06-13 07:30:30 -04:00
primesieve
sci-mathematics/primesieve: new upstream v7.9.
2022-06-13 07:30:27 -04:00
prng
…
prover9
…
psmt2-frontend
…
pspp
sci-mathematics/pspp: add 1.6.2
2022-07-05 04:57:50 +01:00
relational
…
rkward
sci-mathematics/rkward: Drop 0.7.3
2022-06-08 13:29:06 +02:00
rngstreams
…
rstudio
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: remove unused patches
2022-07-19 19:08:56 +02:00
slepc
sci-mathematics/slepc: drop 3.13.1, 3.14.2, 3.15.0
2022-05-25 20:26:54 -05:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
sci-mathematics/topcom: new revision to fix gmp dependency.
2022-05-07 21:18:09 -04:00
twelf
sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
2022-03-29 00:42:14 +11:00
unuran
…
vampire
sci-mathematics/vampire: bump to 4.7
2022-07-23 19:41:00 +02:00
verit
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
2022-03-10 21:09:38 +00:00
why3
sci-mathematics/why3: use https
2022-07-26 21:54:10 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: use https
2022-07-26 21:54:20 +02:00
wxmaxima
sci-mathematics/wxmaxima: bump tp 22.05.0
2022-07-13 22:46:30 +07:00
yacas
…
yafu
…
z3
sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999
2022-08-02 22:50:02 +03:00
metadata.xml
…