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
fcf963d8a39edfbdbbf6a84d197a093bc22f5fd4
gentoo/sci-mathematics
T
History
Maciej Barć 157d3bc6f5 sci-mathematics/coq: fix doc build - add missing fonts 
Closes: https://bugs.gentoo.org/833589
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2022-02-18 16:11:25 +01: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: bump to 2.22.1
2022-02-02 18:30:34 +07:00
bertini
…
cadical
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
calc
…
cgal
…
cliquer
sci-mathematics/cliquer: keyword 1.22 for ~riscv
2021-12-29 21:40:04 +08:00
coq
sci-mathematics/coq: fix doc build - add missing fonts
2022-02-18 16:11:25 +01:00
cryptominisat
sci-mathematics/cryptominisat: new package; add version 5.8.0
2021-12-26 20:52:23 +01:00
cvc4
sci-mathematics/cvc4: fix deps check
2022-02-17 15:10:32 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: fix theories location; bump to EAPI 8
2022-01-30 01:39:00 +01:00
eclib
…
ent
…
euler
…
fann
sci-mathematics/fann: fix DeprecatedInsinto
2022-02-13 22:07:33 +01:00
flint
sci-mathematics/flint: Stabilize 2.8.4 x86, #831415
2022-01-18 22:50:21 +01: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
sci-mathematics/geogebra-bin: add 5.0.683.0
2022-01-22 17:57:47 -08:00
geomview
…
gfan
sci-mathematics/gfan: remove old "unused" ebuilds.
2022-01-27 08:29:07 -05:00
giac
sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild.
2022-02-02 19:21:07 -05:00
gimps
sci-mathematics/gimps: add 32 bit binary
2022-01-13 01:02:46 +00:00
ginac
sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextra
2022-02-02 22:40:15 +07:00
glpk
…
gmm
…
gmp-ecm
…
gp2c
sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.
2021-12-06 16:41:59 -05:00
gretl
…
gsl-shell
…
jags
…
lcalc
sci-mathematics/lcalc: remove old "unused" lcalc-2.0.3.ebuild.
2022-01-18 08:57:20 -05:00
lean
sci-mathematics/lean: drop old 3.35.1-r2
2022-02-08 18:21:23 +01:00
lpsolve
…
lrcalc
sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.
2021-12-13 09:06:29 -05:00
mathematica
sci-mathematics/mathematica: drop unused unpacker.eclass
2022-01-28 00:36:12 +01:00
mathlib-tools
*/*: consistent PYTHON_COMPAT style
2022-01-30 11:16:14 +01:00
mathmod
…
mathomatic
…
maxima
…
metamath
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
minisat
sci-mathematics/minisat: reformat metadata.xml
2022-01-24 10:32:16 +01:00
msieve
sci-mathematics/msieve: fix build system
2022-01-29 01:00:16 +01:00
nauty
sci-mathematics/nauty: remove old "unused" ebuilds.
2022-01-18 20:45:16 -05:00
nestedsums
…
normaliz
sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscv
2021-12-29 21:40:11 +08:00
num-utils
…
octave
sci-mathematics/octave: remove old "unused" ebuilds.
2022-01-17 12:24:32 -05:00
octave-epstk
…
otter
…
pari
sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild.
2022-01-20 09:18:56 -05:00
pari-data
…
petsc
sci-mathematics/petsc: EAPI 8
2022-01-04 16:16:58 +01:00
planarity
…
polymake
sci-mathematics/polymake: Stabilize 4.6 amd64, #832376
2022-02-07 11:25:58 +01:00
primecount
sci-mathematics/primecount: maintainer stabilize on amd64.
2022-01-30 09:36:47 -05:00
primesieve
sci-mathematics/primesieve: maintainer stabilize on amd64.
2022-01-30 09:36:12 -05: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
sci-mathematics/rkward: Drop 0.7.2 (r0)
2022-01-07 15:21:38 +01:00
rngstreams
…
rstudio
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376
2022-02-07 11:25:56 +01:00
slepc
…
smtinterpol
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
spin
sci-mathematics/spin: backport upstream fix for CVE-2021-46168
2022-01-16 08:57:12 +00: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
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
verit
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
why3
**/metadata.xml: Replace http by https in DOCTYPE element
2022-01-25 19:37:45 +01:00
why3-for-spark
sci-mathematics/why3-for-spark: remove unused patch
2022-02-10 13:35:41 +01:00
wxmaxima
…
yacas
…
yafu
sci-mathematics/yafu: Add openmp dependency
2022-01-23 14:07:48 +00:00
z3
sci-mathematics/z3: Remove old
2022-02-12 10:15:04 +01:00
metadata.xml
…