Index of /ubuntu-ports/pool/universe/o/ott/
../ libcoq-ott_0.32+ds-2_arm64.deb 12-Jul-2022 09:29 180K libcoq-ott_0.32+ds-2_armhf.deb 30-Jul-2022 04:18 180K libcoq-ott_0.32+ds-2_ppc64el.deb 12-Jul-2022 09:29 180K libcoq-ott_0.32+ds-2_riscv64.deb 12-Jul-2022 09:30 180K libcoq-ott_0.32+ds-2_s390x.deb 30-Jul-2022 05:04 180K libcoq-ott_0.32+ds-2build2_arm64.deb 04-Dec-2022 02:54 181K libcoq-ott_0.32+ds-2build2_armhf.deb 04-Dec-2022 02:54 181K libcoq-ott_0.32+ds-2build2_ppc64el.deb 04-Dec-2022 02:54 181K libcoq-ott_0.32+ds-2build2_riscv64.deb 04-Dec-2022 03:13 181K libcoq-ott_0.32+ds-2build2_s390x.deb 04-Dec-2022 02:54 181K libcoq-ott_0.32+ds-3build1_arm64.deb 27-Jan-2023 16:04 181K libcoq-ott_0.32+ds-3build1_armhf.deb 27-Jan-2023 16:04 181K libcoq-ott_0.32+ds-3build1_ppc64el.deb 27-Jan-2023 16:04 181K libcoq-ott_0.32+ds-3build1_riscv64.deb 27-Jan-2023 16:53 181K libcoq-ott_0.32+ds-3build1_s390x.deb 27-Jan-2023 16:04 181K libcoq-ott_0.32+ds-3build2_arm64.deb 17-Feb-2023 02:44 181K libcoq-ott_0.32+ds-3build2_armhf.deb 17-Feb-2023 02:44 181K libcoq-ott_0.32+ds-3build2_ppc64el.deb 17-Feb-2023 01:50 181K libcoq-ott_0.32+ds-3build2_riscv64.deb 17-Feb-2023 03:13 181K libcoq-ott_0.32+ds-3build2_s390x.deb 17-Feb-2023 02:44 181K ott-tools_0.32+ds-2_arm64.deb 12-Jul-2022 09:29 2M ott-tools_0.32+ds-2_armhf.deb 30-Jul-2022 04:18 1M ott-tools_0.32+ds-2_ppc64el.deb 12-Jul-2022 09:29 2M ott-tools_0.32+ds-2_riscv64.deb 12-Jul-2022 09:30 1M ott-tools_0.32+ds-2_s390x.deb 30-Jul-2022 05:04 1M ott-tools_0.32+ds-2build2_arm64.deb 04-Dec-2022 02:54 2M ott-tools_0.32+ds-2build2_armhf.deb 04-Dec-2022 02:54 1M ott-tools_0.32+ds-2build2_ppc64el.deb 04-Dec-2022 02:54 2M ott-tools_0.32+ds-2build2_riscv64.deb 04-Dec-2022 03:13 1M ott-tools_0.32+ds-2build2_s390x.deb 04-Dec-2022 02:54 1M ott-tools_0.32+ds-3build1_arm64.deb 27-Jan-2023 16:04 2M ott-tools_0.32+ds-3build1_armhf.deb 27-Jan-2023 16:04 1M ott-tools_0.32+ds-3build1_ppc64el.deb 27-Jan-2023 16:04 2M ott-tools_0.32+ds-3build1_riscv64.deb 27-Jan-2023 16:53 1M ott-tools_0.32+ds-3build1_s390x.deb 27-Jan-2023 16:04 1M ott-tools_0.32+ds-3build2_arm64.deb 17-Feb-2023 02:44 2M ott-tools_0.32+ds-3build2_armhf.deb 17-Feb-2023 02:44 1M ott-tools_0.32+ds-3build2_ppc64el.deb 17-Feb-2023 01:50 2M ott-tools_0.32+ds-3build2_riscv64.deb 17-Feb-2023 03:13 1M ott-tools_0.32+ds-3build2_s390x.deb 17-Feb-2023 02:44 1M ott_0.32+ds-2.debian.tar.xz 11-Jul-2022 06:39 6916 ott_0.32+ds-2.dsc 11-Jul-2022 06:39 2104 ott_0.32+ds-2build2.debian.tar.xz 04-Dec-2022 02:54 7008 ott_0.32+ds-2build2.dsc 04-Dec-2022 02:54 2103 ott_0.32+ds-3.debian.tar.xz 26-Jan-2023 01:16 6956 ott_0.32+ds-3.dsc 26-Jan-2023 01:16 2109 ott_0.32+ds-3build1.debian.tar.xz 27-Jan-2023 16:04 7028 ott_0.32+ds-3build1.dsc 27-Jan-2023 16:04 2108 ott_0.32+ds-3build2.debian.tar.xz 17-Feb-2023 01:50 7052 ott_0.32+ds-3build2.dsc 17-Feb-2023 01:50 2108 ott_0.32+ds.orig.tar.xz 11-Jul-2022 06:39 1M