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
a292cf2d69a034eb7ea75876af7ebd04bb1cd280
gentoo/sci-mathematics
T
History
Michael Orlitzky 7b06c014c7 sci-mathematics/singular: drop 4.3.2_p1 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-01-22 12:00:10 -05:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: remove unused patch
2023-10-01 17:37:29 +02:00
arb
sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176
2023-11-25 05:27:37 +00:00
bertini
sci-mathematics/bertini: sys-devel/bison -> app-alternatives/yacc
2024-01-08 12:25:11 +00:00
boolector
sci-mathematics/boolector: bump to 3.2.3
2023-11-02 23:11:22 +01:00
btor2tools
sci-mathematics/btor2tools: patch includes
2023-11-02 23:11:22 +01:00
cadabra
sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950
2023-10-18 18:12:23 +01:00
cadical
sci-mathematics/cadical: bump to 1.8.0
2023-10-08 00:39:05 +02:00
calc
…
cgal
sci-mathematics/cgal: add 5.6
2024-01-03 16:21:54 +01:00
cliquer
sci-mathematics/cliquer: update LICENSE
2023-11-22 17:25:56 -05:00
coq
sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951
2024-01-16 07:41:51 +02:00
coq-mathcomp
sci-mathematics/coq-mathcomp: bump to 1.19.0
2024-01-15 22:20:39 +01:00
coq-serapi
sci-mathematics/coq-serapi: drop old 0.17.0
2024-01-15 22:20:39 +01:00
cryptominisat
sci-mathematics/cryptominisat: bump to 5.11.15
2023-10-22 10:46:55 +02:00
cubicle
…
cudd
…
cvc4
sci-mathematics/cvc4: PythonCompatUpdate
2024-01-19 22:31:45 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: update HOMEPAGE (http -> https)
2023-11-14 19:24:20 -05:00
easycrypt
sci-mathematics/easycrypt: bump to 2023.09
2023-09-30 16:33:59 +02:00
eclib
sci-mathematics/eclib: add 20231212
2024-01-06 20:38:26 -05:00
ent
…
eprover
sci-mathematics/eprover: bump to 3.0.03
2024-01-15 22:20:41 +01:00
euler
…
fann
…
flint
sci-mathematics/flint: add 3.0.1
2023-12-23 23:18:14 -05:00
flocq
…
form
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
fricas
sci-mathematics/fricas: bump to 1.3.10
2024-01-11 16:49:04 +07:00
frobby
…
gap
sci-mathematics/gap: use a bash array for econf args
2024-01-22 06:29:25 -05:00
gappa
sci-mathematics/gappa: bump to 1.4.2
2024-01-15 22:20:41 +01:00
gappalib-coq
…
genius
Move {sys-devel → dev-build}/autoconf-archive
2024-01-15 16:58:23 +01:00
geogebra-bin
sci-mathematics/geogebra-bin: sort keywords
2024-01-10 14:34:46 +01:00
geomview
…
gfan
…
giac
sci-mathematics/giac: update LICENSE
2023-11-22 17:41:57 -05:00
gimps
…
ginac
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
glpk
sci-mathematics/glpk: update EAPI 7 -> 8, add libltdl dep
2024-01-10 13:15:58 -05:00
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178
2023-11-24 17:12:11 +02:00
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
sci-mathematics/kissat: drop old 3.0.0
2023-10-11 02:19:38 +02:00
lcalc
…
lean
sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367
2024-01-18 17:23:39 +00:00
libpoly
…
lpsolve
…
lrcalc
…
mathematica
profiles/use.desc: Make USE=cuda global
2023-12-26 11:46:05 +01:00
mathlib-tools
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: update LICENSE
2023-11-22 18:17:29 -05:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: drop 2.8.6-r1
2024-01-22 11:54:06 -05:00
nestedsums
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
normaliz
sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149
2023-12-16 18:17:14 +02:00
num-utils
…
octave
sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280
2023-12-17 17:39:46 +00:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: sys-devel/bison -> app-alternatives/yacc
2024-01-08 12:25:11 +00:00
otter
…
pari
sci-mathematics/pari: update LICENSE
2023-11-22 17:05:11 -05:00
pari-data
…
petsc
Move {dev-util → dev-build}/cmake
2024-01-14 20:23:32 +01:00
picosat
…
planarity
…
plfit
sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125
2023-12-16 18:17:01 +02:00
polymake
sci-mathematics/polymake: re-enable the test suite
2023-11-13 21:24:30 -05:00
primecount
…
primesieve
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
prng
…
prover9
…
proverif
sci-mathematics/proverif: bump to 2.05
2023-12-10 20:16:34 +01:00
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: drop 4.3.2_p1
2024-01-22 12:00:10 -05:00
slepc
Move {dev-util → dev-build}/cmake
2024-01-14 20:23:32 +01:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
sci-mathematics/vampire: drop old 4.7-r1
2023-08-22 16:32:25 +02:00
verifpal
sci-mathematics/verifpal: new package; add 0.27.0
2023-08-13 21:26:09 +02:00
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: require ocamlopt
2023-12-29 23:43:55 +01:00
wxmaxima
sci-mathematics/wxmaxima: remove old version
2023-12-26 18:47:03 +07:00
yacas
sci-mathematics/yacas: update upstream metadata
2023-08-16 16:13:03 -04:00
yafu
…
yices2
…
z3
sci-mathematics/z3: Bump to 4.12.5
2024-01-22 04:32:11 +01:00
metadata.xml
…