Index of /ubuntu/pool/universe/c/coq-interval/
../ coq-interval_4.5.1-2.debian.tar.xz 21-Jul-2022 06:19 8324 coq-interval_4.5.1-2.dsc 21-Jul-2022 06:19 2174 coq-interval_4.5.1.orig.tar.bz2 21-Jul-2022 06:19 246K coq-interval_4.6.1-1build1.debian.tar.xz 31-Dec-2022 19:04 8800 coq-interval_4.6.1-1build1.dsc 31-Dec-2022 19:04 2181 coq-interval_4.6.1-1build2.debian.tar.xz 27-Jan-2023 14:14 8812 coq-interval_4.6.1-1build2.dsc 27-Jan-2023 14:14 2181 coq-interval_4.6.1-2.debian.tar.xz 27-Jan-2023 18:55 8788 coq-interval_4.6.1-2.dsc 27-Jan-2023 18:55 2187 coq-interval_4.6.1-2build3.debian.tar.xz 17-Feb-2023 14:29 8864 coq-interval_4.6.1-2build3.dsc 17-Feb-2023 14:29 2186 coq-interval_4.6.1.orig.tar.bz2 14-Dec-2022 00:19 253K coq-interval_4.7.0-1.debian.tar.xz 15-Jun-2023 18:44 8828 coq-interval_4.7.0-1.dsc 15-Jun-2023 18:44 2187 coq-interval_4.7.0.orig.tar.bz2 15-Jun-2023 18:44 255K coq-interval_4.8.0-1.debian.tar.xz 04-Aug-2023 00:59 8848 coq-interval_4.8.0-1.dsc 04-Aug-2023 00:59 2187 coq-interval_4.8.0-1build2.debian.tar.xz 23-Nov-2023 07:05 8920 coq-interval_4.8.0-1build2.dsc 23-Nov-2023 07:05 2186 coq-interval_4.8.0.orig.tar.bz2 04-Aug-2023 00:59 275K coq-interval_4.9.0-1.debian.tar.xz 27-Dec-2023 00:17 9192 coq-interval_4.9.0-1.dsc 27-Dec-2023 00:17 2187 coq-interval_4.9.0-1build1.debian.tar.xz 28-Jan-2024 20:50 9268 coq-interval_4.9.0-1build1.dsc 28-Jan-2024 20:50 2186 coq-interval_4.9.0.orig.tar.bz2 27-Dec-2023 00:17 275K libcoq-interval_4.5.1-2_amd64.deb 21-Jul-2022 09:44 5M libcoq-interval_4.6.1-1build1_amd64.deb 31-Dec-2022 19:04 5M libcoq-interval_4.6.1-1build2_amd64.deb 27-Jan-2023 14:14 5M libcoq-interval_4.6.1-2_amd64.deb 27-Jan-2023 18:55 5M libcoq-interval_4.6.1-2build3_amd64.deb 17-Feb-2023 14:29 5M libcoq-interval_4.7.0-1_amd64.deb 15-Jun-2023 18:44 5M libcoq-interval_4.8.0-1_amd64.deb 04-Aug-2023 00:59 6M libcoq-interval_4.8.0-1build2_amd64.deb 23-Nov-2023 07:05 6M libcoq-interval_4.9.0-1_amd64.deb 27-Dec-2023 00:56 8M libcoq-interval_4.9.0-1build1_amd64.deb 28-Jan-2024 20:50 7M