Index of /ubuntu-ports/pool/universe/c/coqprime/
../
coqprime-tools_8.18-1build3_arm64.deb 08-Apr-2024 13:14 181354
coqprime-tools_8.18-1build3_armhf.deb 08-Apr-2024 13:15 179938
coqprime-tools_8.18-1build3_ppc64el.deb 08-Apr-2024 13:15 182182
coqprime-tools_8.18-1build3_riscv64.deb 08-Apr-2024 13:15 179856
coqprime-tools_8.18-1build3_s390x.deb 08-Apr-2024 13:15 284520
coqprime-tools_8.20.1-1build4_arm64.deb 19-Feb-2025 17:01 185434
coqprime-tools_8.20.1-1build4_ppc64el.deb 19-Feb-2025 13:44 187994
coqprime-tools_8.20.1-1build4_riscv64.deb 19-Feb-2025 13:44 185432
coqprime-tools_8.20.1-1build4_s390x.deb 19-Feb-2025 11:18 189176
coqprime-tools_8.20.1-1build5_arm64.deb 20-Jun-2025 17:40 185936
coqprime-tools_8.20.1-1build5_ppc64el.deb 20-Jun-2025 17:40 188096
coqprime-tools_8.20.1-1build5_riscv64.deb 20-Jun-2025 20:57 185408
coqprime-tools_8.20.1-1build5_s390x.deb 20-Jun-2025 17:40 189096
coqprime-tools_8.20.1-1build8_arm64.deb 04-Mar-2026 17:34 188346
coqprime-tools_8.20.1-1build8_ppc64el.deb 04-Mar-2026 17:34 190140
coqprime-tools_8.20.1-1build8_riscv64.deb 04-Mar-2026 22:18 188232
coqprime-tools_8.20.1-1build8_s390x.deb 04-Mar-2026 17:35 191000
coqprime-tools_8.20.1-1build9_arm64.deb 09-Jul-2026 20:11 188388
coqprime-tools_8.20.1-1build9_ppc64el.deb 09-Jul-2026 16:43 190210
coqprime-tools_8.20.1-1build9_riscv64.deb 09-Jul-2026 17:27 188228
coqprime-tools_8.20.1-1build9_s390x.deb 09-Jul-2026 18:42 191018
coqprime_8.18-1build3.debian.tar.xz 08-Apr-2024 07:57 3492
coqprime_8.18-1build3.dsc 08-Apr-2024 07:57 2227
coqprime_8.18.orig.tar.gz 23-Dec-2023 17:16 996567
coqprime_8.20.1-1build4.debian.tar.xz 19-Feb-2025 07:52 3624
coqprime_8.20.1-1build4.dsc 19-Feb-2025 07:52 2165
coqprime_8.20.1-1build5.debian.tar.xz 20-Jun-2025 13:22 3652
coqprime_8.20.1-1build5.dsc 20-Jun-2025 13:22 2165
coqprime_8.20.1-1build8.debian.tar.xz 04-Mar-2026 17:33 3736
coqprime_8.20.1-1build8.dsc 04-Mar-2026 17:33 2165
coqprime_8.20.1-1build9.debian.tar.xz 08-Jul-2026 23:38 3764
coqprime_8.20.1-1build9.dsc 08-Jul-2026 23:38 2165
coqprime_8.20.1.orig.tar.gz 24-Jan-2025 05:56 996557
libcoq-coqprime_8.18-1build3_arm64.deb 08-Apr-2024 13:14 2021442
libcoq-coqprime_8.18-1build3_armhf.deb 08-Apr-2024 13:15 2023344
libcoq-coqprime_8.18-1build3_ppc64el.deb 08-Apr-2024 13:15 2021232
libcoq-coqprime_8.18-1build3_riscv64.deb 08-Apr-2024 13:15 2021096
libcoq-coqprime_8.18-1build3_s390x.deb 08-Apr-2024 13:15 2021406
libcoq-coqprime_8.20.1-1build4_arm64.deb 19-Feb-2025 17:01 2059940
libcoq-coqprime_8.20.1-1build4_ppc64el.deb 19-Feb-2025 13:44 2060422
libcoq-coqprime_8.20.1-1build4_riscv64.deb 19-Feb-2025 13:44 2060290
libcoq-coqprime_8.20.1-1build4_s390x.deb 19-Feb-2025 11:18 2060264
libcoq-coqprime_8.20.1-1build5_arm64.deb 20-Jun-2025 17:40 2051624
libcoq-coqprime_8.20.1-1build5_ppc64el.deb 20-Jun-2025 17:40 2052016
libcoq-coqprime_8.20.1-1build5_riscv64.deb 20-Jun-2025 20:57 2051754
libcoq-coqprime_8.20.1-1build5_s390x.deb 20-Jun-2025 17:40 2051964
libcoq-coqprime_8.20.1-1build8_arm64.deb 04-Mar-2026 17:34 2051620
libcoq-coqprime_8.20.1-1build8_ppc64el.deb 04-Mar-2026 17:34 2051922
libcoq-coqprime_8.20.1-1build8_riscv64.deb 04-Mar-2026 22:18 2051558
libcoq-coqprime_8.20.1-1build8_s390x.deb 04-Mar-2026 17:35 2051646
libcoq-coqprime_8.20.1-1build9_arm64.deb 09-Jul-2026 20:11 2051868
libcoq-coqprime_8.20.1-1build9_ppc64el.deb 09-Jul-2026 16:43 2052150
libcoq-coqprime_8.20.1-1build9_riscv64.deb 09-Jul-2026 17:27 2051930
libcoq-coqprime_8.20.1-1build9_s390x.deb 09-Jul-2026 18:42 2051832