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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-interval_4.10.0-1build4.debian.tar.xz2024-Jun-03 23:43:519.1Kapplication/octet-stream
coq-interval_4.10.0-1build4.dsc2024-Jun-03 23:43:512.1Kapplication/octet-stream
coq-interval_4.10.0.orig.tar.bz22024-May-02 13:53:15292.7Kapplication/x-bzip
coq-interval_4.11.0-1.debian.tar.xz2024-Jun-08 19:43:109.0Kapplication/octet-stream
coq-interval_4.11.0-1.dsc2024-Jun-08 19:43:102.1Kapplication/octet-stream
coq-interval_4.11.0.orig.tar.bz22024-Jun-08 19:43:10294.9Kapplication/x-bzip
coq-interval_4.6.1-2build3.debian.tar.xz2023-Feb-17 08:29:118.6Kapplication/octet-stream
coq-interval_4.6.1-2build3.dsc2023-Feb-17 08:29:112.1Kapplication/octet-stream
coq-interval_4.6.1.orig.tar.bz22022-Dec-13 18:19:27253.3Kapplication/x-bzip
coq-interval_4.8.0-1.debian.tar.xz2023-Aug-03 19:59:308.6Kapplication/octet-stream
coq-interval_4.8.0-1.dsc2023-Aug-03 19:59:302.1Kapplication/octet-stream
coq-interval_4.8.0.orig.tar.bz22023-Aug-03 19:59:30275.0Kapplication/x-bzip
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.10.0-1build4_amd64.deb2024-Jun-06 01:43:447.4Mapplication/octet-stream
libcoq-interval_4.11.0-1_amd64.deb2024-Jun-08 19:43:127.4Mapplication/octet-stream
libcoq-interval_4.6.1-2build3_amd64.deb2023-Feb-17 08:29:195.1Mapplication/octet-stream
libcoq-interval_4.8.0-1_amd64.deb2023-Aug-03 19:59:366.4Mapplication/octet-stream
libcoq-interval_4.9.0-1build5_amd64.deb2024-Apr-08 18:11:086.5Mapplication/octet-stream
lighttpd/1.4.19