Index of /ubuntu/pool/universe/p/paramcoq/
../ libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb 13-Jun-2022 00:24 25K libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb 13-Jun-2022 00:24 108K libcoq-paramcoq_1.1.3+coq8.16-2build2_amd64.deb 03-Dec-2022 16:59 126K libcoq-paramcoq_1.1.3+coq8.16-3build1_amd64.deb 26-Jan-2023 20:54 127K 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.18-1_amd64.deb 23-Dec-2023 07:12 146K libcoq-paramcoq_1.1.3-7_amd64.deb 13-Jun-2022 00:24 3062 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz 03-Dec-2022 16:59 2940 paramcoq_1.1.3+coq8.16-2build2.dsc 03-Dec-2022 16:59 2105 paramcoq_1.1.3+coq8.16-3.debian.tar.xz 26-Jan-2023 01:16 2892 paramcoq_1.1.3+coq8.16-3.dsc 26-Jan-2023 01:16 2111 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz 26-Jan-2023 20:54 2960 paramcoq_1.1.3+coq8.16-3build1.dsc 26-Jan-2023 20:54 2110 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.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.orig.tar.gz 23-Dec-2023 00:26 45K paramcoq_1.1.3-7.debian.tar.xz 13-Jun-2022 00:23 2936 paramcoq_1.1.3-7.dsc 13-Jun-2022 00:23 2182 paramcoq_1.1.3.orig.tar.gz 16-May-2022 06:29 45K