/ubuntu-ports/pool/universe/c/coq-float/

0 directories 11 files 23 MiB total
List Grid
Name
Size Modified
Up
coq-float_8.10.0-1.debian.tar.xz
3.3 KiB
coq-float_8.10.0-1.dsc
1.9 KiB
coq-float_8.10.0.orig.tar.gz
97 KiB
coq-float_8.4-3.debian.tar.xz
3.3 KiB
coq-float_8.4-3.dsc
1.9 KiB
coq-float_8.4-5build1.debian.tar.xz
3.3 KiB
coq-float_8.4-5build1.dsc
2.0 KiB
coq-float_8.4.orig.tar.gz
344 KiB
libfloat-coq_8.10.0-1_all.deb
1.2 MiB
libfloat-coq_8.4-3_all.deb
11 MiB
libfloat-coq_8.4-5build1_all.deb
11 MiB