Index of /ubuntu-ports/pool/universe/c/coq-libhyps/
../
coq-libhyps_2.0.8-1build4.debian.tar.xz 08-Apr-2024 14:57 2324
coq-libhyps_2.0.8-1build4.dsc 08-Apr-2024 14:57 2150
coq-libhyps_2.0.8-4build11.debian.tar.xz 04-Mar-2026 04:25 2560
coq-libhyps_2.0.8-4build11.dsc 04-Mar-2026 04:25 2075
coq-libhyps_2.0.8-4build7.debian.tar.xz 19-Feb-2025 04:25 2452
coq-libhyps_2.0.8-4build7.dsc 19-Feb-2025 04:25 2071
coq-libhyps_2.0.8-4build8.debian.tar.xz 20-Jun-2025 20:22 2480
coq-libhyps_2.0.8-4build8.dsc 20-Jun-2025 20:22 2071
coq-libhyps_2.0.8.orig.tar.gz 23-Dec-2023 00:26 36K
coq-libhyps_5.0.0-2build4.debian.tar.xz 10-Sep-2026 14:03 2424
coq-libhyps_5.0.0-2build4.dsc 10-Sep-2026 14:03 2078
coq-libhyps_5.0.0.orig.tar.gz 29-Jul-2026 00:29 47K
libcoq-libhyps_2.0.8-1build4_arm64.deb 08-Apr-2024 14:57 76K
libcoq-libhyps_2.0.8-1build4_armhf.deb 08-Apr-2024 14:57 76K
libcoq-libhyps_2.0.8-1build4_ppc64el.deb 08-Apr-2024 14:57 76K
libcoq-libhyps_2.0.8-1build4_riscv64.deb 08-Apr-2024 14:57 76K
libcoq-libhyps_2.0.8-1build4_s390x.deb 08-Apr-2024 14:57 76K
libcoq-libhyps_2.0.8-4build11_arm64.deb 04-Mar-2026 04:27 70K
libcoq-libhyps_2.0.8-4build11_ppc64el.deb 04-Mar-2026 04:28 70K
libcoq-libhyps_2.0.8-4build11_riscv64.deb 04-Mar-2026 04:28 70K
libcoq-libhyps_2.0.8-4build11_s390x.deb 04-Mar-2026 04:28 70K
libcoq-libhyps_2.0.8-4build7_arm64.deb 19-Feb-2025 04:25 70K
libcoq-libhyps_2.0.8-4build7_ppc64el.deb 19-Feb-2025 04:26 70K
libcoq-libhyps_2.0.8-4build7_riscv64.deb 19-Feb-2025 07:23 70K
libcoq-libhyps_2.0.8-4build7_s390x.deb 19-Feb-2025 07:24 70K
libcoq-libhyps_2.0.8-4build8_arm64.deb 20-Jun-2025 20:24 70K
libcoq-libhyps_2.0.8-4build8_ppc64el.deb 20-Jun-2025 20:24 70K
libcoq-libhyps_2.0.8-4build8_riscv64.deb 20-Jun-2025 22:15 70K
libcoq-libhyps_2.0.8-4build8_s390x.deb 20-Jun-2025 20:24 70K
libcoq-libhyps_5.0.0-2build4_arm64.deb 10-Sep-2026 14:33 88K
libcoq-libhyps_5.0.0-2build4_armhf.deb 10-Sep-2026 14:33 88K
libcoq-libhyps_5.0.0-2build4_ppc64el.deb 10-Sep-2026 14:34 88K
libcoq-libhyps_5.0.0-2build4_riscv64.deb 10-Sep-2026 15:56 88K
libcoq-libhyps_5.0.0-2build4_s390x.deb 10-Sep-2026 14:34 88K