gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/sci-mathematics
History
Michael Orlitzky 30f0165c7d
sci-mathematics/primecount: add 7.13 
Closes: https://bugs.gentoo.org/936503
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-07-27 19:12:17 -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 0.1.3, drop 0.1.1-r4
2024-04-20 15:36:14 -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 2.9.0
2024-06-26 18:20:04 -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
…
jags
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
*/*: inline mirror://sourceforge
2024-04-30 20:21:05 +02:00
lrcalc
…
mathematica
…
mathlib-tools
…
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: add 7.13
2024-07-27 19:12:17 -04:00
primesieve
sci-mathematics/primesieve: add 12.3
2024-07-27 19:12:13 -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
…
rkward
…
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
…