GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Mode
Name
Size
d---------
4ti2
243
log
plain
d---------
Macaulay2
160
log
plain
d---------
agda-executable
198
log
plain
d---------
agda-lib-ffi
185
log
plain
d---------
agda-stdlib
262
log
plain
d---------
agda
255
log
plain
d---------
axiom
155
log
plain
d---------
bertini
122
log
plain
d---------
cado-nfs
266
log
plain
d---------
calc
349
log
plain
d---------
cgal
242
log
plain
d---------
coq
378
log
plain
d---------
cvc3
153
log
plain
d---------
dataplot
160
log
plain
d---------
diagrtb
155
log
plain
d---------
drgeo
154
log
plain
d---------
e
196
log
plain
d---------
ent
153
log
plain
d---------
euler
155
log
plain
d---------
factmsieve
156
log
plain
d---------
fann
206
log
plain
d---------
flint
293
log
plain
d---------
form
119
log
plain
d---------
freemat
154
log
plain
d---------
fricas
202
log
plain
d---------
frobby
158
log
plain
d---------
genius
204
log
plain
d---------
geogebra
161
log
plain
d---------
geomview
157
log
plain
d---------
gfan
151
log
plain
d---------
ggnfs
158
log
plain
d---------
gimps
246
log
plain
d---------
ginac
246
log
plain
d---------
glpk
284
log
plain
d---------
gmm
160
log
plain
d---------
gmp-ecm
225
log
plain
d---------
gretl
202
log
plain
d---------
gsl-shell
158
log
plain
d---------
gwnum
120
log
plain
d---------
isabelle
366
log
plain
d---------
jags
121
log
plain
d---------
kodkod
155
log
plain
d---------
kodkodi
124
log
plain
d---------
lpsolve
126
log
plain
d---------
lybniz
123
log
plain
d---------
mathomatic
232
log
plain
d---------
maxima
252
log
plain
-rw-r--r--
metadata.xml
1326
log
plain
d---------
minisat
207
log
plain
d---------
mlpy
121
log
plain
d---------
msieve
200
log
plain
d---------
nauty
122
log
plain
d---------
nestedsums
131
log
plain
d---------
normaliz
158
log
plain
d---------
num-utils
175
log
plain
d---------
nusmv
338
log
plain
d---------
octave-epstk
178
log
plain
d---------
octave
396
log
plain
d---------
otter
202
log
plain
d---------
p9m4
153
log
plain
d---------
pari-data
129
log
plain
d---------
pari
519
log
plain
d---------
polymake
255
log
plain
d---------
prng
153
log
plain
d---------
prover9
159
log
plain
d---------
pspp
201
log
plain
d---------
pymc
163
log
plain
d---------
qtoctave
161
log
plain
d---------
reduce
161
log
plain
d---------
relational
126
log
plain
d---------
rkward
123
log
plain
d---------
rngstreams
127
log
plain
d---------
rstudio
572
log
plain
d---------
rw
117
log
plain
d---------
sha1-polyml
128
log
plain
d---------
singular
206
log
plain
d---------
snns
246
log
plain
d---------
spass
120
log
plain
d---------
spin
243
log
plain
d---------
topcom
159
log
plain
d---------
twelf
154
log
plain
d---------
unuran
155
log
plain
d---------
wxmaxima
181
log
plain
d---------
xmds
198
log
plain
d---------
yacas
246
log
plain
d---------
yafu
198
log
plain