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
7fb980be2673097805afdd00aeeb2babd46753d7
gentoo/sci-mathematics
T
History
Alfredo Tupone cf52b47b1c sci-mathematics/why3-for-spark: UnusedInherits 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2021-09-18 18:51:25 +02:00
..
4ti2
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
agda
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
agda-stdlib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
alt-ergo
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
arb
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
bertini
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
calc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cgal
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cliquer
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
coq
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cvc4
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dataplot
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
diagrtb
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dsfmt
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dunshire
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
eclib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ent
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
euler
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
fann
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
flint
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
flintqs
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
form
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
fricas
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
frobby
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
genius
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
geogebra-bin
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
geomview
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gfan
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
giac
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gimps
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ginac
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
glpk
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gmm
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gmp-ecm
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gp2c
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gretl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gsl-shell
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
jags
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lcalc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lpsolve
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lrcalc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mathematica
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mathmod
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mathomatic
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
maxima
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
minisat
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
msieve
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
nauty
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
nestedsums
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
normaliz
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
num-utils
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
octave
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
octave-epstk
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
otter
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
pari
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
pari-data
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
petsc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
planarity
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
polymake
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
prng
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
prover9
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
psmt2-frontend
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
pspp
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
relational
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
rkward
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
rngstreams
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
rstudio
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
rw
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
sha1-polyml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
singular
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
slepc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
spin
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
sympow
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
topcom
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
twelf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
unuran
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: UnusedInherits
2021-09-18 18:51:25 +02:00
wxmaxima
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
yacas
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
yafu
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
z3
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
metadata.xml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00