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

../
coq-float_8.10.0-1.debian.tar.xz                   21-Mar-2025 18:13                3360
coq-float_8.10.0-1.dsc                             21-Mar-2025 18:13                1947
coq-float_8.10.0.orig.tar.gz                       21-Mar-2025 18:13               99147
coq-float_8.2-1.2-9.debian.tar.gz                  21-Mar-2025 18:13                3474
coq-float_8.2-1.2-9.dsc                            21-Mar-2025 18:13                2021
coq-float_8.2-1.2.orig.tar.gz                      21-Mar-2025 18:13              322949
coq-float_8.4-3.debian.tar.xz                      21-Mar-2025 18:13                3332
coq-float_8.4-3.dsc                                21-Mar-2025 18:13                1981
coq-float_8.4-5build1.debian.tar.xz                21-Mar-2025 18:13                3424
coq-float_8.4-5build1.dsc                          21-Mar-2025 18:13                2010
coq-float_8.4.orig.tar.gz                          21-Mar-2025 18:13              352313
libfloat-coq_8.10.0-1_all.deb                      21-Mar-2025 18:13             1224024
libfloat-coq_8.2-1.2-9_all.deb                     21-Mar-2025 18:13            13989620
libfloat-coq_8.4-3_all.deb                         21-Mar-2025 18:13            11436338
libfloat-coq_8.4-5build1_all.deb                   21-Mar-2025 18:13            11448212