Index of /pureos/pool/main/o/ott/
../
libcoq-ott_0.32+ds-3+b1_amd64.deb 14-Jun-2023 21:35 160K
libcoq-ott_0.32+ds-3+b1_arm64.deb 14-Jun-2023 21:35 160K
libcoq-ott_0.33+ds-3+b1_amd64.deb 24-Jun-2024 14:23 163K
libcoq-ott_0.33+ds-3+b1_arm64.deb 24-Jun-2024 14:23 163K
libcoq-ott_0.33+ds-4+b2_amd64.deb 27-Sep-2024 16:23 164K
libcoq-ott_0.33+ds-4+b2_arm64.deb 27-Sep-2024 16:23 164K
libcoq-ott_0.33+ds-4+b3_arm64.deb 29-Nov-2024 04:54 157K
libcoq-ott_0.33+ds-4+b4_amd64.deb 29-Nov-2024 04:54 157K
ott-tools_0.32+ds-3+b1_amd64.deb 14-Jun-2023 21:35 1M
ott-tools_0.32+ds-3+b1_arm64.deb 14-Jun-2023 21:35 1M
ott-tools_0.33+ds-3+b1_amd64.deb 24-Jun-2024 14:23 1M
ott-tools_0.33+ds-3+b1_arm64.deb 24-Jun-2024 14:23 1M
ott-tools_0.33+ds-4+b2_amd64.deb 27-Sep-2024 16:23 1M
ott-tools_0.33+ds-4+b2_arm64.deb 27-Sep-2024 16:23 2M
ott-tools_0.33+ds-4+b3_arm64.deb 29-Nov-2024 04:54 2M
ott-tools_0.33+ds-4+b4_amd64.deb 29-Nov-2024 04:54 1M
ott_0.32+ds-3.debian.tar.xz 14-Jun-2023 14:19 6956
ott_0.32+ds-3.dsc 14-Jun-2023 14:19 2109
ott_0.32+ds.orig.tar.xz 14-Jun-2023 14:19 1M
ott_0.33+ds-3.debian.tar.xz 24-Jun-2024 14:13 8084
ott_0.33+ds-3.dsc 24-Jun-2024 14:13 2109
ott_0.33+ds-4.debian.tar.xz 12-Sep-2024 04:25 8156
ott_0.33+ds-4.dsc 12-Sep-2024 04:25 1874
ott_0.33+ds.orig.tar.xz 10-May-2024 03:53 1M