Index of /ubuntu/pool/universe/p/paramcoq/
../
libcoq-paramcoq-ocaml-dev_1.1.3-5_amd64.deb 03-Jun-2022 23:24 25956
libcoq-paramcoq-ocaml-dev_1.1.3-6_amd64.deb 08-Jun-2022 17:49 25966
libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb 12-Jun-2022 17:24 25972
libcoq-paramcoq-ocaml_1.1.3-5_amd64.deb 03-Jun-2022 23:24 109226
libcoq-paramcoq-ocaml_1.1.3-6_amd64.deb 08-Jun-2022 17:49 109216
libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb 12-Jun-2022 17:24 110384
libcoq-paramcoq_1.1.3+coq8.16-2_amd64.deb 06-Nov-2022 05:39 129150
libcoq-paramcoq_1.1.3+coq8.16-2build1_amd64.deb 25-Nov-2022 11:34 129234
libcoq-paramcoq_1.1.3+coq8.16-2build2_amd64.deb 03-Dec-2022 09:59 129162
libcoq-paramcoq_1.1.3+coq8.16-3build1_amd64.deb 26-Jan-2023 13:54 129830
libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb 16-Feb-2023 18:50 129120
libcoq-paramcoq_1.1.3+coq8.17-1_amd64.deb 13-Jun-2023 05:30 129364
libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb 25-Jul-2023 18:49 129402
libcoq-paramcoq_1.1.3+coq8.18-1_amd64.deb 23-Dec-2023 00:12 149890
libcoq-paramcoq_1.1.3-1_amd64.deb 16-May-2022 09:20 125576
libcoq-paramcoq_1.1.3-2_amd64.deb 18-May-2022 05:29 125664
libcoq-paramcoq_1.1.3-3_amd64.deb 22-May-2022 23:35 125718
libcoq-paramcoq_1.1.3-3build1_amd64.deb 01-Jun-2022 16:09 125818
libcoq-paramcoq_1.1.3-4_amd64.deb 01-Jun-2022 17:34 125730
libcoq-paramcoq_1.1.3-5_amd64.deb 03-Jun-2022 23:24 2934
libcoq-paramcoq_1.1.3-6_amd64.deb 08-Jun-2022 17:49 2938
libcoq-paramcoq_1.1.3-7_amd64.deb 12-Jun-2022 17:24 3062
paramcoq_1.1.3+coq8.16-2.debian.tar.xz 06-Nov-2022 03:01 2844
paramcoq_1.1.3+coq8.16-2.dsc 06-Nov-2022 03:01 2106
paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz 25-Nov-2022 11:34 2924
paramcoq_1.1.3+coq8.16-2build1.dsc 25-Nov-2022 11:34 2105
paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz 03-Dec-2022 09:59 2940
paramcoq_1.1.3+coq8.16-2build2.dsc 03-Dec-2022 09:59 2105
paramcoq_1.1.3+coq8.16-3.debian.tar.xz 25-Jan-2023 18:16 2892
paramcoq_1.1.3+coq8.16-3.dsc 25-Jan-2023 18:16 2111
paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz 26-Jan-2023 13:54 2960
paramcoq_1.1.3+coq8.16-3build1.dsc 26-Jan-2023 13:54 2110
paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz 16-Feb-2023 18:50 2964
paramcoq_1.1.3+coq8.16-3build2.dsc 16-Feb-2023 18:50 2110
paramcoq_1.1.3+coq8.16.orig.tar.gz 06-Nov-2022 03:01 45732
paramcoq_1.1.3+coq8.17-1.debian.tar.xz 13-Jun-2023 05:30 3024
paramcoq_1.1.3+coq8.17-1.dsc 13-Jun-2023 05:30 2121
paramcoq_1.1.3+coq8.17-2.debian.tar.xz 25-Jul-2023 17:54 3048
paramcoq_1.1.3+coq8.17-2.dsc 25-Jul-2023 17:54 2111
paramcoq_1.1.3+coq8.17.orig.tar.gz 13-Jun-2023 05:30 45683
paramcoq_1.1.3+coq8.18-1.debian.tar.xz 22-Dec-2023 17:26 3092
paramcoq_1.1.3+coq8.18-1.dsc 22-Dec-2023 17:26 2111
paramcoq_1.1.3+coq8.18.orig.tar.gz 22-Dec-2023 17:26 45759
paramcoq_1.1.3-1.debian.tar.xz 15-May-2022 23:29 2544
paramcoq_1.1.3-1.dsc 15-May-2022 23:29 2003
paramcoq_1.1.3-2.debian.tar.xz 18-May-2022 05:29 2600
paramcoq_1.1.3-2.dsc 18-May-2022 05:29 2003
paramcoq_1.1.3-3.debian.tar.xz 22-May-2022 23:35 2644
paramcoq_1.1.3-3.dsc 22-May-2022 23:35 2003
paramcoq_1.1.3-3build1.debian.tar.xz 01-Jun-2022 16:08 2712
paramcoq_1.1.3-3build1.dsc 01-Jun-2022 16:08 2002
paramcoq_1.1.3-4.debian.tar.xz 01-Jun-2022 17:34 2648
paramcoq_1.1.3-4.dsc 01-Jun-2022 17:34 2003
paramcoq_1.1.3-5.debian.tar.xz 03-Jun-2022 23:24 2868
paramcoq_1.1.3-5.dsc 03-Jun-2022 23:24 2159
paramcoq_1.1.3-6.debian.tar.xz 08-Jun-2022 17:49 2948
paramcoq_1.1.3-6.dsc 08-Jun-2022 17:49 2159
paramcoq_1.1.3-7.debian.tar.xz 12-Jun-2022 17:23 2936
paramcoq_1.1.3-7.dsc 12-Jun-2022 17:23 2182
paramcoq_1.1.3.orig.tar.gz 15-May-2022 23:29 45726