Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/o/ott/

Filename Modification time Size
libcoq-ott_0.33+ds-2build3_amd64.deb 177 KiB
libcoq-ott_0.34+ds-1build3_amd64.deb 179 KiB
libcoq-ott_0.34+ds-1build4_amd64.deb 178 KiB
libcoq-ott_0.34+ds-1build4_arm64.deb 178 KiB
libcoq-ott_0.34+ds-1build7_amd64.deb 178 KiB
libcoq-ott_0.34+ds-1build7_amd64v3.deb 178 KiB
libcoq-ott_0.34+ds-1build7_arm64.deb 178 KiB
libcoq-ott_0.34+ds-5build1_amd64.deb 183 KiB
libcoq-ott_0.34+ds-5build1_amd64v3.deb 183 KiB
libcoq-ott_0.34+ds-5build2_arm64.deb 183 KiB
libcoq-ott_0.34+ds-5build3_amd64.deb 183 KiB
libcoq-ott_0.34+ds-5build3_amd64v3.deb 183 KiB
libcoq-ott_0.34+ds-5build3_arm64.deb 183 KiB
ott-tools_0.33+ds-2build3_amd64.deb 1466 KiB
ott-tools_0.34+ds-1build3_amd64.deb 1652 KiB
ott-tools_0.34+ds-1build4_amd64.deb 1626 KiB
ott-tools_0.34+ds-1build4_arm64.deb 1864 KiB
ott-tools_0.34+ds-1build7_amd64.deb 1645 KiB
ott-tools_0.34+ds-1build7_amd64v3.deb 1644 KiB
ott-tools_0.34+ds-1build7_arm64.deb 1879 KiB
ott-tools_0.34+ds-5build1_amd64.deb 1645 KiB
ott-tools_0.34+ds-5build1_amd64v3.deb 1644 KiB
ott-tools_0.34+ds-5build2_arm64.deb 1880 KiB
ott-tools_0.34+ds-5build3_amd64.deb 1645 KiB
ott-tools_0.34+ds-5build3_amd64v3.deb 1644 KiB
ott-tools_0.34+ds-5build3_arm64.deb 1881 KiB
ott_0.33+ds-2build3.debian.tar.xz 7032 B
ott_0.33+ds-2build3.dsc 2187 B
ott_0.33+ds.orig.tar.xz 1114 KiB
ott_0.34+ds-1build3.debian.tar.xz 7124 B
ott_0.34+ds-1build3.dsc 2108 B
ott_0.34+ds-1build4.debian.tar.xz 7152 B
ott_0.34+ds-1build4.dsc 2108 B
ott_0.34+ds-1build7.debian.tar.xz 7252 B
ott_0.34+ds-1build7.dsc 2108 B
ott_0.34+ds-5build2.debian.tar.xz 7216 B
ott_0.34+ds-5build2.dsc 2115 B
ott_0.34+ds-5build3.debian.tar.xz 7232 B
ott_0.34+ds-5build3.dsc 2115 B
ott_0.34+ds.orig.tar.xz 1115 KiB