Index of /ubuntu-ports/pool/universe/c/coq-libhyps/

../
coq-libhyps_2.0.8-1build4.debian.tar.xz            08-Apr-2024 07:57                2324
coq-libhyps_2.0.8-1build4.dsc                      08-Apr-2024 07:57                2150
coq-libhyps_2.0.8-4build11.debian.tar.xz           03-Mar-2026 21:25                2560
coq-libhyps_2.0.8-4build11.dsc                     03-Mar-2026 21:25                2075
coq-libhyps_2.0.8-4build7.debian.tar.xz            18-Feb-2025 21:25                2452
coq-libhyps_2.0.8-4build7.dsc                      18-Feb-2025 21:25                2071
coq-libhyps_2.0.8-4build8.debian.tar.xz            20-Jun-2025 13:22                2480
coq-libhyps_2.0.8-4build8.dsc                      20-Jun-2025 13:22                2071
coq-libhyps_2.0.8.orig.tar.gz                      22-Dec-2023 17:26               37247
coq-libhyps_5.0.0-2build1.debian.tar.xz            26-Aug-2026 16:19                2388
coq-libhyps_5.0.0-2build1.dsc                      26-Aug-2026 16:19                2078
coq-libhyps_5.0.0-2build2.debian.tar.xz            27-Aug-2026 14:19                2400
coq-libhyps_5.0.0-2build2.dsc                      27-Aug-2026 14:19                2078
coq-libhyps_5.0.0.orig.tar.gz                      28-Jul-2026 17:29               47931
libcoq-libhyps_2.0.8-1build4_arm64.deb             08-Apr-2024 07:57               77586
libcoq-libhyps_2.0.8-1build4_armhf.deb             08-Apr-2024 07:57               77586
libcoq-libhyps_2.0.8-1build4_ppc64el.deb           08-Apr-2024 07:57               77590
libcoq-libhyps_2.0.8-1build4_riscv64.deb           08-Apr-2024 07:57               77590
libcoq-libhyps_2.0.8-1build4_s390x.deb             08-Apr-2024 07:57               77600
libcoq-libhyps_2.0.8-4build11_arm64.deb            03-Mar-2026 21:27               71592
libcoq-libhyps_2.0.8-4build11_ppc64el.deb          03-Mar-2026 21:28               71598
libcoq-libhyps_2.0.8-4build11_riscv64.deb          03-Mar-2026 21:28               71588
libcoq-libhyps_2.0.8-4build11_s390x.deb            03-Mar-2026 21:28               71586
libcoq-libhyps_2.0.8-4build7_arm64.deb             18-Feb-2025 21:25               71656
libcoq-libhyps_2.0.8-4build7_ppc64el.deb           18-Feb-2025 21:26               71656
libcoq-libhyps_2.0.8-4build7_riscv64.deb           19-Feb-2025 00:23               71670
libcoq-libhyps_2.0.8-4build7_s390x.deb             19-Feb-2025 00:24               71652
libcoq-libhyps_2.0.8-4build8_arm64.deb             20-Jun-2025 13:24               71620
libcoq-libhyps_2.0.8-4build8_ppc64el.deb           20-Jun-2025 13:24               71642
libcoq-libhyps_2.0.8-4build8_riscv64.deb           20-Jun-2025 15:15               71630
libcoq-libhyps_2.0.8-4build8_s390x.deb             20-Jun-2025 13:24               71618
libcoq-libhyps_5.0.0-2_arm64.deb                   26-Aug-2026 03:40               90316
libcoq-libhyps_5.0.0-2_ppc64el.deb                 18-Aug-2026 16:48               90326
libcoq-libhyps_5.0.0-2_s390x.deb                   25-Aug-2026 20:53               90252
libcoq-libhyps_5.0.0-2build1_armhf.deb             26-Aug-2026 16:19               90400
libcoq-libhyps_5.0.0-2build1_riscv64.deb           26-Aug-2026 20:23               90408
libcoq-libhyps_5.0.0-2build2_arm64.deb             27-Aug-2026 14:20               90396
libcoq-libhyps_5.0.0-2build2_armhf.deb             27-Aug-2026 14:20               90430