uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/coq-float/

Show dotfiles
Name
Last modified
Size
../
-
-
coq-float_8.10.0-1.debian.tar.xz
19-Mar-2020 08:13
3.28 KB
coq-float_8.10.0-1.dsc
19-Mar-2020 08:13
1.9 KB
coq-float_8.10.0.orig.tar.gz
19-Mar-2020 08:13
96.82 KB
coq-float_8.4-3.debian.tar.xz
21-Jan-2014 05:18
3.25 KB
coq-float_8.4-3.dsc
21-Jan-2014 05:18
1.93 KB
coq-float_8.4-5build1.debian.tar.xz
04-Nov-2015 15:29
3.34 KB
coq-float_8.4-5build1.dsc
04-Nov-2015 15:29
1.96 KB
coq-float_8.4.orig.tar.gz
09-May-2013 05:34
344.06 KB
libfloat-coq_8.10.0-1_all.deb
19-Mar-2020 08:23
1.17 MB
libfloat-coq_8.4-3_all.deb
21-Jan-2014 05:53
10.91 MB
libfloat-coq_8.4-5build1_all.deb
04-Nov-2015 15:56
10.92 MB