Directory listing of http://mirror.biznetgio.com/ubuntu/pool/universe/o/ott
mirror.biznetgio.com
/
ubuntu
/
pool
/
universe
/
o
/
ott
File
Size
Last Modified
..
-
2024-03-15 06:24:10
libcoq-ott_0.32+ds-3build2_amd64.deb
181.17KB
2023-02-17 01:50:26
libcoq-ott_0.33+ds-1build1_amd64.deb
178.00KB
2023-07-26 13:22:09
libcoq-ott_0.33+ds-2build1_amd64.deb
213.22KB
2023-12-23 09:26:50
ott-tools_0.32+ds-3build2_amd64.deb
1.40MB
2023-02-17 01:50:26
ott-tools_0.33+ds-1build1_amd64.deb
1.40MB
2023-07-26 13:22:09
ott-tools_0.33+ds-2build1_amd64.deb
1.72MB
2023-12-23 09:26:50
ott_0.32+ds-3build2.debian.tar.xz
6.89KB
2023-02-17 01:50:14
ott_0.32+ds-3build2.dsc
2.06KB
2023-02-17 01:50:14
ott_0.32+ds.orig.tar.xz
1.09MB
2022-07-11 06:39:10
ott_0.33+ds-1build1.debian.tar.xz
6.57KB
2023-07-26 12:19:30
ott_0.33+ds-1build1.dsc
2.06KB
2023-07-26 12:19:30
ott_0.33+ds-2build1.debian.tar.xz
6.73KB
2023-12-23 09:26:48
ott_0.33+ds-2build1.dsc
2.06KB
2023-12-23 09:26:48
ott_0.33+ds.orig.tar.xz
1.09MB
2023-06-13 12:30:00