Index of /ubuntu-ports/pool/universe/c/coq-reduction-effects/

Index of /ubuntu-ports/pool/universe/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.4-1.debian.tar.xz        13-Aug-2022 18:24    1472
coq-reduction-effects_0.1.4-1.dsc                  13-Aug-2022 18:24    2199
coq-reduction-effects_0.1.4-2build3.debian.tar.xz  03-Dec-2022 16:59    1628
coq-reduction-effects_0.1.4-2build3.dsc            03-Dec-2022 16:59    2208
coq-reduction-effects_0.1.4-3.debian.tar.xz        25-Jan-2023 18:49    1572
coq-reduction-effects_0.1.4-3.dsc                  25-Jan-2023 18:49    2214
coq-reduction-effects_0.1.4-3build1.debian.tar.xz  26-Jan-2023 20:54    1644
coq-reduction-effects_0.1.4-3build1.dsc            26-Jan-2023 20:54    2213
coq-reduction-effects_0.1.4-3build2.debian.tar.xz  17-Feb-2023 01:50    1656
coq-reduction-effects_0.1.4-3build2.dsc            17-Feb-2023 01:50    2213
coq-reduction-effects_0.1.4.orig.tar.gz            13-Aug-2022 18:24     10K
libcoq-reduction-effects_0.1.4-1_arm64.deb         13-Aug-2022 18:24     14K
libcoq-reduction-effects_0.1.4-1_armhf.deb         13-Aug-2022 18:24     13K
libcoq-reduction-effects_0.1.4-1_ppc64el.deb       13-Aug-2022 18:24     14K
libcoq-reduction-effects_0.1.4-1_riscv64.deb       13-Aug-2022 19:14     13K
libcoq-reduction-effects_0.1.4-1_s390x.deb         14-Aug-2022 00:19     13K
libcoq-reduction-effects_0.1.4-2build3_arm64.deb   03-Dec-2022 16:59     14K
libcoq-reduction-effects_0.1.4-2build3_armhf.deb   03-Dec-2022 16:59     14K
libcoq-reduction-effects_0.1.4-2build3_ppc64el.deb 03-Dec-2022 16:59     14K
libcoq-reduction-effects_0.1.4-2build3_riscv64.deb 03-Dec-2022 17:18     14K
libcoq-reduction-effects_0.1.4-2build3_s390x.deb   03-Dec-2022 16:59     14K
libcoq-reduction-effects_0.1.4-3build1_arm64.deb   26-Jan-2023 20:54     15K
libcoq-reduction-effects_0.1.4-3build1_armhf.deb   26-Jan-2023 20:54     14K
libcoq-reduction-effects_0.1.4-3build1_ppc64el.deb 26-Jan-2023 20:54     14K
libcoq-reduction-effects_0.1.4-3build1_riscv64.deb 26-Jan-2023 23:39     14K
libcoq-reduction-effects_0.1.4-3build1_s390x.deb   26-Jan-2023 20:54     14K
libcoq-reduction-effects_0.1.4-3build2_arm64.deb   17-Feb-2023 01:50     14K
libcoq-reduction-effects_0.1.4-3build2_armhf.deb   17-Feb-2023 01:50     14K
libcoq-reduction-effects_0.1.4-3build2_ppc64el.deb 17-Feb-2023 01:50     14K
libcoq-reduction-effects_0.1.4-3build2_riscv64.deb 17-Feb-2023 02:44     14K
libcoq-reduction-effects_0.1.4-3build2_s390x.deb   17-Feb-2023 01:50     14K