| .. |
|
|
|
libcoq-ott_0.32+ds-3+b1_amd64.deb
|
2023-02-14 06:26:42 |
159.79 KiB
|
|
libcoq-ott_0.32+ds-3+b1_arm64.deb
|
2023-02-14 06:26:56 |
159.76 KiB
|
|
libcoq-ott_0.32+ds-3+b1_armhf.deb
|
2023-02-14 06:42:15 |
159.73 KiB
|
|
libcoq-ott_0.32+ds-3+b1_i386.deb
|
2023-02-14 06:42:11 |
159.71 KiB
|
|
libcoq-ott_0.32+ds-3+b1_ppc64el.deb
|
2023-02-14 06:57:23 |
159.79 KiB
|
|
libcoq-ott_0.32+ds-3+b1_s390x.deb
|
2023-02-14 06:42:20 |
159.78 KiB
|
|
libcoq-ott_0.34+ds-1+b4_amd64.deb
|
2025-06-15 10:49:50 |
157.26 KiB
|
|
libcoq-ott_0.34+ds-1+b4_arm64.deb
|
2025-06-15 10:55:03 |
157.38 KiB
|
|
libcoq-ott_0.34+ds-1+b4_ppc64el.deb
|
2025-06-15 10:49:59 |
157.31 KiB
|
|
libcoq-ott_0.34+ds-1+b4_riscv64.deb
|
2025-06-15 11:55:37 |
157.27 KiB
|
|
libcoq-ott_0.34+ds-1+b4_s390x.deb
|
2025-06-16 18:44:48 |
157.29 KiB
|
|
libcoq-ott_0.34+ds-1+b6_ppc64el.deb
|
2026-06-21 05:33:31 |
157.21 KiB
|
|
libcoq-ott_0.34+ds-1+b6_riscv64.deb
|
2026-06-22 13:42:39 |
157.26 KiB
|
|
libcoq-ott_0.34+ds-1+b6_s390x.deb
|
2026-06-21 05:33:34 |
157.33 KiB
|
|
libcoq-ott_0.34+ds-1+b7_amd64.deb
|
2026-06-21 05:33:39 |
157.24 KiB
|
|
libcoq-ott_0.34+ds-1+b7_arm64.deb
|
2026-06-21 05:33:41 |
157.16 KiB
|
|
libcoq-ott_0.34+ds-4_amd64.deb
|
2026-07-10 15:53:54 |
160.37 KiB
|
|
libcoq-ott_0.34+ds-4_arm64.deb
|
2026-07-11 18:36:46 |
160.38 KiB
|
|
libcoq-ott_0.34+ds-4_ppc64el.deb
|
2026-07-11 18:36:49 |
160.30 KiB
|
|
libcoq-ott_0.34+ds-4_riscv64.deb
|
2026-07-14 14:36:14 |
160.30 KiB
|
|
libcoq-ott_0.34+ds-4_s390x.deb
|
2026-07-11 18:36:50 |
160.27 KiB
|
|
ott-tools_0.32+ds-3+b1_amd64.deb
|
2023-02-14 06:26:42 |
1.25 MiB
|
|
ott-tools_0.32+ds-3+b1_arm64.deb
|
2023-02-14 06:26:56 |
1.39 MiB
|
|
ott-tools_0.32+ds-3+b1_armhf.deb
|
2023-02-14 06:42:15 |
1.20 MiB
|
|
ott-tools_0.32+ds-3+b1_i386.deb
|
2023-02-14 06:42:11 |
1.16 MiB
|
|
ott-tools_0.32+ds-3+b1_ppc64el.deb
|
2023-02-14 06:57:23 |
1.29 MiB
|
|
ott-tools_0.32+ds-3+b1_s390x.deb
|
2023-02-14 06:42:20 |
1.25 MiB
|
|
ott-tools_0.34+ds-1+b4_amd64.deb
|
2025-06-15 10:49:50 |
1.42 MiB
|
|
ott-tools_0.34+ds-1+b4_arm64.deb
|
2025-06-15 10:55:03 |
1.57 MiB
|
|
ott-tools_0.34+ds-1+b4_ppc64el.deb
|
2025-06-15 10:49:59 |
1.45 MiB
|
|
ott-tools_0.34+ds-1+b4_riscv64.deb
|
2025-06-15 11:55:37 |
1.47 MiB
|
|
ott-tools_0.34+ds-1+b4_s390x.deb
|
2025-06-16 18:44:48 |
1.44 MiB
|
|
ott-tools_0.34+ds-1+b6_ppc64el.deb
|
2026-06-21 05:33:31 |
1.46 MiB
|
|
ott-tools_0.34+ds-1+b6_riscv64.deb
|
2026-06-22 13:42:39 |
1.50 MiB
|
|
ott-tools_0.34+ds-1+b6_s390x.deb
|
2026-06-21 05:33:34 |
1.48 MiB
|
|
ott-tools_0.34+ds-1+b7_amd64.deb
|
2026-06-21 05:33:39 |
1.44 MiB
|
|
ott-tools_0.34+ds-1+b7_arm64.deb
|
2026-06-21 05:33:41 |
1.59 MiB
|
|
ott-tools_0.34+ds-4_amd64.deb
|
2026-07-10 15:53:54 |
1.44 MiB
|
|
ott-tools_0.34+ds-4_arm64.deb
|
2026-07-11 18:36:46 |
1.59 MiB
|
|
ott-tools_0.34+ds-4_ppc64el.deb
|
2026-07-11 18:36:49 |
1.46 MiB
|
|
ott-tools_0.34+ds-4_riscv64.deb
|
2026-07-14 14:36:14 |
1.50 MiB
|
|
ott-tools_0.34+ds-4_s390x.deb
|
2026-07-11 18:36:50 |
1.48 MiB
|
|
ott_0.32+ds-3.debian.tar.xz
|
2023-01-25 08:58:28 |
6.79 KiB
|
|
ott_0.32+ds-3.dsc
|
2023-01-25 08:58:28 |
2.06 KiB
|
|
ott_0.32+ds.orig.tar.xz
|
2022-07-10 16:36:04 |
1.09 MiB
|
|
ott_0.34+ds-1.debian.tar.xz
|
2025-01-04 10:35:48 |
6.80 KiB
|
|
ott_0.34+ds-1.dsc
|
2025-01-04 10:35:48 |
2.07 KiB
|
|
ott_0.34+ds-4.debian.tar.xz
|
2026-07-10 15:53:54 |
6.94 KiB
|
|
ott_0.34+ds-4.dsc
|
2026-07-10 15:53:54 |
2.08 KiB
|
|
ott_0.34+ds.orig.tar.xz
|
2025-01-04 10:35:48 |
1.09 MiB
|