index
:
portage
edge
master
next
Portage tree snapshot
Redcore Linux Project
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Mode
Name
Size
d---------
4ti2
156
log
plain
-rw-r--r--
Manifest.gz
13659
log
plain
d---------
agda-stdlib
166
log
plain
d---------
agda
155
log
plain
d---------
alt-ergo
125
log
plain
d---------
arb
243
log
plain
d---------
bertini
122
log
plain
d---------
calc
204
log
plain
d---------
cgal
296
log
plain
d---------
cliquer
170
log
plain
d---------
coq
358
log
plain
d---------
cvc4
197
log
plain
d---------
dataplot
160
log
plain
d---------
diagrtb
155
log
plain
d---------
dsfmt
122
log
plain
d---------
dunshire
128
log
plain
d---------
eclib
174
log
plain
d---------
ent
153
log
plain
d---------
euler
158
log
plain
d---------
fann
200
log
plain
d---------
flint
157
log
plain
d---------
flintqs
122
log
plain
d---------
form
121
log
plain
d---------
fricas
202
log
plain
d---------
frobby
158
log
plain
d---------
genius
156
log
plain
d---------
geogebra-bin
168
log
plain
d---------
geomview
160
log
plain
d---------
gfan
204
log
plain
d---------
giac
159
log
plain
d---------
gimps
249
log
plain
d---------
ginac
201
log
plain
d---------
glpk
198
log
plain
d---------
gmm
160
log
plain
d---------
gmp-ecm
210
log
plain
d---------
gp2c
170
log
plain
d---------
gretl
155
log
plain
d---------
gsl-shell
167
log
plain
d---------
jags
166
log
plain
d---------
lcalc
122
log
plain
d---------
lpsolve
126
log
plain
d---------
lrcalc
198
log
plain
d---------
mathematica
241
log
plain
d---------
mathmod
125
log
plain
d---------
mathomatic
128
log
plain
d---------
maxima
313
log
plain
-rw-r--r--
metadata.xml
1326
log
plain
d---------
minisat
169
log
plain
d---------
msieve
157
log
plain
d---------
nauty
171
log
plain
d---------
nestedsums
130
log
plain
d---------
normaliz
181
log
plain
d---------
num-utils
159
log
plain
d---------
octave-epstk
127
log
plain
d---------
octave
202
log
plain
d---------
otter
155
log
plain
d---------
pari-data
129
log
plain
d---------
pari
200
log
plain
d---------
petsc
249
log
plain
d---------
planarity
212
log
plain
d---------
polymake
126
log
plain
d---------
prng
156
log
plain
d---------
prover9
159
log
plain
d---------
psmt2-frontend
161
log
plain
d---------
pspp
201
log
plain
d---------
relational
160
log
plain
d---------
rkward
123
log
plain
d---------
rngstreams
127
log
plain
d---------
rstudio
162
log
plain
d---------
rw
117
log
plain
d---------
sha1-polyml
129
log
plain
d---------
singular
264
log
plain
d---------
slepc
217
log
plain
d---------
spin
153
log
plain
d---------
sympow
157
log
plain
d---------
topcom
210
log
plain
d---------
twelf
157
log
plain
d---------
unuran
123
log
plain
d---------
why3-for-spark
327
log
plain
d---------
wxmaxima
331
log
plain
d---------
yacas
157
log
plain
d---------
yafu
157
log
plain
d---------
z3
121
log
plain