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

NameLast ModifiedSizeType
../ -  Directory
coq-interval_4.10.0-1.debian.tar.xz2024-May-02 18:53:159.0Kapplication/x-xz
coq-interval_4.10.0-1.dsc2024-May-02 18:53:152.1Kapplication/octet-stream
coq-interval_4.10.0-1build1.debian.tar.xz2024-May-03 03:28:299.0Kapplication/x-xz
coq-interval_4.10.0-1build1.dsc2024-May-03 03:28:292.1Kapplication/octet-stream
coq-interval_4.10.0-1build2.debian.tar.xz2024-May-14 01:39:429.0Kapplication/x-xz
coq-interval_4.10.0-1build2.dsc2024-May-14 01:39:422.1Kapplication/octet-stream
coq-interval_4.10.0.orig.tar.bz22024-May-02 18:53:15292.7Kapplication/x-gtar-compressed
coq-interval_4.6.1-2build3.debian.tar.xz2023-Feb-17 14:29:118.6Kapplication/x-xz
coq-interval_4.6.1-2build3.dsc2023-Feb-17 14:29:112.1Kapplication/octet-stream
coq-interval_4.6.1.orig.tar.bz22022-Dec-14 00:19:27253.3Kapplication/x-gtar-compressed
coq-interval_4.8.0-1.debian.tar.xz2023-Aug-04 00:59:308.6Kapplication/x-xz
coq-interval_4.8.0-1.dsc2023-Aug-04 00:59:302.1Kapplication/octet-stream
coq-interval_4.8.0.orig.tar.bz22023-Aug-04 00:59:30275.0Kapplication/x-gtar-compressed
coq-interval_4.9.0-1build5.debian.tar.xz2024-Apr-08 14:57:399.2Kapplication/x-xz
coq-interval_4.9.0-1build5.dsc2024-Apr-08 14:57:392.2Kapplication/octet-stream
coq-interval_4.9.0.orig.tar.bz22023-Dec-27 00:17:07275.4Kapplication/x-gtar-compressed
libcoq-interval_4.10.0-1_amd64.deb2024-May-02 18:53:277.0Mapplication/vnd.debian.binary-package
libcoq-interval_4.10.0-1build1_amd64.deb2024-May-03 20:21:077.4Mapplication/vnd.debian.binary-package
libcoq-interval_4.10.0-1build2_amd64.deb2024-May-14 01:40:107.4Mapplication/vnd.debian.binary-package
libcoq-interval_4.6.1-2build3_amd64.deb2023-Feb-17 14:29:195.1Mapplication/vnd.debian.binary-package
libcoq-interval_4.8.0-1_amd64.deb2023-Aug-04 00:59:366.4Mapplication/vnd.debian.binary-package
libcoq-interval_4.9.0-1build5_amd64.deb2024-Apr-08 23:11:086.5Mapplication/vnd.debian.binary-package
lighttpd/1.4.54