Index of /ubuntu-ports/pool/universe/o/ott/
../
libcoq-ott_0.32+ds-3build2_arm64.deb 17-Feb-2023 03:44 185458
libcoq-ott_0.32+ds-3build2_armhf.deb 17-Feb-2023 03:44 185364
libcoq-ott_0.32+ds-3build2_ppc64el.deb 17-Feb-2023 02:50 185524
libcoq-ott_0.32+ds-3build2_riscv64.deb 17-Feb-2023 04:13 185524
libcoq-ott_0.32+ds-3build2_s390x.deb 17-Feb-2023 03:44 185508
libcoq-ott_0.33+ds-1build1_arm64.deb 26-Jul-2023 14:22 182258
libcoq-ott_0.33+ds-1build1_armhf.deb 26-Jul-2023 14:22 182192
libcoq-ott_0.33+ds-1build1_ppc64el.deb 26-Jul-2023 14:22 182268
libcoq-ott_0.33+ds-1build1_riscv64.deb 26-Jul-2023 14:55 182262
libcoq-ott_0.33+ds-1build1_s390x.deb 26-Jul-2023 14:22 182280
libcoq-ott_0.33+ds-2build3_arm64.deb 01-Apr-2024 18:35 181704
libcoq-ott_0.33+ds-2build3_armhf.deb 01-Apr-2024 18:36 181746
libcoq-ott_0.33+ds-2build3_ppc64el.deb 02-Apr-2024 04:04 181718
libcoq-ott_0.33+ds-2build3_riscv64.deb 01-Apr-2024 18:38 181746
libcoq-ott_0.33+ds-2build3_s390x.deb 01-Apr-2024 23:39 181762
libcoq-ott_0.33+ds-3_arm64.deb 03-May-2024 21:21 189802
libcoq-ott_0.33+ds-3_armhf.deb 09-May-2024 16:24 189700
libcoq-ott_0.33+ds-3_ppc64el.deb 03-May-2024 13:55 189812
libcoq-ott_0.33+ds-3_riscv64.deb 06-May-2024 00:28 189824
libcoq-ott_0.33+ds-3_s390x.deb 03-May-2024 15:11 189798
ott-tools_0.32+ds-3build2_arm64.deb 17-Feb-2023 03:44 1731288
ott-tools_0.32+ds-3build2_armhf.deb 17-Feb-2023 03:44 1454068
ott-tools_0.32+ds-3build2_ppc64el.deb 17-Feb-2023 02:50 1587414
ott-tools_0.32+ds-3build2_riscv64.deb 17-Feb-2023 04:13 1477862
ott-tools_0.32+ds-3build2_s390x.deb 17-Feb-2023 03:44 1537262
ott-tools_0.33+ds-1build1_arm64.deb 26-Jul-2023 14:22 1728304
ott-tools_0.33+ds-1build1_armhf.deb 26-Jul-2023 14:22 1455228
ott-tools_0.33+ds-1build1_ppc64el.deb 26-Jul-2023 14:22 1588024
ott-tools_0.33+ds-1build1_riscv64.deb 26-Jul-2023 14:55 1472784
ott-tools_0.33+ds-1build1_s390x.deb 26-Jul-2023 14:22 1534806
ott-tools_0.33+ds-2build3_arm64.deb 01-Apr-2024 18:35 1770576
ott-tools_0.33+ds-2build3_armhf.deb 01-Apr-2024 18:36 1502402
ott-tools_0.33+ds-2build3_ppc64el.deb 02-Apr-2024 04:04 1627518
ott-tools_0.33+ds-2build3_riscv64.deb 01-Apr-2024 18:38 1584146
ott-tools_0.33+ds-2build3_s390x.deb 01-Apr-2024 23:39 1586364
ott-tools_0.33+ds-3_arm64.deb 03-May-2024 21:21 1770400
ott-tools_0.33+ds-3_armhf.deb 09-May-2024 16:24 1490810
ott-tools_0.33+ds-3_ppc64el.deb 03-May-2024 13:55 1627350
ott-tools_0.33+ds-3_riscv64.deb 06-May-2024 00:28 1583926
ott-tools_0.33+ds-3_s390x.deb 03-May-2024 15:11 1586318
ott_0.32+ds-3build2.debian.tar.xz 17-Feb-2023 02:50 7052
ott_0.32+ds-3build2.dsc 17-Feb-2023 02:50 2108
ott_0.32+ds.orig.tar.xz 11-Jul-2022 07:39 1140176
ott_0.33+ds-1build1.debian.tar.xz 26-Jul-2023 13:19 6732
ott_0.33+ds-1build1.dsc 26-Jul-2023 13:19 2108
ott_0.33+ds-2build3.debian.tar.xz 01-Apr-2024 13:43 7032
ott_0.33+ds-2build3.dsc 01-Apr-2024 13:43 2187
ott_0.33+ds-3.debian.tar.xz 03-May-2024 09:49 8084
ott_0.33+ds-3.dsc 03-May-2024 09:49 2109
ott_0.33+ds.orig.tar.xz 13-Jun-2023 13:30 1140368