Index of /ubuntu/pool/universe/p/paramcoq/
../
libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb 17-Feb-2023 01:50 126K
libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb 26-Jul-2023 01:49 126K
libcoq-paramcoq_1.1.3+coq8.17-2build1_amd64.deb 06-Nov-2023 23:44 126K
libcoq-paramcoq_1.1.3+coq8.17-2build2_amd64.deb 23-Nov-2023 07:05 126K
libcoq-paramcoq_1.1.3+coq8.18-1_amd64.deb 23-Dec-2023 07:12 146K
libcoq-paramcoq_1.1.3+coq8.18-1build1_amd64.deb 24-Mar-2024 07:53 127K
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb 01-Apr-2024 13:51 127K
libcoq-paramcoq_1.1.3+coq8.19-1_amd64.deb 03-May-2024 10:29 120K
libcoq-paramcoq_1.1.3+coq8.19-1build1_amd64.deb 15-Jun-2024 22:23 116K
libcoq-paramcoq_1.1.3+coq8.19-2_amd64.deb 04-Aug-2024 18:34 116K
libcoq-paramcoq_1.1.3+coq8.19-2build1_amd64.deb 07-Sep-2024 01:54 121K
libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb 07-Sep-2024 22:44 121K
libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb 21-Nov-2024 06:31 121K
libcoq-paramcoq_1.1.3+coq8.20-1build1_amd64.deb 02-Feb-2025 09:04 121K
libcoq-paramcoq_1.1.3+coq8.20-1build2_amd64.deb 14-Feb-2025 07:54 121K
libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb 19-Feb-2025 04:25 121K
libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb 20-Jun-2025 20:23 121K
paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz 17-Feb-2023 01:50 2964
paramcoq_1.1.3+coq8.16-3build2.dsc 17-Feb-2023 01:50 2110
paramcoq_1.1.3+coq8.16.orig.tar.gz 06-Nov-2022 10:01 45K
paramcoq_1.1.3+coq8.17-2.debian.tar.xz 26-Jul-2023 00:54 3048
paramcoq_1.1.3+coq8.17-2.dsc 26-Jul-2023 00:54 2111
paramcoq_1.1.3+coq8.17-2build1.debian.tar.xz 06-Nov-2023 23:44 3112
paramcoq_1.1.3+coq8.17-2build1.dsc 06-Nov-2023 23:44 2110
paramcoq_1.1.3+coq8.17-2build2.debian.tar.xz 23-Nov-2023 07:05 3132
paramcoq_1.1.3+coq8.17-2build2.dsc 23-Nov-2023 07:05 2110
paramcoq_1.1.3+coq8.17.orig.tar.gz 13-Jun-2023 12:30 45K
paramcoq_1.1.3+coq8.18-1.debian.tar.xz 23-Dec-2023 00:26 3092
paramcoq_1.1.3+coq8.18-1.dsc 23-Dec-2023 00:26 2111
paramcoq_1.1.3+coq8.18-1build1.debian.tar.xz 24-Mar-2024 07:53 3192
paramcoq_1.1.3+coq8.18-1build1.dsc 24-Mar-2024 07:53 2226
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz 01-Apr-2024 12:43 3244
paramcoq_1.1.3+coq8.18-1build2.dsc 01-Apr-2024 12:43 2189
paramcoq_1.1.3+coq8.18-1build3.debian.tar.xz 03-May-2024 03:28 3312
paramcoq_1.1.3+coq8.18-1build3.dsc 03-May-2024 03:28 2189
paramcoq_1.1.3+coq8.18.orig.tar.gz 23-Dec-2023 00:26 45K
paramcoq_1.1.3+coq8.19-1.debian.tar.xz 03-May-2024 08:49 3096
paramcoq_1.1.3+coq8.19-1.dsc 03-May-2024 08:49 2111
paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz 15-Jun-2024 21:43 3168
paramcoq_1.1.3+coq8.19-1build1.dsc 15-Jun-2024 21:43 2110
paramcoq_1.1.3+coq8.19-2.debian.tar.xz 04-Aug-2024 18:34 3168
paramcoq_1.1.3+coq8.19-2.dsc 04-Aug-2024 18:34 1887
paramcoq_1.1.3+coq8.19-2build1.debian.tar.xz 21-Aug-2024 16:17 3244
paramcoq_1.1.3+coq8.19-2build1.dsc 21-Aug-2024 16:17 2110
paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz 07-Sep-2024 22:43 3320
paramcoq_1.1.3+coq8.19-2build2.dsc 07-Sep-2024 22:43 2110
paramcoq_1.1.3+coq8.19.orig.tar.gz 03-May-2024 08:49 45K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz 21-Nov-2024 01:47 3184
paramcoq_1.1.3+coq8.20-1.dsc 21-Nov-2024 01:47 2111
paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz 02-Feb-2025 09:04 3256
paramcoq_1.1.3+coq8.20-1build1.dsc 02-Feb-2025 09:04 2110
paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz 14-Feb-2025 07:54 3344
paramcoq_1.1.3+coq8.20-1build2.dsc 14-Feb-2025 07:54 2110
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz 19-Feb-2025 04:25 3380
paramcoq_1.1.3+coq8.20-1build3.dsc 19-Feb-2025 04:25 2110
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz 20-Jun-2025 20:22 3412
paramcoq_1.1.3+coq8.20-1build4.dsc 20-Jun-2025 20:22 2110
paramcoq_1.1.3+coq8.20.orig.tar.gz 21-Nov-2024 01:47 45K