4ti2 | 152.00b | December 24 2020 at 01:09 |
Manifest.gz | 13.18Kb | December 18 2020 at 23:09 |
agda | 88.00b | December 24 2020 at 01:09 |
agda-lib-ffi | 146.00b | December 24 2020 at 01:09 |
agda-stdlib | 110.00b | December 24 2020 at 01:09 |
alt-ergo | 122.00b | December 24 2020 at 01:09 |
arb | 118.00b | December 24 2020 at 01:09 |
bertini | 76.00b | December 24 2020 at 01:09 |
calc | 138.00b | December 24 2020 at 01:09 |
cgal | 116.00b | December 24 2020 at 01:09 |
cliquer | 78.00b | December 24 2020 at 01:09 |
coq | 188.00b | December 24 2020 at 01:09 |
cvc4 | 110.00b | December 24 2020 at 01:09 |
dataplot | 146.00b | December 24 2020 at 01:09 |
diagrtb | 88.00b | December 24 2020 at 01:09 |
dunshire | 88.00b | December 24 2020 at 01:09 |
eclib | 82.00b | December 24 2020 at 01:09 |
ent | 84.00b | December 24 2020 at 01:09 |
euler | 88.00b | December 24 2020 at 01:09 |
fann | 122.00b | December 24 2020 at 01:09 |
flint | 164.00b | December 24 2020 at 01:09 |
flintqs | 76.00b | December 24 2020 at 01:09 |
form | 138.00b | December 24 2020 at 01:09 |
fricas | 164.00b | December 24 2020 at 01:09 |
frobby | 94.00b | December 24 2020 at 01:09 |
genius | 130.00b | December 24 2020 at 01:09 |
geogebra-bin | 114.00b | December 24 2020 at 01:09 |
geomview | 98.00b | December 24 2020 at 01:09 |
gfan | 84.00b | December 24 2020 at 01:09 |
ggnfs | 94.00b | December 24 2020 at 01:09 |