Index of /ubuntu/pool/universe/p/paramcoq/

Index of /ubuntu/pool/universe/p/paramcoq/


../
libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb        12-Jun-2022 17:24               25972
libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb            12-Jun-2022 17:24              110384
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-7_amd64.deb                  12-Jun-2022 17:24                3062
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.orig.tar.gz                 06-Nov-2022 03:01               45732
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