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
772fa4eaf2816bdeef6c2affe66814075b11bbe4
gentoo/sci-mathematics
History
Michael Mair-Keimberger 55c37390a0 sci-mathematics/nusmv: add missing app-arch/unzip dependency. 
Closes: https://github.com/gentoo/gentoo/pull/9500
2018-08-20 17:00:28 +02:00
..
4ti2
sci-mathematics/4ti2: [QA] Remove eutils
2018-05-27 09:54:24 +02:00
agda
…
agda-lib-ffi
…
agda-stdlib
…
alt-ergo
sci-mathematics/alt-ergo: use HTTPs
2018-06-02 18:38:07 -04:00
arb
…
axiom
…
bertini
…
calc
sci-mathematics/calc: remove unused patch
2018-07-11 12:31:08 +01:00
cgal
…
coq
sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra
2018-04-09 21:30:47 +02:00
cvc3
sci-mathematics/cvc3: remove old
2018-04-08 20:09:19 -04:00
cvc4
sci-mathematics/cvc4: Add cvc4 to the tree
2018-07-18 08:28:48 +02:00
dataplot
sci-mathematics/dataplot: use HTTPS
2018-04-05 11:06:52 -04:00
diagrtb
…
drgeo
…
dunshire
sci-mathematics/dunshire: Support python3.6
2018-06-26 22:28:53 +02:00
e
sci-mathematics/e: remove old
2018-04-08 20:09:19 -04:00
ent
…
euler
…
factmsieve
…
fann
…
flint
…
form
sci-mathematics/form: use HTTPS
2018-04-05 11:06:51 -04:00
fricas
sci-mathematics/fricas: bump to 1.3.4
2018-06-28 17:08:28 +07:00
frobby
…
genius
…
geogebra
sci-mathematics/geogebra: Add name to metadata.xml
2018-03-17 21:47:24 +03:00
geomview
…
gfan
…
ggnfs
…
gimps
sci-mathematics/gimps: x86 stable (bug #650560)
2018-04-12 21:05:28 +02:00
ginac
sci-mathematics/ginac: bump to 1.7.4
2018-06-26 18:57:33 +07:00
glpk
sci-matchematics/glpk: respect EPREFIX
2018-07-13 11:43:28 +01:00
gmm
…
gmp-ecm
…
gretl
…
gsl-shell
…
gwnum
…
isabelle
…
jags
…
kodkod
sci-mathematics/kodkod: remove old
2018-04-08 20:09:19 -04:00
kodkodi
sci-mathematics/kodkodi: remove old
2018-04-08 20:09:20 -04:00
lpsolve
sci-mathematics/lpsolve: Port to EAPI 6
2018-05-27 09:54:19 +02:00
lybniz
…
Macaulay2
…
mathmod
…
mathomatic
…
maxima
…
minisat
…
mlpy
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
*/*: Specify EAPI=0 explicitly, to ease greps
2018-05-01 20:37:34 +02:00
nusmv
sci-mathematics/nusmv: add missing app-arch/unzip dependency.
2018-08-20 17:00:28 +02:00
octave
sci-mathematics/octave: simplify tl deps now that 2017 is stable
2018-07-21 14:23:53 +02:00
octave-epstk
…
otter
…
p9m4
…
pari
sci-mathematics/pari: Remove old version
2018-04-20 10:01:53 +02:00
pari-data
…
polymake
…
prng
…
prover9
…
pspp
…
pymc
sci-mathematics/pymc: Support python3.6
2018-06-26 22:28:54 +02:00
pymc3
sci-mathematics/pymc3: Fix installation error, bug #632334
2018-05-19 22:29:58 -04:00
reduce
…
relational
sci-mathematics/relational: Support python3.6
2018-06-26 22:28:56 +02:00
rkward
sci-mathematics/rkward: Drop old snapshot
2018-04-17 23:16:18 +02:00
rngstreams
…
rstudio
sci-mathematics/rstudio: Add USE libressl
2018-07-03 12:38:45 +10:00
rw
…
sha1-polyml
…
singular
…
snns
sci-mathematics/snns: fix installation of manual
2018-06-14 20:20:48 -04:00
spass
…
spin
sci-mathematics/spin: Remove old
2018-03-29 21:22:07 +02:00
topcom
…
twelf
…
unuran
…
why3-for-spark
sci-mathematics/why3-for-spark: Version bump to 2018
2018-07-13 08:49:22 +02:00
wxmaxima
…
xmds
…
yacas
…
yafu
…
z3
…
metadata.xml
…