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

../
coq-float_8.10.0-1.debian.tar.xz                   25-Aug-2023 21:02                3360
coq-float_8.10.0-1.dsc                             25-Aug-2023 21:02                1947
coq-float_8.10.0.orig.tar.gz                       25-Aug-2023 21:02               99147
libfloat-coq_8.10.0-1_all.deb                      25-Aug-2023 21:02             1224024