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

../
coq-interval_4.11.1-1build11.debian.tar.xz         01-Sep-2025 03:42    9624
coq-interval_4.11.1-1build11.dsc                   01-Sep-2025 03:42    2194
coq-interval_4.11.1-1build16.debian.tar.xz         09-Mar-2026 01:18    9736
coq-interval_4.11.1-1build16.dsc                   09-Mar-2026 01:18    2194
coq-interval_4.11.1-1build7.debian.tar.xz          19-Feb-2025 15:52    9552
coq-interval_4.11.1-1build7.dsc                    19-Feb-2025 15:52    2190
coq-interval_4.11.1.orig.tar.gz                    21-Nov-2024 02:47    372K
coq-interval_4.11.4-3.debian.tar.xz                13-Aug-2026 09:34     10K
coq-interval_4.11.4-3.dsc                          13-Aug-2026 09:34    2213
coq-interval_4.11.4-3build1.debian.tar.xz          20-Sep-2026 14:48     10K
coq-interval_4.11.4-3build1.dsc                    20-Sep-2026 14:48    2200
coq-interval_4.11.4.orig.tar.gz                    30-Jul-2026 07:27    338K
coq-interval_4.9.0-1build5.debian.tar.xz           08-Apr-2024 15:57    9448
coq-interval_4.9.0-1build5.dsc                     08-Apr-2024 15:57    2265
coq-interval_4.9.0.orig.tar.bz2                    27-Dec-2023 01:17    275K
libcoq-interval_4.11.1-1build11_amd64.deb          02-Sep-2025 16:35      7M
libcoq-interval_4.11.1-1build11_arm64.deb          02-Sep-2025 16:36      7M
libcoq-interval_4.11.1-1build16_amd64.deb          09-Mar-2026 01:19      7M
libcoq-interval_4.11.1-1build16_amd64v3.deb        09-Mar-2026 01:19      7M
libcoq-interval_4.11.1-1build16_arm64.deb          09-Mar-2026 01:19      7M
libcoq-interval_4.11.1-1build7_amd64.deb           20-Feb-2025 17:56      7M
libcoq-interval_4.11.4-3_amd64.deb                 16-Sep-2026 15:50      7M
libcoq-interval_4.11.4-3_amd64v3.deb               16-Sep-2026 15:50      7M
libcoq-interval_4.11.4-3_arm64.deb                 16-Sep-2026 15:50      7M
libcoq-interval_4.11.4-3build1_amd64.deb           20-Sep-2026 17:59      7M
libcoq-interval_4.11.4-3build1_amd64v3.deb         20-Sep-2026 17:59      7M
libcoq-interval_4.11.4-3build1_arm64.deb           20-Sep-2026 17:59      7M
libcoq-interval_4.9.0-1build5_amd64.deb            09-Apr-2024 00:11      7M