gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 18:47:16 -08:00
Code Issues Projects Releases Wiki Activity
Files
84eca7420d8bf69df83e6ffc19aae61c58d47028
gentoo/sci-mathematics
T
History
Sergei Trofimovich 493b23eab2 sci-mathematics/z3: stable 4.8.8 for ppc64 
stable wrt bug #734542

Package-Manager: Portage-3.0.1, Repoman-2.3.23
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
2020-08-01 09:55:51 +01:00
..
4ti2
…
agda
sci-mathematics/agda: update homepage
2020-05-17 12:54:55 -04:00
agda-lib-ffi
sci-mathematics/agda-lib-ffi: update homepage
2020-05-17 12:54:56 -04:00
agda-stdlib
sci-mathematics/agda-stdlib: update homepage
2020-05-17 12:54:57 -04:00
alt-ergo
sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNORED
2020-05-27 07:46:51 +02:00
arb
sci-mathematics/arb: bump to 2.18.0. Use cmake.
2020-06-16 21:40:14 -04:00
axiom
…
bertini
…
calc
…
cgal
…
cliquer
…
coq
…
cvc4
…
dataplot
…
diagrtb
…
dunshire
…
eclib
sci-mathematics/eclib: Drop macos prefixes re bug #690140
2020-07-23 19:02:42 +12:00
ent
…
euler
…
fann
…
flint
sci-mathematics/flint: upstream bump to 2.6.0
2020-06-16 21:40:13 -04:00
flintqs
…
form
…
fricas
…
frobby
…
genius
sci-mathematics/genius: arm64 keyworded (bug #722142)
2020-07-18 21:50:08 +00:00
geogebra
…
geomview
…
gfan
…
ggnfs
…
gimps
sci-mathematics/gimps: add RESTRICTs due to license
2020-05-26 13:54:22 +02:00
ginac
…
glpk
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
lpsolve
…
lrcalc
…
mathematica
sci-mathematics/mathematica: remove Windows/MacOS-specific files
2020-07-04 17:18:32 +03:00
mathmod
sci-mathematics/mathmod: EAPI-7, missing deps, fdo-mime--, xdg-utils
2020-05-21 11:17:19 +02:00
mathomatic
sci-mathematics/mathomatic: Drop 15.8.5
2020-06-23 00:39:34 +02:00
maxima
sci-mathematics/maxima: Drop macos prefixes re bug #690140
2020-07-23 19:02:46 +12:00
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: Drop 4* and 5.1.0
2020-06-04 15:32:27 +02:00
octave-epstk
…
otter
…
pari
sci-mathematics/pari: Drop x86-{macos,solaris} re bug #690140
2020-07-23 19:02:49 +12:00
pari-data
…
petsc
sci-mathematics/petsc: update homepage
2020-06-27 22:44:42 +02:00
planarity
…
polymake
sci-mathematics/polymake: update homepage
2020-06-27 22:44:59 +02:00
prng
…
prover9
…
psmt2-frontend
sci-mathematics/psmt2-frontend: ignore CFLAGS warning
2020-05-27 21:00:45 +02:00
pspp
…
pymc3
sci-mathematics/pymc3: Remove unused dep on (re)commonmark
2020-05-14 12:38:41 +02:00
relational
…
rkward
sci-mathematics/rkward: KDE project takeover
2020-06-17 18:56:07 +02:00
rngstreams
…
rstudio
sci-mathematics/rstudio: Bump to rstudio-1.3.1056
2020-07-17 20:48:00 +10:00
rw
sci-mathematics/rw: maintainer stabilize and drop old.
2020-06-22 17:47:43 -04:00
sha1-polyml
…
singular
sci-mathematics/singular: update homepage
2020-06-27 22:44:57 +02:00
slepc
sci-mathematics/slepc: update homepage
2020-06-27 22:44:41 +02:00
spin
…
sympow
sci-mathematics/sympow: maintainer stabilize on amd64.
2020-07-08 09:59:17 -04:00
topcom
…
twelf
…
unuran
…
why3-for-spark
sci-mathematics/why3-for-spark: fix broken links
2020-06-15 19:19:49 +02:00
wxmaxima
sci-mathematics/wxmaxima: bump to 20.06.6
2020-06-22 21:48:01 +07:00
yacas
…
yafu
…
z3
sci-mathematics/z3: stable 4.8.8 for ppc64
2020-08-01 09:55:51 +01:00
metadata.xml
…