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

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