Index of /ubuntu/pool/universe/c/coqprime/
../
coqprime-tools_8.15-1_amd64.deb 19-Jul-2022 01:08 179994
coqprime-tools_8.15-1build1_amd64.deb 25-Nov-2022 18:41 180392
coqprime-tools_8.15-1build2_amd64.deb 03-Dec-2022 12:29 180508
coqprime-tools_8.15-1build3_amd64.deb 31-Dec-2022 12:04 180092
coqprime-tools_8.15-2_amd64.deb 26-Jan-2023 17:29 180156
coqprime-tools_8.15-2build2_amd64.deb 17-Feb-2023 07:29 180024
coqprime-tools_8.17-1_amd64.deb 13-Jun-2023 11:34 176800
coqprime-tools_8.17-1build1_amd64.deb 26-Jul-2023 07:55 176548
coqprime-tools_8.18-1_amd64.deb 23-Dec-2023 17:56 389252
coqprime-tools_8.18-1build1_amd64.deb 24-Mar-2024 07:47 179208
coqprime_8.15-1.debian.tar.xz 18-Jul-2022 23:48 3512
coqprime_8.15-1.dsc 18-Jul-2022 23:48 2144
coqprime_8.15-1build1.debian.tar.xz 25-Nov-2022 18:40 3600
coqprime_8.15-1build1.dsc 25-Nov-2022 18:40 2143
coqprime_8.15-1build2.debian.tar.xz 03-Dec-2022 12:29 3616
coqprime_8.15-1build2.dsc 03-Dec-2022 12:29 2143
coqprime_8.15-1build3.debian.tar.xz 31-Dec-2022 12:04 3624
coqprime_8.15-1build3.dsc 31-Dec-2022 12:04 2143
coqprime_8.15-2.debian.tar.xz 26-Jan-2023 17:29 3576
coqprime_8.15-2.dsc 26-Jan-2023 17:29 2149
coqprime_8.15-2build2.debian.tar.xz 17-Feb-2023 07:29 3660
coqprime_8.15-2build2.dsc 17-Feb-2023 07:29 2148
coqprime_8.15-2build3.debian.tar.xz 13-Jun-2023 09:04 3680
coqprime_8.15-2build3.dsc 13-Jun-2023 09:04 2148
coqprime_8.15.orig.tar.gz 18-Jul-2022 23:48 987167
coqprime_8.17-1.debian.tar.xz 13-Jun-2023 11:34 3144
coqprime_8.17-1.dsc 13-Jun-2023 11:34 2149
coqprime_8.17-1build1.debian.tar.xz 26-Jul-2023 05:19 3212
coqprime_8.17-1build1.dsc 26-Jul-2023 05:19 2148
coqprime_8.17.orig.tar.gz 13-Jun-2023 11:34 996033
coqprime_8.18-1.debian.tar.xz 23-Dec-2023 17:16 3288
coqprime_8.18-1.dsc 23-Dec-2023 17:16 2149
coqprime_8.18-1build1.debian.tar.xz 24-Mar-2024 00:53 3408
coqprime_8.18-1build1.dsc 24-Mar-2024 00:53 2264
coqprime_8.18.orig.tar.gz 23-Dec-2023 17:16 996567
libcoq-coqprime_8.15-1_amd64.deb 19-Jul-2022 01:08 1902992
libcoq-coqprime_8.15-1build1_amd64.deb 25-Nov-2022 18:41 1910420
libcoq-coqprime_8.15-1build2_amd64.deb 03-Dec-2022 12:29 1911742
libcoq-coqprime_8.15-1build3_amd64.deb 31-Dec-2022 12:04 1910146
libcoq-coqprime_8.15-2_amd64.deb 26-Jan-2023 17:29 1910432
libcoq-coqprime_8.15-2build2_amd64.deb 17-Feb-2023 07:29 1908800
libcoq-coqprime_8.17-1_amd64.deb 13-Jun-2023 11:34 2029352
libcoq-coqprime_8.17-1build1_amd64.deb 26-Jul-2023 07:55 2029430
libcoq-coqprime_8.18-1_amd64.deb 23-Dec-2023 17:56 2524220
libcoq-coqprime_8.18-1build1_amd64.deb 24-Mar-2024 07:47 2020948