Filename Modification time Size libcoq-ott_0.32+ds-3+b1_amd64.deb 2023-02-14 07:26 CET 160 KiB libcoq-ott_0.32+ds-3+b1_arm64.deb 2023-02-14 07:26 CET 160 KiB libcoq-ott_0.32+ds-3+b1_armhf.deb 2023-02-14 07:42 CET 160 KiB libcoq-ott_0.32+ds-3+b1_i386.deb 2023-02-14 07:42 CET 160 KiB libcoq-ott_0.32+ds-3+b1_ppc64el.deb 2023-02-14 07:57 CET 160 KiB libcoq-ott_0.32+ds-3+b1_s390x.deb 2023-02-14 07:42 CET 160 KiB libcoq-ott_0.34+ds-1+b1_amd64.deb 2025-01-30 08:21 CET 157 KiB libcoq-ott_0.34+ds-1+b1_arm64.deb 2025-01-30 08:27 CET 157 KiB libcoq-ott_0.34+ds-1+b1_ppc64el.deb 2025-01-30 08:21 CET 157 KiB libcoq-ott_0.34+ds-1+b1_riscv64.deb 2025-01-31 00:44 CET 157 KiB libcoq-ott_0.34+ds-1+b1_s390x.deb 2025-01-30 08:37 CET 157 KiB ott-tools_0.32+ds-3+b1_amd64.deb 2023-02-14 07:26 CET 1280 KiB ott-tools_0.32+ds-3+b1_arm64.deb 2023-02-14 07:26 CET 1425 KiB ott-tools_0.32+ds-3+b1_armhf.deb 2023-02-14 07:42 CET 1226 KiB ott-tools_0.32+ds-3+b1_i386.deb 2023-02-14 07:42 CET 1190 KiB ott-tools_0.32+ds-3+b1_ppc64el.deb 2023-02-14 07:57 CET 1320 KiB ott-tools_0.32+ds-3+b1_s390x.deb 2023-02-14 07:42 CET 1283 KiB ott-tools_0.34+ds-1+b1_amd64.deb 2025-01-30 08:21 CET 1459 KiB ott-tools_0.34+ds-1+b1_arm64.deb 2025-01-30 08:27 CET 1613 KiB ott-tools_0.34+ds-1+b1_ppc64el.deb 2025-01-30 08:21 CET 1482 KiB ott-tools_0.34+ds-1+b1_riscv64.deb 2025-01-31 00:44 CET 1500 KiB ott-tools_0.34+ds-1+b1_s390x.deb 2025-01-30 08:37 CET 1475 KiB ott_0.32+ds-3.debian.tar.xz 2023-01-25 09:58 CET 6956 B ott_0.32+ds-3.dsc 2023-01-25 09:58 CET 2109 B ott_0.32+ds.orig.tar.xz 2022-07-10 18:36 CEST 1113 KiB ott_0.34+ds-1.debian.tar.xz 2025-01-04 11:35 CET 6960 B ott_0.34+ds-1.dsc 2025-01-04 11:35 CET 2121 B ott_0.34+ds.orig.tar.xz 2025-01-04 11:35 CET 1115 KiB
