Index of /ubuntu-ports/pool/universe/c/coq-stdpp/

Index of /ubuntu-ports/pool/universe/c/coq-stdpp/


../
coq-stdpp_1.8.0-1.debian.tar.xz                    20-Aug-2022 00:34    2300
coq-stdpp_1.8.0-1.dsc                              20-Aug-2022 00:34    2036
coq-stdpp_1.8.0-2build3.debian.tar.xz              03-Dec-2022 16:59    2444
coq-stdpp_1.8.0-2build3.dsc                        03-Dec-2022 16:59    2050
coq-stdpp_1.8.0-3.debian.tar.xz                    26-Jan-2023 01:17    2392
coq-stdpp_1.8.0-3.dsc                              26-Jan-2023 01:17    2056
coq-stdpp_1.8.0-3build1.debian.tar.xz              26-Jan-2023 20:54    2456
coq-stdpp_1.8.0-3build1.dsc                        26-Jan-2023 20:54    2055
coq-stdpp_1.8.0-3build2.debian.tar.xz              17-Feb-2023 01:50    2468
coq-stdpp_1.8.0-3build2.dsc                        17-Feb-2023 01:50    2055
coq-stdpp_1.8.0.orig.tar.gz                        20-Aug-2022 00:34    249K
libcoq-stdpp_1.8.0-1_arm64.deb                     20-Aug-2022 01:24      4M
libcoq-stdpp_1.8.0-1_armhf.deb                     20-Aug-2022 00:34      4M
libcoq-stdpp_1.8.0-1_ppc64el.deb                   20-Aug-2022 00:34      4M
libcoq-stdpp_1.8.0-1_riscv64.deb                   20-Aug-2022 02:03      4M
libcoq-stdpp_1.8.0-1_s390x.deb                     20-Aug-2022 00:34      4M
libcoq-stdpp_1.8.0-2build3_arm64.deb               03-Dec-2022 17:18      4M
libcoq-stdpp_1.8.0-2build3_armhf.deb               03-Dec-2022 17:18      4M
libcoq-stdpp_1.8.0-2build3_ppc64el.deb             03-Dec-2022 16:59      4M
libcoq-stdpp_1.8.0-2build3_riscv64.deb             03-Dec-2022 17:58      4M
libcoq-stdpp_1.8.0-2build3_s390x.deb               03-Dec-2022 16:59      4M
libcoq-stdpp_1.8.0-3build1_arm64.deb               26-Jan-2023 20:54      4M
libcoq-stdpp_1.8.0-3build1_armhf.deb               26-Jan-2023 20:54      4M
libcoq-stdpp_1.8.0-3build1_ppc64el.deb             26-Jan-2023 20:54      4M
libcoq-stdpp_1.8.0-3build1_riscv64.deb             27-Jan-2023 00:29      4M
libcoq-stdpp_1.8.0-3build1_s390x.deb               26-Jan-2023 20:54      4M
libcoq-stdpp_1.8.0-3build2_arm64.deb               17-Feb-2023 02:44      4M
libcoq-stdpp_1.8.0-3build2_armhf.deb               17-Feb-2023 02:44      4M
libcoq-stdpp_1.8.0-3build2_ppc64el.deb             17-Feb-2023 01:50      4M
libcoq-stdpp_1.8.0-3build2_riscv64.deb             17-Feb-2023 03:13      4M
libcoq-stdpp_1.8.0-3build2_s390x.deb               17-Feb-2023 01:51      4M