Parent Directory/ | | - | Directory |
libcoq-ott_0.32+ds-3build2_arm64.deb | 2023-Feb-17 03:44:46 | 181.1K | application/vnd.debian.binary-package |
libcoq-ott_0.32+ds-3build2_armhf.deb | 2023-Feb-17 03:44:48 | 181.0K | application/vnd.debian.binary-package |
libcoq-ott_0.32+ds-3build2_ppc64el.deb | 2023-Feb-17 02:50:49 | 181.1K | application/vnd.debian.binary-package |
libcoq-ott_0.32+ds-3build2_riscv64.deb | 2023-Feb-17 04:13:58 | 181.1K | application/vnd.debian.binary-package |
libcoq-ott_0.32+ds-3build2_s390x.deb | 2023-Feb-17 03:44:53 | 181.1K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-1build1_arm64.deb | 2023-Jul-26 14:22:14 | 177.9K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-1build1_armhf.deb | 2023-Jul-26 14:22:18 | 177.9K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-1build1_ppc64el.deb | 2023-Jul-26 14:22:23 | 177.9K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-1build1_riscv64.deb | 2023-Jul-26 14:55:41 | 177.9K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-1build1_s390x.deb | 2023-Jul-26 14:22:28 | 178.0K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-2build3_arm64.deb | 2024-Apr-01 18:35:31 | 177.4K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-2build3_armhf.deb | 2024-Apr-01 18:36:42 | 177.4K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-2build3_ppc64el.deb | 2024-Apr-02 04:04:27 | 177.4K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-2build3_riscv64.deb | 2024-Apr-01 18:38:18 | 177.4K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-2build3_s390x.deb | 2024-Apr-01 23:39:47 | 177.5K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-4build1_arm64.deb | 2024-Aug-05 00:09:30 | 185.5K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-4build1_armhf.deb | 2024-Aug-05 00:09:31 | 185.3K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-4build1_ppc64el.deb | 2024-Aug-05 00:09:34 | 185.5K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-4build1_riscv64.deb | 2024-Aug-05 00:09:34 | 185.5K | application/vnd.debian.binary-package |
libcoq-ott_0.33+ds-4build1_s390x.deb | 2024-Aug-05 00:09:35 | 185.5K | application/vnd.debian.binary-package |
ott-tools_0.32+ds-3build2_arm64.deb | 2023-Feb-17 03:44:46 | 1.6M | application/vnd.debian.binary-package |
ott-tools_0.32+ds-3build2_armhf.deb | 2023-Feb-17 03:44:48 | 1.3M | application/vnd.debian.binary-package |
ott-tools_0.32+ds-3build2_ppc64el.deb | 2023-Feb-17 02:50:49 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.32+ds-3build2_riscv64.deb | 2023-Feb-17 04:13:58 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.32+ds-3build2_s390x.deb | 2023-Feb-17 03:44:53 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-1build1_arm64.deb | 2023-Jul-26 14:22:14 | 1.6M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-1build1_armhf.deb | 2023-Jul-26 14:22:18 | 1.3M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-1build1_ppc64el.deb | 2023-Jul-26 14:22:23 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-1build1_riscv64.deb | 2023-Jul-26 14:55:41 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-1build1_s390x.deb | 2023-Jul-26 14:22:28 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-2build3_arm64.deb | 2024-Apr-01 18:35:31 | 1.7M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-2build3_armhf.deb | 2024-Apr-01 18:36:42 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-2build3_ppc64el.deb | 2024-Apr-02 04:04:27 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-2build3_riscv64.deb | 2024-Apr-01 18:38:18 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-2build3_s390x.deb | 2024-Apr-01 23:39:47 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-4build1_arm64.deb | 2024-Aug-05 00:09:30 | 1.6M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-4build1_armhf.deb | 2024-Aug-05 00:09:31 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-4build1_ppc64el.deb | 2024-Aug-05 00:09:33 | 1.5M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-4build1_riscv64.deb | 2024-Aug-05 00:09:34 | 1.4M | application/vnd.debian.binary-package |
ott-tools_0.33+ds-4build1_s390x.deb | 2024-Aug-05 00:09:35 | 1.5M | application/vnd.debian.binary-package |
ott_0.32+ds-3build2.debian.tar.xz | 2023-Feb-17 02:50:14 | 6.9K | application/x-xz |
ott_0.32+ds-3build2.dsc | 2023-Feb-17 02:50:14 | 2.0K | application/octet-stream |
ott_0.32+ds.orig.tar.xz | 2022-Jul-11 07:39:10 | 1.0M | application/x-xz |
ott_0.33+ds-1build1.debian.tar.xz | 2023-Jul-26 13:19:30 | 6.5K | application/x-xz |
ott_0.33+ds-1build1.dsc | 2023-Jul-26 13:19:30 | 2.0K | application/octet-stream |
ott_0.33+ds-2build3.debian.tar.xz | 2024-Apr-01 13:43:19 | 6.8K | application/x-xz |
ott_0.33+ds-2build3.dsc | 2024-Apr-01 13:43:19 | 2.1K | application/octet-stream |
ott_0.33+ds-4build1.debian.tar.xz | 2024-Aug-05 00:09:16 | 8.0K | application/x-xz |
ott_0.33+ds-4build1.dsc | 2024-Aug-05 00:09:16 | 2.0K | application/octet-stream |
ott_0.33+ds-4build2.debian.tar.xz | 2024-Aug-21 17:17:38 | 8.0K | application/x-xz |
ott_0.33+ds-4build2.dsc | 2024-Aug-21 17:17:38 | 2.0K | application/octet-stream |
ott_0.33+ds.orig.tar.xz | 2023-Jun-13 13:30:00 | 1.0M | application/x-xz |