Index of /ubuntu/pool/universe/o/ott
Name
Last modified
Size
Description
Parent Directory
-
libcoq-ott_0.32+ds-2..>
2022-07-12 10:29
180K
libcoq-ott_0.32+ds-2..>
2022-11-27 06:23
181K
libcoq-ott_0.32+ds-2..>
2022-12-04 03:54
181K
libcoq-ott_0.32+ds-3..>
2023-01-27 17:04
181K
libcoq-ott_0.32+ds-3..>
2023-02-17 02:50
181K
libcoq-ott_0.33+ds-1..>
2023-06-13 13:30
178K
libcoq-ott_0.33+ds-1..>
2023-07-26 14:22
178K
libcoq-ott_0.33+ds-1..>
2023-11-07 00:44
178K
libcoq-ott_0.33+ds-1..>
2023-11-23 08:05
178K
libcoq-ott_0.33+ds-2..>
2023-12-23 01:27
214K
libcoq-ott_0.33+ds-2..>
2023-12-23 10:26
213K
libcoq-ott_0.33+ds-2..>
2024-03-24 08:53
177K
libcoq-ott_0.33+ds-2..>
2024-04-01 14:51
177K
libcoq-ott_0.33+ds-3..>
2024-05-03 11:29
185K
ott-tools_0.32+ds-2_..>
2022-07-12 10:29
1.4M
ott-tools_0.32+ds-2b..>
2022-11-27 06:23
1.4M
ott-tools_0.32+ds-2b..>
2022-12-04 03:54
1.4M
ott-tools_0.32+ds-3b..>
2023-01-27 17:04
1.4M
ott-tools_0.32+ds-3b..>
2023-02-17 02:50
1.4M
ott-tools_0.33+ds-1_..>
2023-06-13 13:30
1.4M
ott-tools_0.33+ds-1b..>
2023-07-26 14:22
1.4M
ott-tools_0.33+ds-1b..>
2023-11-07 00:44
1.4M
ott-tools_0.33+ds-1b..>
2023-11-23 08:05
1.4M
ott-tools_0.33+ds-2_..>
2023-12-23 01:27
1.7M
ott-tools_0.33+ds-2b..>
2023-12-23 10:26
1.7M
ott-tools_0.33+ds-2b..>
2024-03-24 08:53
1.4M
ott-tools_0.33+ds-2b..>
2024-04-01 14:51
1.4M
ott-tools_0.33+ds-3_..>
2024-05-03 11:29
1.4M
ott_0.32+ds-2.debian..>
2022-07-11 07:39
6.8K
ott_0.32+ds-2.dsc
2022-07-11 07:39
2.1K
ott_0.32+ds-2build1...>
2022-11-27 06:23
6.8K
ott_0.32+ds-2build1.dsc
2022-11-27 06:23
2.1K
ott_0.32+ds-2build2...>
2022-12-04 03:54
6.8K
ott_0.32+ds-2build2.dsc
2022-12-04 03:54
2.1K
ott_0.32+ds-3.debian..>
2023-01-26 02:16
6.8K
ott_0.32+ds-3.dsc
2023-01-26 02:16
2.1K
ott_0.32+ds-3build1...>
2023-01-27 17:04
6.9K
ott_0.32+ds-3build1.dsc
2023-01-27 17:04
2.1K
ott_0.32+ds-3build2...>
2023-02-17 02:50
6.9K
ott_0.32+ds-3build2.dsc
2023-02-17 02:50
2.1K
ott_0.32+ds.orig.tar.xz
2022-07-11 07:39
1.1M
ott_0.33+ds-1.debian..>
2023-06-13 13:30
6.5K
ott_0.33+ds-1.dsc
2023-06-13 13:30
2.1K
ott_0.33+ds-1build1...>
2023-07-26 13:19
6.6K
ott_0.33+ds-1build1.dsc
2023-07-26 13:19
2.1K
ott_0.33+ds-1build2...>
2023-11-07 00:44
6.6K
ott_0.33+ds-1build2.dsc
2023-11-07 00:44
2.1K
ott_0.33+ds-1build3...>
2023-11-23 08:05
6.6K
ott_0.33+ds-1build3.dsc
2023-11-23 08:05
2.1K
ott_0.33+ds-2.debian..>
2023-12-23 01:26
6.7K
ott_0.33+ds-2.dsc
2023-12-23 01:26
2.1K
ott_0.33+ds-2build1...>
2023-12-23 10:26
6.7K
ott_0.33+ds-2build1.dsc
2023-12-23 10:26
2.1K
ott_0.33+ds-2build2...>
2024-03-24 08:53
6.8K
ott_0.33+ds-2build2.dsc
2024-03-24 08:53
2.2K
ott_0.33+ds-2build3...>
2024-04-01 13:43
6.9K
ott_0.33+ds-2build3.dsc
2024-04-01 13:43
2.1K
ott_0.33+ds-2build4...>
2024-05-03 04:28
6.9K
ott_0.33+ds-2build4.dsc
2024-05-03 04:28
2.1K
ott_0.33+ds-3.debian..>
2024-05-03 09:49
7.9K
ott_0.33+ds-3.dsc
2024-05-03 09:49
2.1K
ott_0.33+ds.orig.tar.xz
2023-06-13 13:30
1.1M