Index of /ubuntu/pool/universe/o/ott/
../
libcoq-ott_0.32+ds-3build2_amd64.deb 17-Feb-2023 01:50 181K
libcoq-ott_0.33+ds-1build1_amd64.deb 26-Jul-2023 13:22 178K
libcoq-ott_0.33+ds-1build2_amd64.deb 06-Nov-2023 23:44 178K
libcoq-ott_0.33+ds-1build3_amd64.deb 23-Nov-2023 07:05 178K
libcoq-ott_0.33+ds-2_amd64.deb 23-Dec-2023 00:27 214K
libcoq-ott_0.33+ds-2build1_amd64.deb 23-Dec-2023 09:26 213K
libcoq-ott_0.33+ds-2build2_amd64.deb 24-Mar-2024 07:53 177K
libcoq-ott_0.33+ds-2build3_amd64.deb 01-Apr-2024 13:51 177K
libcoq-ott_0.33+ds-3_amd64.deb 03-May-2024 10:29 185K
libcoq-ott_0.33+ds-3build1_amd64.deb 15-Jun-2024 22:23 185K
libcoq-ott_0.33+ds-4_amd64.deb 04-Aug-2024 02:20 185K
libcoq-ott_0.33+ds-4build1_amd64.deb 04-Aug-2024 23:09 186K
libcoq-ott_0.33+ds-4build2_amd64.deb 07-Sep-2024 01:54 186K
libcoq-ott_0.33+ds-4build3_amd64.deb 07-Sep-2024 06:05 186K
libcoq-ott_0.33+ds-4build4_amd64.deb 07-Sep-2024 22:44 186K
libcoq-ott_0.33+ds-4build5_amd64.deb 21-Nov-2024 06:31 179K
libcoq-ott_0.34+ds-1_amd64.deb 05-Jan-2025 01:01 179K
libcoq-ott_0.34+ds-1build1_amd64.deb 02-Feb-2025 11:54 179K
libcoq-ott_0.34+ds-1build2_amd64.deb 14-Feb-2025 07:54 179K
libcoq-ott_0.34+ds-1build3_amd64.deb 19-Feb-2025 04:25 179K
libcoq-ott_0.34+ds-1build4_amd64.deb 20-Jun-2025 20:23 178K
ott-tools_0.32+ds-3build2_amd64.deb 17-Feb-2023 01:50 1M
ott-tools_0.33+ds-1build1_amd64.deb 26-Jul-2023 13:22 1M
ott-tools_0.33+ds-1build2_amd64.deb 06-Nov-2023 23:44 1M
ott-tools_0.33+ds-1build3_amd64.deb 23-Nov-2023 07:05 1M
ott-tools_0.33+ds-2_amd64.deb 23-Dec-2023 00:27 2M
ott-tools_0.33+ds-2build1_amd64.deb 23-Dec-2023 09:26 2M
ott-tools_0.33+ds-2build2_amd64.deb 24-Mar-2024 07:53 1M
ott-tools_0.33+ds-2build3_amd64.deb 01-Apr-2024 13:51 1M
ott-tools_0.33+ds-3_amd64.deb 03-May-2024 10:29 1M
ott-tools_0.33+ds-3build1_amd64.deb 15-Jun-2024 22:23 1M
ott-tools_0.33+ds-4_amd64.deb 04-Aug-2024 02:20 1M
ott-tools_0.33+ds-4build1_amd64.deb 04-Aug-2024 23:09 1M
ott-tools_0.33+ds-4build2_amd64.deb 07-Sep-2024 01:54 2M
ott-tools_0.33+ds-4build3_amd64.deb 07-Sep-2024 06:05 2M
ott-tools_0.33+ds-4build4_amd64.deb 07-Sep-2024 22:44 2M
ott-tools_0.33+ds-4build5_amd64.deb 21-Nov-2024 06:31 2M
ott-tools_0.34+ds-1_amd64.deb 05-Jan-2025 01:01 2M
ott-tools_0.34+ds-1build1_amd64.deb 02-Feb-2025 11:54 2M
ott-tools_0.34+ds-1build2_amd64.deb 14-Feb-2025 07:54 2M
ott-tools_0.34+ds-1build3_amd64.deb 19-Feb-2025 04:25 2M
ott-tools_0.34+ds-1build4_amd64.deb 20-Jun-2025 20:23 2M
ott_0.32+ds-3build2.debian.tar.xz 17-Feb-2023 01:50 7052
ott_0.32+ds-3build2.dsc 17-Feb-2023 01:50 2108
ott_0.32+ds.orig.tar.xz 11-Jul-2022 06:39 1M
ott_0.33+ds-1build1.debian.tar.xz 26-Jul-2023 12:19 6732
ott_0.33+ds-1build1.dsc 26-Jul-2023 12:19 2108
ott_0.33+ds-1build2.debian.tar.xz 06-Nov-2023 23:44 6752
ott_0.33+ds-1build2.dsc 06-Nov-2023 23:44 2108
ott_0.33+ds-1build3.debian.tar.xz 23-Nov-2023 07:05 6764
ott_0.33+ds-1build3.dsc 23-Nov-2023 07:05 2108
ott_0.33+ds-2.debian.tar.xz 23-Dec-2023 00:26 6820
ott_0.33+ds-2.dsc 23-Dec-2023 00:26 2109
ott_0.33+ds-2build1.debian.tar.xz 23-Dec-2023 09:26 6888
ott_0.33+ds-2build1.dsc 23-Dec-2023 09:26 2108
ott_0.33+ds-2build2.debian.tar.xz 24-Mar-2024 07:53 6988
ott_0.33+ds-2build2.dsc 24-Mar-2024 07:53 2224
ott_0.33+ds-2build3.debian.tar.xz 01-Apr-2024 12:43 7032
ott_0.33+ds-2build3.dsc 01-Apr-2024 12:43 2187
ott_0.33+ds-2build4.debian.tar.xz 03-May-2024 03:28 7088
ott_0.33+ds-2build4.dsc 03-May-2024 03:28 2187
ott_0.33+ds-3.debian.tar.xz 03-May-2024 08:49 8084
ott_0.33+ds-3.dsc 03-May-2024 08:49 2109
ott_0.33+ds-3build1.debian.tar.xz 15-Jun-2024 21:43 8164
ott_0.33+ds-3build1.dsc 15-Jun-2024 21:43 2108
ott_0.33+ds-4.debian.tar.xz 04-Aug-2024 01:21 8156
ott_0.33+ds-4.dsc 04-Aug-2024 01:21 1874
ott_0.33+ds-4build1.debian.tar.xz 04-Aug-2024 23:09 8232
ott_0.33+ds-4build1.dsc 04-Aug-2024 23:09 2108
ott_0.33+ds-4build2.debian.tar.xz 21-Aug-2024 16:17 8280
ott_0.33+ds-4build2.dsc 21-Aug-2024 16:17 2108
ott_0.33+ds-4build3.debian.tar.xz 07-Sep-2024 06:05 8328
ott_0.33+ds-4build3.dsc 07-Sep-2024 06:05 2108
ott_0.33+ds-4build4.debian.tar.xz 07-Sep-2024 22:43 8336
ott_0.33+ds-4build4.dsc 07-Sep-2024 22:43 2108
ott_0.33+ds-4build5.debian.tar.xz 21-Nov-2024 06:31 8368
ott_0.33+ds-4build5.dsc 21-Nov-2024 06:31 2108
ott_0.33+ds.orig.tar.xz 13-Jun-2023 12:30 1M
ott_0.34+ds-1.debian.tar.xz 05-Jan-2025 01:00 6960
ott_0.34+ds-1.dsc 05-Jan-2025 01:00 2121
ott_0.34+ds-1build1.debian.tar.xz 02-Feb-2025 11:54 7028
ott_0.34+ds-1build1.dsc 02-Feb-2025 11:54 2108
ott_0.34+ds-1build2.debian.tar.xz 14-Feb-2025 07:54 7088
ott_0.34+ds-1build2.dsc 14-Feb-2025 07:54 2108
ott_0.34+ds-1build3.debian.tar.xz 19-Feb-2025 04:25 7124
ott_0.34+ds-1build3.dsc 19-Feb-2025 04:25 2108
ott_0.34+ds-1build4.debian.tar.xz 20-Jun-2025 20:22 7152
ott_0.34+ds-1build4.dsc 20-Jun-2025 20:22 2108
ott_0.34+ds.orig.tar.xz 05-Jan-2025 01:00 1M