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.33+ds-3+b1_amd64.deb 2024-06-15 13:05 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_arm64.deb 2024-06-15 12:59 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_armhf.deb 2024-06-15 13:15 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_i386.deb 2024-06-15 13:04 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_ppc64el.deb 2024-06-15 13:04 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_riscv64.deb 2024-06-15 14:01 CEST 163 KiB libcoq-ott_0.33+ds-3+b1_s390x.deb 2024-06-15 22:00 CEST 163 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.33+ds-3+b1_amd64.deb 2024-06-15 13:05 CEST 1312 KiB ott-tools_0.33+ds-3+b1_arm64.deb 2024-06-15 12:59 CEST 1453 KiB ott-tools_0.33+ds-3+b1_armhf.deb 2024-06-15 13:15 CEST 1257 KiB ott-tools_0.33+ds-3+b1_i386.deb 2024-06-15 13:04 CEST 1222 KiB ott-tools_0.33+ds-3+b1_ppc64el.deb 2024-06-15 13:04 CEST 1339 KiB ott-tools_0.33+ds-3+b1_riscv64.deb 2024-06-15 14:01 CEST 1316 KiB ott-tools_0.33+ds-3+b1_s390x.deb 2024-06-15 22:00 CEST 1321 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.33+ds-3.debian.tar.xz 2024-04-26 16:01 CEST 8084 B ott_0.33+ds-3.dsc 2024-04-26 16:01 CEST 2109 B ott_0.33+ds.orig.tar.xz 2023-06-12 22:34 CEST 1114 KiB