gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity
Files
d04d8faf8ec586bc9306a58dff2c9a1bb40da548
gentoo/sci-mathematics
History
Z. Liu cf17cee6f4 sci-mathematics/octave: fix doc build 
Closes: https://bugs.gentoo.org/971018
Signed-off-by: Z. Liu <zhixu.liu@gmail.com>
Part-of: https://github.com/gentoo/gentoo/pull/46174
Closes: https://github.com/gentoo/gentoo/pull/46174
Signed-off-by: Sam James <sam@gentoo.org>
2026-04-29 01:23:06 +01:00
..
4ti2
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
abc
…
acl2
…
alectryon
sci-mathematics/alectryon: drop old 1.4.0-r2
2026-04-18 17:05:32 +02:00
alt-ergo
…
arb
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
bertini
sci-mathematics/bertini: drop 1.4
2026-02-22 16:56:48 +01:00
btor2tools
…
cadabra
sci-mathematics/cadabra: drop 2.4.5.7
2026-02-16 20:24:35 +01:00
cadical
sci-mathematics/cadical: remove unused patch
2026-04-16 07:10:19 +02:00
calc
sci-mathematics/calc: add github upstream metadata
2026-04-13 09:23:07 +01:00
cgal
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
clipper2
…
cliquer
…
coq
sci-mathematics/coq: bump to 9.2.0
2026-03-31 21:52:34 +02:00
coq-mathcomp
…
coq-serapi
…
coq-stdlib
sci-mathematics/coq-stdlib: bump to 9.1.0
2026-02-17 23:08:15 +01:00
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
dsfmt
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2026.03
2026-03-24 17:36:04 +01:00
eclib
sci-mathematics/eclib: drop 20250122
2026-01-20 08:21:42 -05:00
ent
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
eprover
…
euler
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
fann
…
flint
sci-mathematics/flint: add 3.5.0
2026-04-27 09:56:50 -04:00
flocq
…
form
sci-mathematics/form: bump to 5.0.0
2026-03-07 23:15:15 +07:00
fricas
sci-mathematics/fricas: bump to 1.3.13
2026-03-06 19:07:25 +07:00
frobby
…
functions-matlab-colormaps
…
gap
…
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: fix build against libcxx
2026-01-17 11:55:44 -05:00
giac
…
gimps
…
ginac
sci-mathematics/ginac: bump to 1.8.10
2026-02-21 18:27:27 +07:00
glpk
sci-mathematics/glpk: Stabilize 5.0-r4 ppc64, #973015
2026-04-21 08:18:19 -04:00
gmm
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
gmp-ecm
…
gp2c
…
gretl
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
gsl-shell
…
highs
sci-mathematics/highs: add 1.14.0, drop 1.13.1
2026-04-28 09:53:23 -04:00
jags
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
kind2
…
kissat
sci-mathematics/kissat: bump to 4.0.4
2026-04-15 20:29:17 +02:00
lcalc
sci-mathematics/lcalc: drop 2.0.5-r2
2026-02-28 11:09:12 -05:00
lean
sci-mathematics/lean: add 4.24.0
2026-04-18 03:23:58 +02:00
libpoly
…
lpsolve
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
lrcalc
…
manifold
sci-mathematics/manifold: Stabilize 3.2.1 amd64, #968817
2026-01-16 09:18:24 -05:00
mathematica
sci-mathematics/mathematica: drop old (EAPI-7 based) versions
2026-02-21 17:39:59 +01:00
mathmod
…
mathomatic
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
maxima
Quote EPREFIX when used in a parameter expansion
2026-03-07 14:06:17 -05:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
num-utils
…
octave
sci-mathematics/octave: fix doc build
2026-04-29 01:23:06 +01:00
octave-epstk
…
opensmt
…
otter
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
palp
…
pari
sci-mathematics/pari: mark as LTO-unsafe
2026-01-02 15:32:45 -05:00
pari-data
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
petsc
sci-mathematics/petsc: add 3.24.5
2026-03-07 22:41:20 -06:00
picosat
…
planarity
…
plfit
sci-mathematics/plfit: drop 0.9.5
2026-01-20 08:20:47 -05:00
polymake
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
primecount
sci-mathematics/primecount: add 8.0
2025-12-26 08:08:05 -05:00
primesieve
…
prng
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
prover9
…
proverif
…
psmt2-frontend
…
pspp
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
rkward
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
rngstreams
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
rw
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
sha1-polyml
…
singular
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
slepc
sci-mathematics/slepc: fix install phase with USE=doc
2026-03-07 23:32:47 -06:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
*/*: drop *-linux keywords
2025-12-19 10:51:55 +01:00
vampire
sci-mathematics/vampire: bump to 5.0.1
2026-04-15 20:29:18 +02:00
verifpal
…
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: drop 2021-r1
2026-02-20 13:02:17 +01:00
wxmaxima
sci-mathematics/wxmaxima: bump to 26.01.0
2026-01-31 17:50:58 +07:00
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Remove old
2026-04-05 08:55:45 +02:00
metadata.xml
…