gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 18:47:16 -08:00
Code Issues Projects Releases Wiki Activity
Files
d2ea8ddc4b69a45abaef0db9e3e90c8f5c2b017c
gentoo/sci-mathematics
T
History
Eli Schwartz 1fcac3194b sci-mathematics/jags: make sure elibtoolize is applied 
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
2024-08-05 20:18:31 -04:00
..
4ti2
…
abc
…
acl2
sci-mathematics/acl2: fix find call
2024-03-08 12:55:09 +01:00
alectryon
sci-mathematics/alectryon: enable py3.12 compat
2024-04-29 20:57:28 +02:00
alt-ergo
sci-mathematics/alt-ergo: remove broken live 9999
2024-07-17 17:46:31 +02:00
arb
…
bertini
…
boolector
sci-mathematics/boolector: fix install on musl
2024-04-09 11:30:07 +02:00
btor2tools
…
cadabra
sci-mathematics/cadabra: bump to 2.4.5.7
2024-04-23 00:31:27 +02:00
cadical
sci-mathematics/cadical: bump to 2.0.0
2024-06-28 00:42:21 +02:00
calc
…
cgal
sci-mathematics/cgal: add 6.0_beta1
2024-07-23 07:54:32 -05:00
cliquer
…
coq
sci-mathematics/coq: bump to 8.19.2
2024-06-10 15:59:42 +02:00
coq-mathcomp
sci-mathematics/coq-mathcomp: drop old 1.17.0
2024-03-04 22:56:45 +01:00
coq-serapi
sci-mathematics/coq-serapi: drop old 0.18.1
2024-03-04 22:56:45 +01:00
cryptominisat
sci-mathematics/cryptominisat: enable python support
2024-06-13 01:40:24 +02:00
cubicle
sci-mathematics/cubicle: ignore TEXTRELS
2024-06-04 20:24:58 +02:00
cudd
…
cvc4
sci-mathematics/cvc4: fix musl build
2024-05-20 15:03:54 +02:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: add missing die (thanks sam)
2024-08-04 22:30:51 -04:00
easycrypt
sci-mathematics/easycrypt: drop old 2023.09
2024-07-02 16:50:22 +02:00
eclib
…
ent
…
eprover
…
euler
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
fann
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
flint
sci-mathematics/flint: drop 3.0.1, 3.1.0
2024-08-03 09:48:41 -04:00
flocq
…
form
…
fricas
sci-mathematics/fricas: remove old revision
2024-07-01 01:04:38 +07:00
frobby
…
gap
sci-mathematics/gap: drop 4.13.0
2024-07-14 18:52:11 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
gfan
sci-mathematics/gfan: mark as LTO-unsafe
2024-03-22 05:31:50 +00:00
giac
sci-mathematics/giac: remove unused patches
2024-03-16 13:13:23 +01:00
gimps
sci-mathematics/gimps: Version bump to 30.19.20
2024-07-13 10:34:49 +03:00
ginac
sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044
2024-05-29 12:46:05 +01:00
glpk
sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafe
2024-03-05 04:47:50 +00:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
gsl-shell
sci-mathematics/gsl-shell: update metadata.xml
2024-07-31 11:23:11 +02:00
jags
sci-mathematics/jags: make sure elibtoolize is applied
2024-08-05 20:18:31 -04:00
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
sci-mathematics/libpoly: enable py3.12
2024-07-31 11:23:07 +02:00
lpsolve
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
lrcalc
…
mathematica
sci-mathematics/mathematica: add 14.0.0
2024-07-30 16:20:36 +02:00
mathlib-tools
sci-mathematics/mathlib-tools: enable py3.12
2024-07-31 11:23:07 +02:00
mathmod
sci-mathematics/mathmod: add missing remote-id
2024-05-26 23:29:02 +02:00
mathomatic
…
maxima
sci-mathematics/maxima: add python3_12
2024-06-04 13:32:47 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
nauty
sci-mathematics/nauty: reorder $S for pkgcheck
2024-07-14 18:41:49 -04:00
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: bump to version 9.2.0
2024-07-02 13:47:38 +02:00
octave-epstk
…
opensmt
…
otter
…
palp
sci-mathematics/palp: stabilize 2.21 for amd64
2024-06-06 10:53:36 -04:00
pari
sci-mathematics/pari: drop 2.15.4-r1
2024-07-14 18:39:14 -04:00
pari-data
…
petsc
sci-mathematics/petsc: remove outdated LTO workaround
2024-07-22 23:32:33 -04:00
picosat
…
planarity
…
plfit
sci-mathematics/plfit: add 0.9.5, drop 0.9.4
2024-03-09 07:00:22 -05:00
polymake
…
primecount
sci-mathematics/primecount: backport gcc-15 build fix
2024-07-30 16:28:25 -04:00
primesieve
sci-mathematics/primesieve: missing doc dep texlive-latexextra
2024-07-28 12:20:41 -04:00
prng
…
prover9
…
proverif
sci-mathematics/proverif: use edo instead of edob
2024-05-24 00:08:07 +02:00
psmt2-frontend
sci-mathematics/psmt2-frontend: remove unused patch(es)
2024-03-16 13:13:23 +01:00
pspp
sci-mathematics/pspp: enable py3.12
2024-07-31 11:23:08 +02:00
rkward
sci-mathematics/rkward: add 0.8.0
2024-07-30 23:30:59 +02:00
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: fix dependency on flint
2024-06-02 08:28:57 -04:00
slepc
sci-mathematics/slepc: add 3.21.1
2024-07-03 18:28:09 -05:00
smtinterpol
…
spin
*/*: Reassign marecki's packages
2024-06-28 13:12:17 +02:00
stp
sci-mathematics/stp: build tweaks
2024-06-29 01:27:08 +02:00
sympow
…
topcom
sci-mathematics/topcom: add 1.1.2
2024-05-15 17:42:09 -04:00
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: call setup-wxwidgets from src_configure
2024-07-03 12:48:40 +07:00
yacas
…
yafu
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
yices2
…
z3
sci-mathematics/z3: Keyword 4.13.0 mips, #779742
2024-06-04 20:43:37 +03:00
metadata.xml
…