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

NameLast ModifiedSizeType
../ -  Directory
coq-interval_4.11.0-2build5.debian.tar.xz2024-Sep-17 12:56:349.2Kapplication/octet-stream
coq-interval_4.11.0-2build5.dsc2024-Sep-17 12:56:342.1Kapplication/octet-stream
coq-interval_4.11.0.orig.tar.bz22024-Jun-08 13:43:10294.9Kapplication/octet-stream
coq-interval_4.11.1-1build2.debian.tar.xz2024-Dec-20 14:01:319.2Kapplication/octet-stream
coq-interval_4.11.1-1build2.dsc2024-Dec-20 14:01:322.1Kapplication/octet-stream
coq-interval_4.11.1.orig.tar.gz2024-Nov-20 13:47:27371.9Kapplication/octet-stream
coq-interval_4.9.0-1build5.debian.tar.xz2024-Apr-08 03:57:399.2Kapplication/octet-stream
coq-interval_4.9.0-1build5.dsc2024-Apr-08 03:57:392.2Kapplication/octet-stream
coq-interval_4.9.0.orig.tar.bz22023-Dec-26 12:17:07275.4Kapplication/octet-stream
libcoq-interval_4.11.0-2build5_amd64.deb2024-Sep-19 21:35:167.3Mapplication/octet-stream
libcoq-interval_4.11.1-1build2_amd64.deb2024-Dec-20 14:01:507.2Mapplication/octet-stream
libcoq-interval_4.9.0-1build5_amd64.deb2024-Apr-08 12:11:086.5Mapplication/octet-stream