Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/coq-interval/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-interval_4.11.1-1build11.debian.tar.xz2025-Aug-31 21:42:099.4Kapplication/octet-stream
coq-interval_4.11.1-1build11.dsc2025-Aug-31 21:42:092.1Kapplication/octet-stream
coq-interval_4.11.1-1build7.debian.tar.xz2025-Feb-19 08:52:149.3Kapplication/octet-stream
coq-interval_4.11.1-1build7.dsc2025-Feb-19 08:52:142.1Kapplication/octet-stream
coq-interval_4.11.1.orig.tar.gz2024-Nov-20 19:47:27371.9Kapplication/x-gzip
coq-interval_4.9.0-1build5.debian.tar.xz2024-Apr-08 09:57:399.2Kapplication/octet-stream
coq-interval_4.9.0-1build5.dsc2024-Apr-08 09:57:392.2Kapplication/octet-stream
coq-interval_4.9.0.orig.tar.bz22023-Dec-26 18:17:07275.4Kapplication/x-bzip
libcoq-interval_4.11.1-1build11_amd64.deb2025-Sep-02 10:35:597.2Mapplication/octet-stream
libcoq-interval_4.11.1-1build7_amd64.deb2025-Feb-20 10:56:597.2Mapplication/octet-stream
libcoq-interval_4.9.0-1build5_amd64.deb2024-Apr-08 18:11:086.5Mapplication/octet-stream
lighttpd/1.4.19