Index of /ubuntu-ports/pool/universe/c/coq-record-update/

Index of /ubuntu-ports/pool/universe/c/coq-record-update/


../
coq-record-update_0.3.1-1.debian.tar.xz            19-Jul-2022 06:49    1820
coq-record-update_0.3.1-1.dsc                      19-Jul-2022 06:48    2143
coq-record-update_0.3.1-1build3.debian.tar.xz      03-Dec-2022 16:59    1936
coq-record-update_0.3.1-1build3.dsc                03-Dec-2022 16:59    2142
coq-record-update_0.3.1-2.debian.tar.xz            25-Jan-2023 18:49    1872
coq-record-update_0.3.1-2.dsc                      25-Jan-2023 18:49    2148
coq-record-update_0.3.1-2build1.debian.tar.xz      26-Jan-2023 20:54    1944
coq-record-update_0.3.1-2build1.dsc                26-Jan-2023 20:54    2147
coq-record-update_0.3.1-2build2.debian.tar.xz      17-Feb-2023 01:50    1964
coq-record-update_0.3.1-2build2.dsc                17-Feb-2023 01:50    2147
coq-record-update_0.3.1.orig.tar.gz                19-Jul-2022 06:49     13K
libcoq-record-update_0.3.1-1_arm64.deb             19-Jul-2022 07:45     15K
libcoq-record-update_0.3.1-1_armhf.deb             19-Jul-2022 07:45     15K
libcoq-record-update_0.3.1-1_ppc64el.deb           19-Jul-2022 08:09     15K
libcoq-record-update_0.3.1-1_riscv64.deb           19-Jul-2022 08:49     15K
libcoq-record-update_0.3.1-1_s390x.deb             19-Jul-2022 08:09     15K
libcoq-record-update_0.3.1-1build3_arm64.deb       03-Dec-2022 16:59     15K
libcoq-record-update_0.3.1-1build3_armhf.deb       03-Dec-2022 16:59     15K
libcoq-record-update_0.3.1-1build3_ppc64el.deb     03-Dec-2022 16:59     15K
libcoq-record-update_0.3.1-1build3_riscv64.deb     03-Dec-2022 17:18     15K
libcoq-record-update_0.3.1-1build3_s390x.deb       03-Dec-2022 16:59     15K
libcoq-record-update_0.3.1-2build1_arm64.deb       26-Jan-2023 20:54     15K
libcoq-record-update_0.3.1-2build1_armhf.deb       26-Jan-2023 20:54     15K
libcoq-record-update_0.3.1-2build1_ppc64el.deb     26-Jan-2023 20:54     15K
libcoq-record-update_0.3.1-2build1_riscv64.deb     26-Jan-2023 23:39     15K
libcoq-record-update_0.3.1-2build1_s390x.deb       26-Jan-2023 20:54     15K
libcoq-record-update_0.3.1-2build2_arm64.deb       17-Feb-2023 01:50     15K
libcoq-record-update_0.3.1-2build2_armhf.deb       17-Feb-2023 01:50     15K
libcoq-record-update_0.3.1-2build2_ppc64el.deb     17-Feb-2023 01:50     15K
libcoq-record-update_0.3.1-2build2_riscv64.deb     17-Feb-2023 02:44     15K
libcoq-record-update_0.3.1-2build2_s390x.deb       17-Feb-2023 01:50     15K