Index of /ubuntu/pool/universe/o/ott

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ott_0.32+ds.orig.tar.xz2022-07-11 06:39 1.1M 
[   ]ott_0.32+ds-3build2.debian.tar.xz2023-02-17 01:50 6.9K 
[TXT]ott_0.32+ds-3build2.dsc2023-02-17 01:50 2.1K 
[   ]ott-tools_0.32+ds-3build2_amd64.deb2023-02-17 01:50 1.4M 
[   ]libcoq-ott_0.32+ds-3build2_amd64.deb2023-02-17 01:50 181K 
[   ]ott_0.33+ds.orig.tar.xz2023-06-13 12:30 1.1M 
[   ]ott_0.33+ds-1build1.debian.tar.xz2023-07-26 12:19 6.6K 
[TXT]ott_0.33+ds-1build1.dsc2023-07-26 12:19 2.1K 
[   ]ott-tools_0.33+ds-1build1_amd64.deb2023-07-26 13:22 1.4M 
[   ]libcoq-ott_0.33+ds-1build1_amd64.deb2023-07-26 13:22 178K 
[   ]ott_0.33+ds-1build2.debian.tar.xz2023-11-06 23:44 6.6K 
[TXT]ott_0.33+ds-1build2.dsc2023-11-06 23:44 2.1K 
[   ]ott-tools_0.33+ds-1build2_amd64.deb2023-11-06 23:44 1.4M 
[   ]libcoq-ott_0.33+ds-1build2_amd64.deb2023-11-06 23:44 178K 
[   ]ott_0.33+ds-1build3.debian.tar.xz2023-11-23 07:05 6.6K 
[TXT]ott_0.33+ds-1build3.dsc2023-11-23 07:05 2.1K 
[   ]ott-tools_0.33+ds-1build3_amd64.deb2023-11-23 07:05 1.4M 
[   ]libcoq-ott_0.33+ds-1build3_amd64.deb2023-11-23 07:05 178K 
[TXT]ott_0.33+ds-2.dsc2023-12-23 00:26 2.1K 
[   ]ott_0.33+ds-2.debian.tar.xz2023-12-23 00:26 6.7K 
[   ]ott-tools_0.33+ds-2_amd64.deb2023-12-23 00:27 1.7M 
[   ]libcoq-ott_0.33+ds-2_amd64.deb2023-12-23 00:27 214K 
[   ]ott_0.33+ds-2build1.debian.tar.xz2023-12-23 09:26 6.7K 
[TXT]ott_0.33+ds-2build1.dsc2023-12-23 09:26 2.1K 
[   ]ott-tools_0.33+ds-2build1_amd64.deb2023-12-23 09:26 1.7M 
[   ]libcoq-ott_0.33+ds-2build1_amd64.deb2023-12-23 09:26 213K 
[   ]ott_0.33+ds-2build2.debian.tar.xz2024-03-24 07:53 6.8K 
[TXT]ott_0.33+ds-2build2.dsc2024-03-24 07:53 2.2K 
[   ]ott-tools_0.33+ds-2build2_amd64.deb2024-03-24 07:53 1.4M 
[   ]libcoq-ott_0.33+ds-2build2_amd64.deb2024-03-24 07:53 177K 
[   ]ott_0.33+ds-2build3.debian.tar.xz2024-04-01 12:43 6.9K 
[TXT]ott_0.33+ds-2build3.dsc2024-04-01 12:43 2.1K 
[   ]ott-tools_0.33+ds-2build3_amd64.deb2024-04-01 13:51 1.4M 
[   ]libcoq-ott_0.33+ds-2build3_amd64.deb2024-04-01 13:51 177K 
[   ]ott_0.33+ds-2build4.debian.tar.xz2024-05-03 03:28 6.9K 
[TXT]ott_0.33+ds-2build4.dsc2024-05-03 03:28 2.1K 
[TXT]ott_0.33+ds-3.dsc2024-05-03 08:49 2.1K 
[   ]ott_0.33+ds-3.debian.tar.xz2024-05-03 08:49 7.9K 
[   ]ott-tools_0.33+ds-3_amd64.deb2024-05-03 10:29 1.4M 
[   ]libcoq-ott_0.33+ds-3_amd64.deb2024-05-03 10:29 185K 
[   ]ott_0.33+ds-3build1.debian.tar.xz2024-06-15 21:43 8.0K 
[TXT]ott_0.33+ds-3build1.dsc2024-06-15 21:43 2.1K 
[   ]ott-tools_0.33+ds-3build1_amd64.deb2024-06-15 22:23 1.4M 
[   ]libcoq-ott_0.33+ds-3build1_amd64.deb2024-06-15 22:23 185K 
[TXT]ott_0.33+ds-4.dsc2024-08-04 01:21 1.8K 
[   ]ott_0.33+ds-4.debian.tar.xz2024-08-04 01:21 8.0K 
[   ]ott-tools_0.33+ds-4_amd64.deb2024-08-04 02:20 1.4M 
[   ]libcoq-ott_0.33+ds-4_amd64.deb2024-08-04 02:20 185K 
[   ]ott_0.33+ds-4build1.debian.tar.xz2024-08-04 23:09 8.0K 
[TXT]ott_0.33+ds-4build1.dsc2024-08-04 23:09 2.1K 
[   ]ott-tools_0.33+ds-4build1_amd64.deb2024-08-04 23:09 1.4M 
[   ]libcoq-ott_0.33+ds-4build1_amd64.deb2024-08-04 23:09 186K 
[   ]ott_0.33+ds-4build2.debian.tar.xz2024-08-21 16:17 8.1K 
[TXT]ott_0.33+ds-4build2.dsc2024-08-21 16:17 2.1K 
[   ]ott-tools_0.33+ds-4build2_amd64.deb2024-09-07 01:54 1.6M 
[   ]libcoq-ott_0.33+ds-4build2_amd64.deb2024-09-07 01:54 186K 
[   ]ott_0.33+ds-4build3.debian.tar.xz2024-09-07 06:05 8.1K 
[TXT]ott_0.33+ds-4build3.dsc2024-09-07 06:05 2.1K 
[   ]ott-tools_0.33+ds-4build3_amd64.deb2024-09-07 06:05 1.6M 
[   ]libcoq-ott_0.33+ds-4build3_amd64.deb2024-09-07 06:05 186K 
[   ]ott_0.33+ds-4build4.debian.tar.xz2024-09-07 22:43 8.1K 
[TXT]ott_0.33+ds-4build4.dsc2024-09-07 22:43 2.1K 
[   ]ott-tools_0.33+ds-4build4_amd64.deb2024-09-07 22:44 1.6M 
[   ]libcoq-ott_0.33+ds-4build4_amd64.deb2024-09-07 22:44 186K 
[   ]ott_0.33+ds-4build5.debian.tar.xz2024-11-21 06:31 8.2K 
[TXT]ott_0.33+ds-4build5.dsc2024-11-21 06:31 2.1K 
[   ]ott-tools_0.33+ds-4build5_amd64.deb2024-11-21 06:31 1.6M 
[   ]libcoq-ott_0.33+ds-4build5_amd64.deb2024-11-21 06:31 179K