Index of /ubuntu-ports/pool/universe/p/paramcoq/
../ libcoq-paramcoq-ocaml-dev_1.1.3-7_arm64.deb 13-Jun-2022 00:24 25K libcoq-paramcoq-ocaml-dev_1.1.3-7_armhf.deb 13-Jun-2022 00:24 25K libcoq-paramcoq-ocaml-dev_1.1.3-7_ppc64el.deb 13-Jun-2022 00:44 25K libcoq-paramcoq-ocaml-dev_1.1.3-7_riscv64.deb 13-Jun-2022 00:44 25K libcoq-paramcoq-ocaml-dev_1.1.3-7_s390x.deb 13-Jun-2022 00:44 25K libcoq-paramcoq-ocaml_1.1.3-7_arm64.deb 13-Jun-2022 00:24 126K libcoq-paramcoq-ocaml_1.1.3-7_armhf.deb 13-Jun-2022 00:24 107K libcoq-paramcoq-ocaml_1.1.3-7_ppc64el.deb 13-Jun-2022 00:44 115K libcoq-paramcoq-ocaml_1.1.3-7_riscv64.deb 13-Jun-2022 00:44 109K libcoq-paramcoq-ocaml_1.1.3-7_s390x.deb 13-Jun-2022 00:44 114K libcoq-paramcoq_1.1.3+coq8.16-2build2_arm64.deb 03-Dec-2022 16:59 144K libcoq-paramcoq_1.1.3+coq8.16-2build2_armhf.deb 03-Dec-2022 17:18 125K libcoq-paramcoq_1.1.3+coq8.16-2build2_ppc64el.deb 03-Dec-2022 16:59 132K libcoq-paramcoq_1.1.3+coq8.16-2build2_riscv64.deb 03-Dec-2022 17:18 128K libcoq-paramcoq_1.1.3+coq8.16-2build2_s390x.deb 03-Dec-2022 16:59 132K libcoq-paramcoq_1.1.3+coq8.16-3build1_arm64.deb 26-Jan-2023 20:54 145K libcoq-paramcoq_1.1.3+coq8.16-3build1_armhf.deb 26-Jan-2023 20:54 124K libcoq-paramcoq_1.1.3+coq8.16-3build1_ppc64el.deb 26-Jan-2023 20:54 132K libcoq-paramcoq_1.1.3+coq8.16-3build1_riscv64.deb 26-Jan-2023 23:39 128K libcoq-paramcoq_1.1.3+coq8.16-3build1_s390x.deb 26-Jan-2023 20:54 132K libcoq-paramcoq_1.1.3+coq8.16-3build2_arm64.deb 17-Feb-2023 01:50 144K libcoq-paramcoq_1.1.3+coq8.16-3build2_armhf.deb 17-Feb-2023 01:50 124K libcoq-paramcoq_1.1.3+coq8.16-3build2_ppc64el.deb 17-Feb-2023 01:50 132K libcoq-paramcoq_1.1.3+coq8.16-3build2_riscv64.deb 17-Feb-2023 02:44 128K libcoq-paramcoq_1.1.3+coq8.16-3build2_s390x.deb 17-Feb-2023 01:50 132K libcoq-paramcoq_1.1.3-7_arm64.deb 13-Jun-2022 00:24 3064 libcoq-paramcoq_1.1.3-7_armhf.deb 13-Jun-2022 00:24 3056 libcoq-paramcoq_1.1.3-7_ppc64el.deb 13-Jun-2022 00:44 3054 libcoq-paramcoq_1.1.3-7_riscv64.deb 13-Jun-2022 00:44 3056 libcoq-paramcoq_1.1.3-7_s390x.deb 13-Jun-2022 00:44 3060 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-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