Index of /argostmp/pool/main/o/ott/

../
libcoq-ott_0.34+ds-1_arm64.deb                     27-Feb-2025 03:08              160808
libcoq-ott_0.34+ds-1_ppc64el.deb                   02-Mar-2025 13:24              160768
libcoq-ott_0.34+ds-1_riscv64.deb                   10-Mar-2025 03:19              160812
ott-tools-dbgsym_0.34+ds-1_arm64.deb               27-Feb-2025 03:08              406124
ott-tools-dbgsym_0.34+ds-1_ppc64el.deb             02-Mar-2025 13:24              361792
ott-tools-dbgsym_0.34+ds-1_riscv64.deb             10-Mar-2025 03:19              398060
ott-tools_0.34+ds-1_arm64.deb                      27-Feb-2025 03:08             1509576
ott-tools_0.34+ds-1_ppc64el.deb                    02-Mar-2025 13:24             1517492
ott-tools_0.34+ds-1_riscv64.deb                    10-Mar-2025 03:19             1536192
ott_0.34+ds-1.debian.tar.xz                        04-Jan-2025 10:35                6960
ott_0.34+ds-1.dsc                                  04-Jan-2025 10:35                2121
ott_0.34+ds.orig.tar.xz                            04-Jan-2025 10:35             1142148