Folder Path

/ubuntu-old-releases/ubuntu/pool/universe/c/coq-float/

0 directories 34 files
List Grid
Name
Size Modified
Up
coq-float_8.1-1.0-3.diff.gz
3.7 KiB
coq-float_8.1-1.0-3.dsc
595 B
coq-float_8.1-1.0-4.diff.gz
3.8 KiB
coq-float_8.1-1.0-4.dsc
764 B
coq-float_8.1-1.0.orig.tar.gz
314 KiB
coq-float_8.2-1.2-3.diff.gz
2.7 KiB
coq-float_8.2-1.2-3.dsc
1.3 KiB
coq-float_8.2-1.2-4.diff.gz
2.7 KiB
coq-float_8.2-1.2-4.dsc
1.9 KiB
coq-float_8.2-1.2-5.debian.tar.gz
3.0 KiB
coq-float_8.2-1.2-5.dsc
1.3 KiB
coq-float_8.2-1.2-7.debian.tar.gz
3.4 KiB
coq-float_8.2-1.2-7.dsc
1.9 KiB
coq-float_8.2-1.2-9.debian.tar.gz
3.4 KiB
coq-float_8.2-1.2-9.dsc
2.0 KiB
coq-float_8.2-1.2.orig.tar.gz
315 KiB
coq-float_8.3pl1-4.debian.tar.gz
3.2 KiB
coq-float_8.3pl1-4.dsc
2.0 KiB
coq-float_8.3pl1.orig.tar.gz
351 KiB
coq-float_8.4-1.debian.tar.gz
3.3 KiB
coq-float_8.4-1.dsc
1.9 KiB
coq-float_8.4-4.debian.tar.xz
3.3 KiB
coq-float_8.4-4.dsc
2.0 KiB
coq-float_8.4.orig.tar.gz
344 KiB
libfloat-coq_8.1-1.0-3_all.deb
9.4 MiB
libfloat-coq_8.1-1.0-4_all.deb
9.4 MiB
libfloat-coq_8.2-1.2-3_all.deb
10 MiB
libfloat-coq_8.2-1.2-4_all.deb
10 MiB
libfloat-coq_8.2-1.2-5_all.deb
10 MiB
libfloat-coq_8.2-1.2-7_all.deb
13 MiB
libfloat-coq_8.2-1.2-9_all.deb
13 MiB
libfloat-coq_8.3pl1-4_all.deb
16 MiB
libfloat-coq_8.4-1_all.deb
16 MiB
libfloat-coq_8.4-4_all.deb
11 MiB