Index of /debian/pool/main/o/ott
Name
Last modified
Size
Description
Parent Directory
-
libcoq-ott_0.32+ds-2+b1_amd64.deb
2022-07-11 16:55
158K
libcoq-ott_0.32+ds-2+b1_arm64.deb
2022-09-07 16:57
160K
libcoq-ott_0.32+ds-2+b1_armhf.deb
2022-09-07 16:57
160K
libcoq-ott_0.32+ds-2+b1_i386.deb
2022-09-07 16:47
160K
libcoq-ott_0.32+ds-2+b1_ppc64el.deb
2022-09-07 17:42
160K
libcoq-ott_0.32+ds-2+b1_s390x.deb
2022-09-07 21:37
160K
libcoq-ott_0.32+ds-2+b2_amd64.deb
2022-09-07 16:47
160K
libcoq-ott_0.32+ds-2+b2_arm64.deb
2022-11-29 19:14
160K
libcoq-ott_0.32+ds-2+b2_armhf.deb
2022-11-29 19:14
160K
libcoq-ott_0.32+ds-2+b2_i386.deb
2022-11-29 18:43
160K
libcoq-ott_0.32+ds-2+b2_ppc64el.deb
2022-11-29 20:00
160K
libcoq-ott_0.32+ds-2+b2_s390x.deb
2022-11-29 21:46
160K
libcoq-ott_0.32+ds-2+b3_amd64.deb
2022-11-29 18:59
160K
libcoq-ott_0.32+ds-2+b3_arm64.deb
2023-01-23 21:11
160K
libcoq-ott_0.32+ds-2+b3_armhf.deb
2023-01-23 22:27
160K
libcoq-ott_0.32+ds-2+b3_i386.deb
2023-01-23 21:26
160K
libcoq-ott_0.32+ds-2+b3_ppc64el.deb
2023-01-24 00:14
160K
libcoq-ott_0.32+ds-2+b3_s390x.deb
2023-01-23 21:26
160K
libcoq-ott_0.32+ds-2+b4_amd64.deb
2023-01-23 21:11
160K
libcoq-ott_0.32+ds-2_amd64.deb
2022-07-10 12:36
158K
libcoq-ott_0.32+ds-2_arm64.deb
2022-07-10 13:26
158K
libcoq-ott_0.32+ds-2_armhf.deb
2022-07-10 13:26
158K
libcoq-ott_0.32+ds-2_i386.deb
2022-07-10 13:26
158K
libcoq-ott_0.32+ds-2_ppc64el.deb
2022-07-10 13:26
158K
libcoq-ott_0.32+ds-2_s390x.deb
2022-07-10 13:21
158K
libcoq-ott_0.32+ds-3+b1_amd64.deb
2023-02-14 01:26
160K
libcoq-ott_0.32+ds-3+b1_arm64.deb
2023-02-14 01:26
160K
libcoq-ott_0.32+ds-3+b1_armhf.deb
2023-02-14 01:42
160K
libcoq-ott_0.32+ds-3+b1_i386.deb
2023-02-14 01:42
160K
libcoq-ott_0.32+ds-3+b1_ppc64el.deb
2023-02-14 01:57
160K
libcoq-ott_0.32+ds-3+b1_s390x.deb
2023-02-14 01:42
160K
libcoq-ott_0.32+ds-3_amd64.deb
2023-01-25 04:44
159K
libcoq-ott_0.32+ds-3_arm64.deb
2023-01-25 04:44
159K
libcoq-ott_0.32+ds-3_armhf.deb
2023-01-25 04:44
159K
libcoq-ott_0.32+ds-3_i386.deb
2023-01-25 04:44
159K
libcoq-ott_0.32+ds-3_ppc64el.deb
2023-01-26 17:12
159K
libcoq-ott_0.32+ds-3_s390x.deb
2023-01-25 04:29
160K
libcoq-ott_0.33+ds-1+b1_amd64.deb
2023-07-23 09:25
157K
libcoq-ott_0.33+ds-1+b1_arm64.deb
2023-06-16 11:26
157K
libcoq-ott_0.33+ds-1+b1_armhf.deb
2023-07-23 12:16
157K
libcoq-ott_0.33+ds-1+b1_i386.deb
2023-07-23 10:26
157K
libcoq-ott_0.33+ds-1+b1_ppc64el.deb
2023-06-19 00:42
157K
libcoq-ott_0.33+ds-1+b1_riscv64.deb
2023-09-23 17:52
157K
libcoq-ott_0.33+ds-1+b1_s390x.deb
2023-07-23 19:30
157K
libcoq-ott_0.33+ds-1+b2_amd64.deb
2023-09-22 08:57
157K
libcoq-ott_0.33+ds-1+b2_arm64.deb
2023-07-23 10:42
157K
libcoq-ott_0.33+ds-1+b2_armhf.deb
2023-09-22 08:57
157K
libcoq-ott_0.33+ds-1+b2_i386.deb
2023-09-22 08:42
157K
libcoq-ott_0.33+ds-1+b2_ppc64el.deb
2023-07-23 10:11
157K
libcoq-ott_0.33+ds-1+b2_s390x.deb
2023-09-22 08:57
157K
libcoq-ott_0.33+ds-1+b3_arm64.deb
2023-09-22 08:57
157K
libcoq-ott_0.33+ds-1+b3_ppc64el.deb
2023-09-22 08:58
157K
libcoq-ott_0.33+ds-1_amd64.deb
2023-06-12 19:44
157K
libcoq-ott_0.33+ds-1_arm64.deb
2023-06-12 20:10
160K
libcoq-ott_0.33+ds-1_armhf.deb
2023-06-13 00:44
157K
libcoq-ott_0.33+ds-1_i386.deb
2023-06-12 20:36
157K
libcoq-ott_0.33+ds-1_ppc64el.deb
2023-06-14 23:14
160K
libcoq-ott_0.33+ds-1_riscv64.deb
2023-09-05 04:53
157K
libcoq-ott_0.33+ds-1_s390x.deb
2023-06-13 05:55
157K
libcoq-ott_0.33+ds-2+b1_amd64.deb
2024-03-19 14:51
156K
libcoq-ott_0.33+ds-2+b1_arm64.deb
2024-03-19 14:46
156K
libcoq-ott_0.33+ds-2+b1_armhf.deb
2024-03-26 11:38
156K
libcoq-ott_0.33+ds-2+b1_i386.deb
2024-03-19 14:51
156K
libcoq-ott_0.33+ds-2+b1_ppc64el.deb
2024-03-19 14:46
157K
libcoq-ott_0.33+ds-2+b1_riscv64.deb
2024-02-14 11:50
156K
libcoq-ott_0.33+ds-2+b1_s390x.deb
2024-03-19 17:14
156K
libcoq-ott_0.33+ds-2+b2_riscv64.deb
2024-04-10 23:54
156K
libcoq-ott_0.33+ds-2_amd64.deb
2023-12-22 06:12
156K
libcoq-ott_0.33+ds-2_arm64.deb
2023-12-22 06:02
156K
libcoq-ott_0.33+ds-2_armhf.deb
2023-12-22 06:02
156K
libcoq-ott_0.33+ds-2_i386.deb
2023-12-22 06:12
156K
libcoq-ott_0.33+ds-2_ppc64el.deb
2023-12-22 05:57
156K
libcoq-ott_0.33+ds-2_riscv64.deb
2023-12-22 13:21
156K
libcoq-ott_0.33+ds-2_s390x.deb
2023-12-22 06:02
156K
libcoq-ott_0.33+ds-3_amd64.deb
2024-04-27 18:03
163K
libcoq-ott_0.33+ds-3_arm64.deb
2024-04-27 18:14
163K
libcoq-ott_0.33+ds-3_armhf.deb
2024-04-27 18:14
163K
libcoq-ott_0.33+ds-3_i386.deb
2024-04-27 13:50
163K
libcoq-ott_0.33+ds-3_ppc64el.deb
2024-04-27 13:12
163K
libcoq-ott_0.33+ds-3_riscv64.deb
2024-04-27 13:50
163K
libcoq-ott_0.33+ds-3_s390x.deb
2024-04-27 18:42
163K
ott-tools_0.32+ds-2+b1_amd64.deb
2022-07-11 16:55
1.2M
ott-tools_0.32+ds-2+b1_arm64.deb
2022-09-07 16:57
1.4M
ott-tools_0.32+ds-2+b1_armhf.deb
2022-09-07 16:57
1.2M
ott-tools_0.32+ds-2+b1_i386.deb
2022-09-07 16:47
1.2M
ott-tools_0.32+ds-2+b1_ppc64el.deb
2022-09-07 17:42
1.3M
ott-tools_0.32+ds-2+b1_s390x.deb
2022-09-07 21:37
1.3M
ott-tools_0.32+ds-2+b2_amd64.deb
2022-09-07 16:47
1.2M
ott-tools_0.32+ds-2+b2_arm64.deb
2022-11-29 19:14
1.4M
ott-tools_0.32+ds-2+b2_armhf.deb
2022-11-29 19:14
1.2M
ott-tools_0.32+ds-2+b2_i386.deb
2022-11-29 18:43
1.2M
ott-tools_0.32+ds-2+b2_ppc64el.deb
2022-11-29 20:00
1.3M
ott-tools_0.32+ds-2+b2_s390x.deb
2022-11-29 21:46
1.3M
ott-tools_0.32+ds-2+b3_amd64.deb
2022-11-29 18:59
1.2M
ott-tools_0.32+ds-2+b3_arm64.deb
2023-01-23 21:11
1.4M
ott-tools_0.32+ds-2+b3_armhf.deb
2023-01-23 22:27
1.2M
ott-tools_0.32+ds-2+b3_i386.deb
2023-01-23 21:26
1.2M
ott-tools_0.32+ds-2+b3_ppc64el.deb
2023-01-24 00:14
1.3M
ott-tools_0.32+ds-2+b3_s390x.deb
2023-01-23 21:26
1.3M
ott-tools_0.32+ds-2+b4_amd64.deb
2023-01-23 21:11
1.2M
ott-tools_0.32+ds-2_amd64.deb
2022-07-10 12:36
1.2M
ott-tools_0.32+ds-2_arm64.deb
2022-07-10 13:26
1.4M
ott-tools_0.32+ds-2_armhf.deb
2022-07-10 13:26
1.2M
ott-tools_0.32+ds-2_i386.deb
2022-07-10 13:26
1.2M
ott-tools_0.32+ds-2_ppc64el.deb
2022-07-10 13:26
1.3M
ott-tools_0.32+ds-2_s390x.deb
2022-07-10 13:21
1.2M
ott-tools_0.32+ds-3+b1_amd64.deb
2023-02-14 01:26
1.2M
ott-tools_0.32+ds-3+b1_arm64.deb
2023-02-14 01:26
1.4M
ott-tools_0.32+ds-3+b1_armhf.deb
2023-02-14 01:42
1.2M
ott-tools_0.32+ds-3+b1_i386.deb
2023-02-14 01:42
1.2M
ott-tools_0.32+ds-3+b1_ppc64el.deb
2023-02-14 01:57
1.3M
ott-tools_0.32+ds-3+b1_s390x.deb
2023-02-14 01:42
1.3M
ott-tools_0.32+ds-3_amd64.deb
2023-01-25 04:44
1.2M
ott-tools_0.32+ds-3_arm64.deb
2023-01-25 04:44
1.4M
ott-tools_0.32+ds-3_armhf.deb
2023-01-25 04:44
1.2M
ott-tools_0.32+ds-3_i386.deb
2023-01-25 04:44
1.2M
ott-tools_0.32+ds-3_ppc64el.deb
2023-01-26 17:12
1.3M
ott-tools_0.32+ds-3_s390x.deb
2023-01-25 04:29
1.2M
ott-tools_0.33+ds-1+b1_amd64.deb
2023-07-23 09:25
1.2M
ott-tools_0.33+ds-1+b1_arm64.deb
2023-06-16 11:26
1.4M
ott-tools_0.33+ds-1+b1_armhf.deb
2023-07-23 12:16
1.2M
ott-tools_0.33+ds-1+b1_i386.deb
2023-07-23 10:26
1.2M
ott-tools_0.33+ds-1+b1_ppc64el.deb
2023-06-19 00:42
1.3M
ott-tools_0.33+ds-1+b1_riscv64.deb
2023-09-23 17:52
1.3M
ott-tools_0.33+ds-1+b1_s390x.deb
2023-07-23 19:30
1.3M
ott-tools_0.33+ds-1+b2_amd64.deb
2023-09-22 08:57
1.3M
ott-tools_0.33+ds-1+b2_arm64.deb
2023-07-23 10:42
1.4M
ott-tools_0.33+ds-1+b2_armhf.deb
2023-09-22 08:57
1.2M
ott-tools_0.33+ds-1+b2_i386.deb
2023-09-22 08:42
1.2M
ott-tools_0.33+ds-1+b2_ppc64el.deb
2023-07-23 10:11
1.3M
ott-tools_0.33+ds-1+b2_s390x.deb
2023-09-22 08:57
1.3M
ott-tools_0.33+ds-1+b3_arm64.deb
2023-09-22 08:57
1.4M
ott-tools_0.33+ds-1+b3_ppc64el.deb
2023-09-22 08:58
1.3M
ott-tools_0.33+ds-1_amd64.deb
2023-06-12 19:44
1.2M
ott-tools_0.33+ds-1_arm64.deb
2023-06-12 20:10
1.4M
ott-tools_0.33+ds-1_armhf.deb
2023-06-13 00:44
1.2M
ott-tools_0.33+ds-1_i386.deb
2023-06-12 20:36
1.2M
ott-tools_0.33+ds-1_ppc64el.deb
2023-06-14 23:14
1.3M
ott-tools_0.33+ds-1_riscv64.deb
2023-09-05 04:53
1.2M
ott-tools_0.33+ds-1_s390x.deb
2023-06-13 05:55
1.3M
ott-tools_0.33+ds-2+b1_amd64.deb
2024-03-19 14:51
1.3M
ott-tools_0.33+ds-2+b1_arm64.deb
2024-03-19 14:46
1.4M
ott-tools_0.33+ds-2+b1_armhf.deb
2024-03-26 11:38
1.2M
ott-tools_0.33+ds-2+b1_i386.deb
2024-03-19 14:51
1.2M
ott-tools_0.33+ds-2+b1_ppc64el.deb
2024-03-19 14:46
1.3M
ott-tools_0.33+ds-2+b1_riscv64.deb
2024-02-14 11:50
1.3M
ott-tools_0.33+ds-2+b1_s390x.deb
2024-03-19 17:14
1.3M
ott-tools_0.33+ds-2+b2_riscv64.deb
2024-04-10 23:54
1.3M
ott-tools_0.33+ds-2_amd64.deb
2023-12-22 06:12
1.3M
ott-tools_0.33+ds-2_arm64.deb
2023-12-22 06:02
1.4M
ott-tools_0.33+ds-2_armhf.deb
2023-12-22 06:02
1.2M
ott-tools_0.33+ds-2_i386.deb
2023-12-22 06:12
1.2M
ott-tools_0.33+ds-2_ppc64el.deb
2023-12-22 05:57
1.3M
ott-tools_0.33+ds-2_riscv64.deb
2023-12-22 13:21
1.3M
ott-tools_0.33+ds-2_s390x.deb
2023-12-22 06:02
1.3M
ott-tools_0.33+ds-3_amd64.deb
2024-04-27 18:03
1.3M
ott-tools_0.33+ds-3_arm64.deb
2024-04-27 18:14
1.4M
ott-tools_0.33+ds-3_armhf.deb
2024-04-27 18:14
1.2M
ott-tools_0.33+ds-3_i386.deb
2024-04-27 13:50
1.2M
ott-tools_0.33+ds-3_ppc64el.deb
2024-04-27 13:12
1.3M
ott-tools_0.33+ds-3_riscv64.deb
2024-04-27 13:50
1.3M
ott-tools_0.33+ds-3_s390x.deb
2024-04-27 18:42
1.3M
ott_0.32+ds-2.debian.tar.xz
2022-07-10 12:36
6.8K
ott_0.32+ds-2.dsc
2022-07-10 12:36
2.1K
ott_0.32+ds-3.debian.tar.xz
2023-01-25 03:58
6.8K
ott_0.32+ds-3.dsc
2023-01-25 03:58
2.1K
ott_0.32+ds.orig.tar.xz
2022-07-10 12:36
1.1M
ott_0.33+ds-1.debian.tar.xz
2023-06-12 16:34
6.5K
ott_0.33+ds-1.dsc
2023-06-12 16:34
2.1K
ott_0.33+ds-2.debian.tar.xz
2023-12-22 05:21
6.7K
ott_0.33+ds-2.dsc
2023-12-22 05:21
2.1K
ott_0.33+ds-3.debian.tar.xz
2024-04-26 10:01
7.9K
ott_0.33+ds-3.dsc
2024-04-26 10:01
2.1K
ott_0.33+ds.orig.tar.xz
2023-06-12 16:34
1.1M