Index of /mirrors/ftp.ubuntu.com/ubuntu/pool/universe/c/coq-bignums/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-bignums_8.17.0-2build2.debian.tar.xz2023-Feb-16 19:50:181.9Kapplication/octet-stream
coq-bignums_8.17.0-2build2.dsc2023-Feb-16 19:50:182.0Kapplication/octet-stream
coq-bignums_8.17.0-3build1.debian.tar.xz2023-Jul-26 07:19:351.9Kapplication/octet-stream
coq-bignums_8.17.0-3build1.dsc2023-Jul-26 07:19:352.0Kapplication/octet-stream
coq-bignums_8.17.0.orig.tar.gz2022-Dec-27 18:44:14113.3Kapplication/x-gzip
coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz2024-Apr-08 09:57:422.1Kapplication/octet-stream
coq-bignums_9.0.0+coq8.18-1build3.dsc2024-Apr-08 09:57:422.1Kapplication/octet-stream
coq-bignums_9.0.0+coq8.18.orig.tar.gz2023-Dec-22 18:26:57114.0Kapplication/x-gzip
coq-bignums_9.0.0+coq8.19-1.debian.tar.xz2024-May-02 13:53:172.0Kapplication/octet-stream
coq-bignums_9.0.0+coq8.19-1.dsc2024-May-02 13:53:172.0Kapplication/octet-stream
coq-bignums_9.0.0+coq8.19.orig.tar.gz2024-May-02 13:53:17114.0Kapplication/x-gzip
libcoq-bignums_8.17.0-2build2_amd64.deb2023-Feb-16 19:50:282.0Mapplication/octet-stream
libcoq-bignums_8.17.0-3build1_amd64.deb2023-Jul-26 08:22:122.0Mapplication/octet-stream
libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb2024-Apr-08 09:57:472.0Mapplication/octet-stream
libcoq-bignums_9.0.0+coq8.19-1_amd64.deb2024-May-02 15:24:042.1Mapplication/octet-stream
lighttpd/1.4.19