gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 06:48:18 -07:00
Code Issues Projects Releases Wiki Activity
Files
4d624a032d95dd5eb1549ffec9292d00737a3e4b
gentoo/sci-mathematics
History
Tupone Alfredo 225867b2a2 sci-mathematics/alt-ergo: bump to 2.3.0 
Package-Manager: Portage-2.3.66, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2019-07-27 20:41:54 +02:00
..
4ti2
…
agda
…
agda-lib-ffi
…
agda-stdlib
…
alt-ergo
sci-mathematics/alt-ergo: bump to 2.3.0
2019-07-27 20:41:54 +02:00
arb
sci-mathematics/arb: Sort KEYWORDS
2019-07-15 17:26:12 +02:00
axiom
…
bertini
…
calc
…
cgal
sci-mathematics/cgal: Drop old
2019-06-05 08:54:54 +02:00
coq
…
cvc3
…
cvc4
sci-mathematics/cvc4: Add readline use flag
2019-07-25 08:12:57 +02:00
dataplot
…
diagrtb
…
drgeo
…
dunshire
*/*: Remove python3_4 PYTHON_COMPAT correctly
2019-04-17 09:48:22 +02:00
e
…
ent
…
euler
…
factmsieve
…
fann
…
flint
…
form
…
fricas
…
frobby
…
genius
sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo]
2019-07-18 17:14:10 +02:00
geogebra
…
geomview
…
gfan
sci-mathematics/gfan: Fix building against GCC 9
2019-06-22 23:06:57 +02:00
ggnfs
…
gimps
…
ginac
…
glpk
…
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: Remove dep on sci-mathematics/gwnum
2019-06-23 20:13:44 +02:00
gretl
…
gsl-shell
…
gwnum
…
isabelle
…
jags
…
kodkod
sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE
2019-07-22 11:28:11 +02:00
kodkodi
…
lpsolve
…
lybniz
…
Macaulay2
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: bump to 5.43.0
2019-06-01 18:25:19 +07:00
minisat
…
mlpy
…
msieve
sci-mathematics/msieve: Remove gwnum USE dep
2019-06-30 23:06:49 +02:00
nauty
…
nestedsums
…
normaliz
…
num-utils
…
nusmv
…
octave
sci-mathematics/octave: imagemagick-7 is needed
2019-06-24 09:01:37 +02:00
octave-epstk
sci-mathematics/octave-epstk: Sort KEYWORDS
2019-07-15 17:26:14 +02:00
otter
…
p9m4
sci-mathematics/p9m4: use HTTPS
2019-05-02 21:03:51 -04:00
pari
…
pari-data
…
polymake
…
prng
…
prover9
sci-mathematics/prover9: use HTTPS
2019-05-02 21:03:50 -04:00
psmt2-frontend
sci-mathematics/psmt2-frontend: add psmt2-frontend
2019-07-26 08:45:22 +02:00
pspp
…
pymc
*/*: Remove python3_4 PYTHON_COMPAT correctly
2019-04-17 09:48:22 +02:00
pymc3
*/*: Remove python3_4 PYTHON_COMPAT correctly
2019-04-17 09:48:22 +02:00
relational
*/*: Remove python3_4 PYTHON_COMPAT correctly
2019-04-17 09:48:22 +02:00
rkward
…
rngstreams
…
rstudio
sci-mathematics/rstudio: Add upper bound on boost-1.70
2019-06-12 21:14:01 +02:00
rw
sci-mathematics/rw: Sort KEYWORDS
2019-07-15 17:26:16 +02:00
sha1-polyml
sci-mathematics/sha1-polyml: Sort KEYWORDS
2019-07-15 17:26:17 +02:00
singular
…
snns
…
spass
…
spin
…
topcom
…
twelf
…
unuran
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: bump to 19.05.7
2019-06-01 18:27:54 +07:00
xmds
…
yacas
sci-mathematics/yacas: Drop broken 1.7.0 (r0)
2019-07-24 10:15:09 +02:00
yafu
…
z3
sci-mathematics/z3: Drop old
2019-06-08 09:53:23 +02:00
metadata.xml
…