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

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


../
coq-extructures_0.3.1-2.debian.tar.xz              01-Aug-2022 00:29    1964
coq-extructures_0.3.1-2.dsc                        01-Aug-2022 00:29    2161
coq-extructures_0.3.1-2build2.debian.tar.xz        03-Dec-2022 19:29    2064
coq-extructures_0.3.1-2build2.dsc                  03-Dec-2022 19:29    2160
coq-extructures_0.3.1-2build3.debian.tar.xz        27-Jan-2023 14:14    2080
coq-extructures_0.3.1-2build3.dsc                  27-Jan-2023 14:14    2160
coq-extructures_0.3.1-3.debian.tar.xz              27-Jan-2023 18:55    2016
coq-extructures_0.3.1-3.dsc                        27-Jan-2023 18:55    2166
coq-extructures_0.3.1-3build2.debian.tar.xz        17-Feb-2023 01:50    2104
coq-extructures_0.3.1-3build2.dsc                  17-Feb-2023 01:50    2165
coq-extructures_0.3.1.orig.tar.gz                  19-Jul-2022 06:49     37K
libcoq-extructures_0.3.1-2_arm64.deb               01-Aug-2022 00:29    654K
libcoq-extructures_0.3.1-2_armhf.deb               01-Aug-2022 00:29    654K
libcoq-extructures_0.3.1-2_ppc64el.deb             01-Aug-2022 00:29    654K
libcoq-extructures_0.3.1-2_riscv64.deb             01-Aug-2022 01:18    654K
libcoq-extructures_0.3.1-2_s390x.deb               01-Aug-2022 00:29    654K
libcoq-extructures_0.3.1-2build2_arm64.deb         03-Dec-2022 23:14    654K
libcoq-extructures_0.3.1-2build2_armhf.deb         03-Dec-2022 23:14    654K
libcoq-extructures_0.3.1-2build2_ppc64el.deb       03-Dec-2022 21:54    654K
libcoq-extructures_0.3.1-2build2_riscv64.deb       04-Dec-2022 03:33    654K
libcoq-extructures_0.3.1-2build2_s390x.deb         03-Dec-2022 21:54    654K
libcoq-extructures_0.3.1-2build3_arm64.deb         27-Jan-2023 14:14    654K
libcoq-extructures_0.3.1-2build3_armhf.deb         27-Jan-2023 14:14    654K
libcoq-extructures_0.3.1-2build3_ppc64el.deb       27-Jan-2023 14:14    654K
libcoq-extructures_0.3.1-2build3_riscv64.deb       27-Jan-2023 16:04    655K
libcoq-extructures_0.3.1-2build3_s390x.deb         27-Jan-2023 14:14    655K
libcoq-extructures_0.3.1-3_arm64.deb               27-Jan-2023 18:55    654K
libcoq-extructures_0.3.1-3_armhf.deb               27-Jan-2023 18:55    654K
libcoq-extructures_0.3.1-3_ppc64el.deb             27-Jan-2023 18:55    654K
libcoq-extructures_0.3.1-3_riscv64.deb             27-Jan-2023 19:23    654K
libcoq-extructures_0.3.1-3_s390x.deb               27-Jan-2023 18:55    654K
libcoq-extructures_0.3.1-3build2_arm64.deb         17-Feb-2023 01:50    654K
libcoq-extructures_0.3.1-3build2_armhf.deb         17-Feb-2023 03:44    654K
libcoq-extructures_0.3.1-3build2_ppc64el.deb       17-Feb-2023 02:44    654K
libcoq-extructures_0.3.1-3build2_riscv64.deb       17-Feb-2023 11:39    654K
libcoq-extructures_0.3.1-3build2_s390x.deb         17-Feb-2023 03:44    654K