gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity
Files
9836b090bd7e2a7b60403249e4fdb8a2d3b43521
gentoo/sci-mathematics
T
History
Mikle Kolyada f3ce077e0a sci-mathematics/z3: arm stable wrt bug #693856 
Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="arm"
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
2019-09-13 18:46:01 +03:00
..
4ti2
…
agda
…
agda-lib-ffi
…
agda-stdlib
…
alt-ergo
sci-mathematics/alt-ergo: fix BadInsIntoDir warning
2019-09-12 08:15:02 +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
…
dunshire
…
e
sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URI
2019-09-11 22:10:08 +10:00
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: Bump
2019-08-25 16:44:36 +02:00
gretl
…
gsl-shell
…
isabelle
…
jags
…
kodkod
sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE
2019-07-22 11:28:11 +02:00
kodkodi
…
lpsolve
sci-mathematics/lpsolve: arm64 stable
2019-07-30 18:40:53 -04:00
lybniz
…
Macaulay2
…
mathmod
…
mathomatic
…
maxima
…
minisat
…
mlpy
…
msieve
sci-mathematics/msieve: Remove gwnum USE dep
2019-06-30 23:06:49 +02:00
nauty
…
nestedsums
…
normaliz
…
num-utils
sci-mathematics/num-utils: Remove old
2019-08-29 14:13:11 +02:00
nusmv
…
octave
sci-mathematics/octave: Bump to 5.1.0.
2019-08-25 09:12:08 +08:00
octave-epstk
sci-mathematics/octave-epstk: Sort KEYWORDS
2019-07-15 17:26:14 +02:00
otter
…
p9m4
…
pari
…
pari-data
…
petsc
sci-mathematics/petsc: package migration from ::science overlay
2019-08-05 01:51:11 -05:00
polymake
…
prng
…
prover9
…
psmt2-frontend
sci-mathematics/psmt2-frontend: add psmt2-frontend
2019-07-26 08:45:22 +02:00
pspp
…
pymc
…
pymc3
…
relational
…
rkward
…
rngstreams
…
rstudio
sci-mathematics/rstudio: Fix #692728 dep webkit -> webengine
2019-08-23 09:14:44 +10: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
…
slepc
sci-mathematics/slepc: port to EAPI 7
2019-08-05 01:51:26 -05:00
snns
…
spass
sci-mathematics/spass: add missing slash
2019-08-22 14:38:53 +02:00
spin
…
topcom
…
twelf
…
unuran
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: bump to 19.08.1
2019-08-18 22:39:02 +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: arm stable wrt bug #693856
2019-09-13 18:46:01 +03:00
metadata.xml
…