Index of /debian/pool/main/o/ott/

Name Size Date
📁 ../ - -
📄 libcoq-ott_0.32+ds-3+b1_amd64.deb 163620 bytes 2023-02-14 06:26:42
📄 libcoq-ott_0.32+ds-3+b1_arm64.deb 163592 bytes 2023-02-14 06:26:56
📄 libcoq-ott_0.32+ds-3+b1_armhf.deb 163564 bytes 2023-02-14 06:42:15
📄 libcoq-ott_0.32+ds-3+b1_i386.deb 163544 bytes 2023-02-14 06:42:11
📄 libcoq-ott_0.32+ds-3+b1_ppc64el.deb 163628 bytes 2023-02-14 06:57:23
📄 libcoq-ott_0.32+ds-3+b1_s390x.deb 163616 bytes 2023-02-14 06:42:20
📄 libcoq-ott_0.34+ds-1+b4_amd64.deb 161036 bytes 2025-06-15 10:49:50
📄 libcoq-ott_0.34+ds-1+b4_arm64.deb 161152 bytes 2025-06-15 10:55:03
📄 libcoq-ott_0.34+ds-1+b4_ppc64el.deb 161088 bytes 2025-06-15 10:49:59
📄 libcoq-ott_0.34+ds-1+b4_riscv64.deb 161044 bytes 2025-06-15 11:55:37
📄 libcoq-ott_0.34+ds-1+b4_s390x.deb 161068 bytes 2025-06-16 18:44:48
📄 libcoq-ott_0.34+ds-2_arm64.deb 160844 bytes 2025-10-29 12:21:19
📄 libcoq-ott_0.34+ds-2_ppc64el.deb 160848 bytes 2025-10-29 12:36:43
📄 libcoq-ott_0.34+ds-2_s390x.deb 160920 bytes 2025-10-29 14:43:31
📄 libcoq-ott_0.34+ds-3_amd64.deb 164552 bytes 2025-11-11 18:20:39
📄 ott-tools_0.32+ds-3+b1_amd64.deb 1310364 bytes 2023-02-14 06:26:42
📄 ott-tools_0.32+ds-3+b1_arm64.deb 1458824 bytes 2023-02-14 06:26:56
📄 ott-tools_0.32+ds-3+b1_armhf.deb 1255624 bytes 2023-02-14 06:42:15
📄 ott-tools_0.32+ds-3+b1_i386.deb 1218792 bytes 2023-02-14 06:42:11
📄 ott-tools_0.32+ds-3+b1_ppc64el.deb 1351720 bytes 2023-02-14 06:57:23
📄 ott-tools_0.32+ds-3+b1_s390x.deb 1313492 bytes 2023-02-14 06:42:20
📄 ott-tools_0.34+ds-1+b4_amd64.deb 1494060 bytes 2025-06-15 10:49:50
📄 ott-tools_0.34+ds-1+b4_arm64.deb 1645000 bytes 2025-06-15 10:55:03
📄 ott-tools_0.34+ds-1+b4_ppc64el.deb 1517816 bytes 2025-06-15 10:49:59
📄 ott-tools_0.34+ds-1+b4_riscv64.deb 1536736 bytes 2025-06-15 11:55:37
📄 ott-tools_0.34+ds-1+b4_s390x.deb 1512220 bytes 2025-06-16 18:44:48
📄 ott-tools_0.34+ds-2_arm64.deb 1658148 bytes 2025-10-29 12:21:19
📄 ott-tools_0.34+ds-2_ppc64el.deb 1523972 bytes 2025-10-29 12:36:43
📄 ott-tools_0.34+ds-2_s390x.deb 1516620 bytes 2025-10-29 14:43:31
📄 ott-tools_0.34+ds-3_amd64.deb 1498936 bytes 2025-11-11 18:20:39
📄 ott_0.32+ds-3.debian.tar.xz 6956 bytes 2023-01-25 08:58:28
📄 ott_0.32+ds-3.dsc 2109 bytes 2023-01-25 08:58:28
📄 ott_0.32+ds.orig.tar.xz 1140176 bytes 2022-07-10 16:36:04
📄 ott_0.34+ds-1.debian.tar.xz 6960 bytes 2025-01-04 10:35:48
📄 ott_0.34+ds-1.dsc 2121 bytes 2025-01-04 10:35:48
📄 ott_0.34+ds-2.debian.tar.xz 7080 bytes 2025-10-29 08:59:13
📄 ott_0.34+ds-2.dsc 2121 bytes 2025-10-29 08:59:13
📄 ott_0.34+ds-3.debian.tar.xz 7124 bytes 2025-11-11 18:20:39
📄 ott_0.34+ds-3.dsc 2128 bytes 2025-11-11 18:20:39
📄 ott_0.34+ds.orig.tar.xz 1142148 bytes 2025-01-04 10:35:48