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
:
archive/repo/gentoo-2.git
RELEASE-1_4
import-1.1.1
master
Another conversion of the historical gentoo-x86 ebuild repository
Ulrich Müller <ulm@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Mode
Name
Size
d---------
4ti2
280
log
plain
d---------
Macaulay2
197
log
plain
d---------
agda-executable
235
log
plain
d---------
agda-lib-ffi
166
log
plain
d---------
agda-stdlib
348
log
plain
d---------
agda
390
log
plain
d---------
axiom
192
log
plain
d---------
bertini
159
log
plain
d---------
cado-nfs
303
log
plain
d---------
calc
386
log
plain
d---------
cgal
156
log
plain
d---------
coq
415
log
plain
d---------
cvc3
190
log
plain
d---------
dataplot
197
log
plain
d---------
diagrtb
192
log
plain
d---------
drgeo
191
log
plain
d---------
e
233
log
plain
d---------
ent
190
log
plain
d---------
euler
192
log
plain
d---------
factmsieve
193
log
plain
d---------
fann
243
log
plain
d---------
flint
330
log
plain
d---------
form
156
log
plain
d---------
freemat
191
log
plain
d---------
fricas
239
log
plain
d---------
frobby
195
log
plain
d---------
genius
241
log
plain
d---------
geogebra
198
log
plain
d---------
geomview
194
log
plain
d---------
gfan
188
log
plain
d---------
ggnfs
195
log
plain
d---------
gimps
283
log
plain
d---------
ginac
283
log
plain
d---------
glpk
321
log
plain
d---------
gmm
155
log
plain
d---------
gmp-ecm
262
log
plain
d---------
gretl
239
log
plain
d---------
gsl-shell
195
log
plain
d---------
gwnum
157
log
plain
d---------
isabelle
403
log
plain
d---------
jags
158
log
plain
d---------
kodkod
192
log
plain
d---------
kodkodi
161
log
plain
d---------
lpsolve
163
log
plain
d---------
lybniz
160
log
plain
d---------
mathomatic
269
log
plain
d---------
maxima
289
log
plain
-rw-r--r--
metadata.xml
1326
log
plain
d---------
minisat
244
log
plain
d---------
mlpy
158
log
plain
d---------
msieve
237
log
plain
d---------
nauty
159
log
plain
d---------
nestedsums
168
log
plain
d---------
normaliz
195
log
plain
d---------
num-utils
212
log
plain
d---------
nusmv
375
log
plain
d---------
octave-epstk
215
log
plain
d---------
octave
433
log
plain
d---------
otter
239
log
plain
d---------
p9m4
190
log
plain
d---------
pari-data
166
log
plain
d---------
pari
556
log
plain
d---------
polymake
292
log
plain
d---------
prng
190
log
plain
d---------
prover9
196
log
plain
d---------
pspp
238
log
plain
d---------
pymc
200
log
plain
d---------
qtoctave
198
log
plain
d---------
reduce
198
log
plain
d---------
relational
163
log
plain
d---------
rkward
160
log
plain
d---------
rngstreams
164
log
plain
d---------
rstudio
558
log
plain
d---------
rw
154
log
plain
d---------
sha1-polyml
165
log
plain
d---------
singular
243
log
plain
d---------
snns
283
log
plain
d---------
spass
157
log
plain
d---------
spin
280
log
plain
d---------
topcom
196
log
plain
d---------
twelf
191
log
plain
d---------
unuran
192
log
plain
d---------
wxmaxima
218
log
plain
d---------
xmds
235
log
plain
d---------
yacas
283
log
plain
d---------
yafu
235
log
plain