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