..
4ti2
Sync with portage [Sun Feb 28 00:18:50 MSK 2021].
3 jaren geleden
agda
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
agda-stdlib
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
alt-ergo
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
arb
Sync with portage [Wed May 5 08:22:17 MSK 2021].
3 jaren geleden
bertini
Sync with portage [Sat Feb 27 18:33:39 MSK 2021].
3 jaren geleden
calc
Sync with portage [Thu Apr 29 09:31:27 MSK 2021].
3 jaren geleden
cgal
Sync with portage [Wed May 5 15:41:43 MSK 2021].
3 jaren geleden
cliquer
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
coq
Sync with portage [Wed Apr 7 10:03:41 MSK 2021].
3 jaren geleden
cvc4
Sync with portage [Tue Apr 6 00:08:31 MSK 2021].
3 jaren geleden
dataplot
Sync with portage [Sat Feb 27 18:33:39 MSK 2021].
3 jaren geleden
diagrtb
Sync with portage [Mon Feb 15 00:22:35 MSK 2021].
3 jaren geleden
dsfmt
Sync with portage [Fri Apr 9 09:15:21 MSK 2021].
3 jaren geleden
dunshire
Sync with portage [Mon Feb 1 00:29:38 MSK 2021].
3 jaren geleden
eclib
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
ent
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
euler
Sync with portage [Tue Feb 23 19:08:06 MSK 2021].
3 jaren geleden
fann
Sync with portage [Fri Mar 12 16:42:45 MSK 2021].
3 jaren geleden
flint
Sync with portage [Wed May 5 08:22:17 MSK 2021].
3 jaren geleden
flintqs
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
form
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
fricas
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
frobby
Sync with portage [Thu Sep 17 08:42:25 MSK 2020].
4 jaren geleden
genius
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
geogebra-bin
Sync with portage [Mon Sep 21 13:52:15 MSK 2020].
4 jaren geleden
geomview
Sync with portage [Sun Oct 4 22:40:52 MSK 2020].
4 jaren geleden
gfan
Sync with portage [Thu Mar 4 08:44:01 MSK 2021].
3 jaren geleden
giac
Sync with portage [Wed May 5 08:22:17 MSK 2021].
3 jaren geleden
gimps
Sync with portage [Sat Mar 27 21:09:48 MSK 2021].
3 jaren geleden
ginac
Sync with portage [Fri Apr 30 16:08:40 MSK 2021].
3 jaren geleden
glpk
Sync with portage [Thu Apr 1 09:18:58 MSK 2021].
3 jaren geleden
gmm
Sync with portage [Sun Dec 8 22:24:06 MSK 2019].
4 jaren geleden
gmp-ecm
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
gp2c
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
gretl
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
gsl-shell
Sync with portage [Wed Apr 21 10:37:45 MSK 2021].
3 jaren geleden
jags
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
lpsolve
Sync with portage [Wed Jul 31 09:14:17 MSK 2019].
5 jaren geleden
lrcalc
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
mathematica
Sync with portage [Fri Jan 22 14:13:10 MSK 2021].
3 jaren geleden
mathmod
Sync with portage [Fri May 22 00:55:50 MSK 2020].
4 jaren geleden
mathomatic
Sync with portage [Tue Jun 23 09:38:51 MSK 2020].
4 jaren geleden
maxima
Sync with portage [Fri Apr 2 10:49:46 MSK 2021].
3 jaren geleden
minisat
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
msieve
Sync with portage [Wed Mar 31 15:28:44 MSK 2021].
3 jaren geleden
nauty
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
nestedsums
Sync with portage [Mon Feb 1 14:31:48 MSK 2021].
3 jaren geleden
normaliz
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
num-utils
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
octave
Sync with portage [Mon May 3 23:46:15 MSK 2021].
3 jaren geleden
octave-epstk
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
otter
Sync with portage [Sun Nov 1 13:01:55 MSK 2020].
4 jaren geleden
pari
Sync with portage [Fri Apr 30 16:08:40 MSK 2021].
3 jaren geleden
pari-data
Sync with portage [Wed Jan 6 23:35:15 MSK 2021].
3 jaren geleden
petsc
Sync with portage [Sat Apr 17 11:25:40 MSK 2021].
3 jaren geleden
planarity
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
polymake
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
prng
Sync with portage [Wed Feb 12 18:18:42 MSK 2020].
4 jaren geleden
prover9
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
psmt2-frontend
Sync with portage [Thu May 28 09:11:10 MSK 2020].
4 jaren geleden
pspp
Sync with portage [Mon Feb 1 00:29:38 MSK 2021].
3 jaren geleden
relational
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
rkward
Sync with portage [Mon Apr 5 01:07:21 MSK 2021].
3 jaren geleden
rngstreams
Sync with portage [Sun Dec 8 22:24:06 MSK 2019].
4 jaren geleden
rstudio
Sync with portage [Mon May 3 23:46:15 MSK 2021].
3 jaren geleden
rw
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
sha1-polyml
Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
3 jaren geleden
singular
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
slepc
Sync with portage [Fri Apr 16 20:20:47 MSK 2021].
3 jaren geleden
spin
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
sympow
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
topcom
Sync with portage [Thu Mar 18 08:43:12 MSK 2021].
3 jaren geleden
twelf
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
unuran
Sync with portage [Sun Dec 8 22:24:06 MSK 2019].
4 jaren geleden
why3-for-spark
Sync with portage [Fri Feb 12 09:13:04 MSK 2021].
3 jaren geleden
wxmaxima
Sync with portage [Sun Apr 25 23:28:29 MSK 2021].
3 jaren geleden
yacas
Sync with portage [Sun Jan 12 18:05:11 MSK 2020].
4 jaren geleden
yafu
Sync with portage [Mon Apr 19 08:47:27 MSK 2021].
3 jaren geleden
z3
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden
Manifest.gz
Sync with portage [Wed May 5 15:41:43 MSK 2021].
3 jaren geleden
metadata.xml
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 jaren geleden