gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-07 18:07:08 -08:00
Code Issues Projects Releases Wiki Activity
Files
da39856491bba71b09ab5f890e2ddde4c2fa0dff
gentoo/sci-mathematics
T
History
Arthur Zamarin a90edf18c3 sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-12-17 17:39:46 +00:00
..
4ti2
sci-mathematics/4ti2: destabilize for ~x86
2023-06-09 17:46:14 +03:00
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
…
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: Stabilize 5.5.2 amd64, #920128
2023-12-16 21:16:17 +02:00
cliquer
sci-mathematics/cliquer: update LICENSE
2023-11-22 17:25:56 -05:00
coq
sci-mathematics/coq: bump to 8.18.0
2023-09-09 20:13:59 +02:00
coq-mathcomp
sci-mathematics/coq-mathcomp: bump to 1.17.0
2023-10-24 14:30:54 +02:00
coq-serapi
sci-mathematics/coq-serapi: bump to 0.18.1
2023-10-23 22:38:57 +02:00
cryptominisat
sci-mathematics/cryptominisat: bump to 5.11.15
2023-10-22 10:46:55 +02:00
cubicle
…
cudd
…
cvc4
…
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: update LICENSE
2023-11-22 17:22:53 -05:00
ent
sci-mathematics/ent: destabilize for ~x86
2023-06-09 17:46:15 +03:00
eprover
…
euler
sci-mathematics/euler: destabilize for ~x86
2023-06-09 17:46:15 +03:00
fann
…
flint
sci-mathematics/flint: Stabilize 2.9.0 arm64, #918175
2023-11-24 17:03:34 +00:00
flocq
…
form
…
fricas
sci-mathematics/fricas: remove old revisions
2023-10-19 19:44:35 +07:00
frobby
sci-mathematics/frobby: destabilize for ~x86
2023-06-09 17:46:16 +03:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: destabilize for ~x86
2023-06-09 17:46:16 +03:00
giac
sci-mathematics/giac: update LICENSE
2023-11-22 17:41:57 -05:00
gimps
sci-mathematics/gimps: destabilize for ~x86
2023-06-09 17:46:17 +03:00
ginac
sci-mathematics/ginac: Stabilize 1.8.7-r1 amd64, #917280
2023-12-16 11:28:32 +02:00
glpk
…
gmm
sci-mathematics/gmm: destabilize for ~x86
2023-06-09 17:46:17 +03:00
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
sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183
2023-06-10 05:19:00 +01:00
kind2
sci-mathematics/kind2: new package; add 1.9.0
2023-06-03 18:55:36 +02:00
kissat
sci-mathematics/kissat: drop old 3.0.0
2023-10-11 02:19:38 +02:00
lcalc
…
lean
sci-mathematics/lean: bump to 4.2.0
2023-11-30 17:52:25 +01:00
libpoly
…
lpsolve
…
lrcalc
sci-mathematics/lrcalc: destabilize for ~x86
2023-06-09 17:46:18 +03:00
mathematica
sci-mathematics/mathematica: add option to install from non-bundle file
2023-11-10 14:28:08 +01:00
mathlib-tools
…
mathmod
…
mathomatic
sci-mathematics/mathomatic: destabilize for ~x86
2023-06-09 17:46:18 +03:00
maxima
sci-mathematics/maxima: update LICENSE
2023-11-22 18:17:29 -05:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: add 2.8.8
2023-12-15 09:15:50 -05:00
nestedsums
…
normaliz
sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149
2023-12-16 18:17:14 +02:00
num-utils
sci-mathematics/num-utils: destabilize for ~x86
2023-06-09 17:46:24 +03:00
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: fix build with gcc 14
2023-11-07 19:50:12 +01:00
otter
sci-mathematics/otter: destabilize for ~x86
2023-06-09 17:46:25 +03:00
pari
sci-mathematics/pari: update LICENSE
2023-11-22 17:05:11 -05:00
pari-data
sci-mathematics/pari-data: destabilize for ~x86
2023-06-09 17:49:59 +03:00
petsc
sci-mathematics/petsc: add 3.19.4
2023-08-06 07:06:43 -05:00
picosat
…
planarity
sci-mathematics/planarity: destabilize for ~x86
2023-06-09 17:49:59 +03:00
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
…
prng
sci-mathematics/prng: destabilize for ~x86
2023-06-09 17:49:59 +03:00
prover9
…
proverif
sci-mathematics/proverif: bump to 2.05
2023-12-10 20:16:34 +01:00
psmt2-frontend
…
pspp
sci-mathematics/pspp: destabilize for ~x86
2023-06-09 17:50:00 +03:00
rkward
sci-mathematics/rkward: use virtual/pandoc
2023-06-08 23:34:27 +01:00
rngstreams
sci-mathematics/rngstreams: destabilize for ~x86
2023-06-09 17:50:00 +03:00
rw
sci-mathematics/rw: destabilize for ~x86
2023-06-09 17:50:00 +03:00
sha1-polyml
…
singular
sci-mathematics/singular: drop USE=static-libs
2023-12-06 20:47:46 -05:00
slepc
sci-mathematics/slepc: add 3.19.1
2023-06-19 13:37:54 -05:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185
2023-06-09 16:42:19 +00:00
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
sci-mathematics/why3: drop old 1.5.1
2023-07-16 00:17:02 +02:00
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: remove old versions
2023-12-15 12:44:31 +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.4
2023-12-07 05:06:27 +01:00
metadata.xml
…