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

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