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.20.1-1build4_arm64.deb            19-Feb-2025 17:01              185434
coqprime-tools_8.20.1-1build5_arm64.deb            20-Jun-2025 17:40              185936
coqprime-tools_8.20.1-1build6_arm64.deb            06-Jan-2026 00:09              188216
coqprime-tools_8.20.1-1build7_arm64.deb            30-Jan-2026 09:04              188364
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-1build6.debian.tar.xz              05-Jan-2026 20:02                3676
coqprime_8.20.1-1build6.dsc                        05-Jan-2026 20:02                2165
coqprime_8.20.1-1build7.debian.tar.xz              29-Jan-2026 19:54                3684
coqprime_8.20.1-1build7.dsc                        29-Jan-2026 19:54                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.20.1-1build4_arm64.deb           19-Feb-2025 17:01             2059940
libcoq-coqprime_8.20.1-1build5_arm64.deb           20-Jun-2025 17:40             2051624
libcoq-coqprime_8.20.1-1build6_arm64.deb           06-Jan-2026 00:09             2051492
libcoq-coqprime_8.20.1-1build7_arm64.deb           30-Jan-2026 09:04             2051866