gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-23 18:38:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
554bcbb950e0c3b166dbf251cc36026402fbb40e
gentoo/sci-mathematics
History
Arthur Zamarin 442bad3f37 sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2021-12-31 18:37:42 +02:00
..
4ti2
sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscv
2021-12-29 21:40:18 +08:00
agda
…
agda-stdlib
…
alt-ergo
sci-mathematics/alt-ergo: fix deps
2021-12-28 14:40:20 +01:00
arb
sci-mathematics/arb: remove unused patch
2021-12-09 01:40:36 -05:00
bertini
…
cadical
sci-mathematics/cadical: patch direct call to ar
2021-12-28 18:44:59 +01:00
calc
…
cgal
*/*: reassign aisha's packages
2021-11-21 08:54:15 +02:00
cliquer
sci-mathematics/cliquer: keyword 1.22 for ~riscv
2021-12-29 21:40:04 +08:00
coq
sci-mathematics/coq: drop redundant ebuilds
2021-12-14 14:44:38 +02:00
cryptominisat
sci-mathematics/cryptominisat: new package; add version 5.8.0
2021-12-26 20:52:23 +01:00
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: fix ocaml dependency
2021-12-12 08:12:37 +01:00
eclib
sci-mathematics/eclib: remove old "unused" eclib-20190909.ebuild.
2021-11-03 08:40:44 -04:00
ent
…
euler
sci-mathematics/euler: de-stabilize for ~ppc, bug #823768
2021-11-18 15:50:13 -08:00
fann
…
flint
sci-mathematics/flint: keyword 2.8.3 for ~riscv
2021-11-22 11:01:21 +08:00
flintqs
…
form
…
fricas
…
frobby
…
genius
sci-mathematics/genius: Stabilize 1.0.27 amd64, #828932
2021-12-12 01:49:20 +00:00
geogebra-bin
…
geomview
…
gfan
…
giac
sci-mathematics/giac-1.7.0.13-r1: fix build for Prefix
2021-12-18 18:32:07 +01:00
gimps
sci-mathematics/gimps: Version bump to 30.7 build 9
2021-11-29 09:32:12 +02:00
ginac
sci-mathematics/ginac: de-stabilize for ~ppc, bug #823768
2021-11-18 15:50:15 -08:00
glpk
sci-mathematics/glpk: remove old "unused" glpk-4.65.ebuild.
2021-11-02 19:05:47 -04:00
gmm
sci-mathematics/gmm: version bump 5.4
2021-11-08 19:52:27 +01:00
gmp-ecm
sci-mathematics/gmp-ecm: keyword 7.0.4-r4 for ~riscv
2021-11-22 11:05:56 +08:00
gp2c
sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.
2021-12-06 16:41:59 -05:00
gretl
sci-mathematics/gretl: add 2021d, drop 1.9.90
2021-11-27 23:46:31 +01:00
gsl-shell
…
jags
…
lcalc
sci-mathematics/lcalc: new upstream v2.0.5.
2021-12-21 09:28:24 -05:00
lean
sci-mathematics/lean: change maintainer to Gentoo Mathematics Project
2021-12-25 21:41:29 +01:00
lpsolve
sci-mathematics/lpsolve: de-stabilize for ~ppc, bug #823768
2021-11-18 15:50:15 -08:00
lrcalc
sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.
2021-12-13 09:06:29 -05:00
mathematica
…
mathlib-tools
sci-mathematics/mathlib-tools: change maintainer to Gentoo Mathematics Project
2021-12-25 21:41:03 +01:00
mathmod
…
mathomatic
sci-mathematics/mathomatic: de-stabilize for ~ppc, bug #823768
2021-11-18 15:50:24 -08:00
maxima
sci-mathematics/maxima: destabilize 5.42.1-r1 for ~ppc
2021-11-18 15:50:25 -08:00
metamath
sci-mathematics/metamath: change maintainer to Gentoo Mathematics Project
2021-12-25 21:40:42 +01:00
minisat
sci-mathematics/minisat: bump to 2.2.1
2021-12-26 16:41:22 +01:00
msieve
…
nauty
sci-mathematics/nauty: keyword 2.7.3 for ~riscv
2021-12-29 21:40:08 +08:00
nestedsums
…
normaliz
sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscv
2021-12-29 21:40:11 +08:00
num-utils
…
octave
…
octave-epstk
sci-mathematics/octave-epstk: keyword 2.4 for ~riscv
2021-11-22 11:01:06 +08:00
otter
…
pari
sci-mathematics/pari: new upstream version pari-2.13.3.
2021-11-10 19:46:14 -05:00
pari-data
…
petsc
sci-mathematics/petsc: version bump to 3.16.0 and bugfix
2021-12-01 21:25:12 +00:00
planarity
sci-mathematics/planarity: remove old "unused" planarity-3.0.0.5.ebuild.
2021-11-02 14:12:57 -04:00
polymake
sci-mathematics/polymake: keyword 4.5 for ~riscv
2021-12-29 21:40:15 +08:00
primecount
sci-mathematics/primecount: new revision to fix popcnt usage.
2021-12-26 09:56:17 -05:00
primesieve
sci-mathematics/primesieve: drop trailing full stop from DESCRIPTION
2021-12-26 00:19:45 +00:00
prng
…
prover9
…
psmt2-frontend
sci-mathematics/psmt2-frontend: metadata: add longdescription and upstream
2021-12-28 00:58:50 +01:00
pspp
…
relational
…
rkward
…
rngstreams
…
rstudio
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986
2021-12-31 18:37:42 +02:00
slepc
sci-mathematics/slepc: version bump to 3.16
2021-12-03 01:30:08 -06:00
smtinterpol
sci-mathematics/smtinterpol: new package; add version 2.5_p20211018
2021-12-28 18:44:59 +01:00
spin
sci-mathematics/spin: add 6.5.2, drop 6.5.1
2021-11-28 00:13:34 +01:00
stp
sci-mathematics/stp: multiple fixes
2021-12-27 14:08:10 +01:00
sympow
…
topcom
sci-mathematics/topcom: keyword 0.17.8-r1 for ~riscv
2021-12-29 21:40:22 +08:00
twelf
…
unuran
…
vampire
sci-mathematics/vampire: change maintainer to Gentoo Mathematics Project
2021-12-25 21:40:12 +01:00
verit
sci-mathematics/verit: change maintainer to Gentoo Mathematics Project
2021-12-25 21:39:39 +01:00
why3
sci-mathematics/why3: fix *DEPEND
2021-12-12 13:14:50 +01:00
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: clean old versions
2021-11-29 12:23:14 +07:00
yacas
…
yafu
…
z3
sci-mathematics/z3: Bump to 4.8.14
2021-12-24 10:05:40 +01:00
metadata.xml
…