| Parent directory/ | - | - |
| coq-simple-io_1.10.0-1build6.debian.tar.xz | 2.8 KiB | 19 Feb 2025 07:52:11 +0000 |
| coq-simple-io_1.10.0-1build6.dsc | 2.1 KiB | 19 Feb 2025 07:52:12 +0000 |
| coq-simple-io_1.10.0.orig.tar.gz | 33.6 KiB | 20 Nov 2024 18:47:26 +0000 |
| coq-simple-io_1.11.0-1build1.debian.tar.xz | 2.7 KiB | 20 Jun 2025 13:22:25 +0000 |
| coq-simple-io_1.11.0-1build1.dsc | 2.1 KiB | 20 Jun 2025 13:22:25 +0000 |
| coq-simple-io_1.11.0-1build4.debian.tar.xz | 2.8 KiB | 04 Mar 2026 17:33:30 +0000 |
| coq-simple-io_1.11.0-1build4.dsc | 2.1 KiB | 04 Mar 2026 17:33:30 +0000 |
| coq-simple-io_1.11.0-5build1.debian.tar.xz | 4.6 KiB | 31 Aug 2026 08:08:15 +0000 |
| coq-simple-io_1.11.0-5build1.dsc | 2.1 KiB | 31 Aug 2026 08:08:15 +0000 |
| coq-simple-io_1.11.0.orig.tar.gz | 34.7 KiB | 01 May 2025 16:23:24 +0000 |
| coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz | 3.3 KiB | 08 Apr 2024 07:57:39 +0000 |
| coq-simple-io_1.8.0-4ubuntu4.dsc | 2.2 KiB | 08 Apr 2024 07:57:39 +0000 |
| coq-simple-io_1.8.0.orig.tar.gz | 32.2 KiB | 05 Nov 2022 14:08:49 +0000 |
| libcoq-simple-io_1.10.0-1build6_arm64.deb | 270.5 KiB | 19 Feb 2025 17:01:18 +0000 |
| libcoq-simple-io_1.10.0-1build6_ppc64el.deb | 269.1 KiB | 19 Feb 2025 13:44:52 +0000 |
| libcoq-simple-io_1.10.0-1build6_riscv64.deb | 280.4 KiB | 19 Feb 2025 13:45:02 +0000 |
| libcoq-simple-io_1.10.0-1build6_s390x.deb | 266.5 KiB | 19 Feb 2025 11:18:46 +0000 |
| libcoq-simple-io_1.11.0-1build1_arm64.deb | 279.9 KiB | 20 Jun 2025 17:40:42 +0000 |
| libcoq-simple-io_1.11.0-1build1_ppc64el.deb | 279.5 KiB | 20 Jun 2025 17:40:46 +0000 |
| libcoq-simple-io_1.11.0-1build1_riscv64.deb | 290.1 KiB | 20 Jun 2025 19:30:23 +0000 |
| libcoq-simple-io_1.11.0-1build1_s390x.deb | 275.9 KiB | 20 Jun 2025 17:40:49 +0000 |
| libcoq-simple-io_1.11.0-1build4_arm64.deb | 248.9 KiB | 04 Mar 2026 17:34:50 +0000 |
| libcoq-simple-io_1.11.0-1build4_ppc64el.deb | 246.5 KiB | 04 Mar 2026 17:34:59 +0000 |
| libcoq-simple-io_1.11.0-1build4_riscv64.deb | 257.9 KiB | 04 Mar 2026 22:18:36 +0000 |
| libcoq-simple-io_1.11.0-1build4_s390x.deb | 245.0 KiB | 04 Mar 2026 17:35:09 +0000 |
| libcoq-simple-io_1.11.0-5build1_arm64.deb | 254.7 KiB | 31 Aug 2026 08:28:09 +0000 |
| libcoq-simple-io_1.11.0-5build1_armhf.deb | 214.7 KiB | 31 Aug 2026 08:28:11 +0000 |
| libcoq-simple-io_1.11.0-5build1_ppc64el.deb | 252.7 KiB | 31 Aug 2026 08:47:59 +0000 |
| libcoq-simple-io_1.11.0-5build1_riscv64.deb | 263.8 KiB | 31 Aug 2026 09:27:41 +0000 |
| libcoq-simple-io_1.11.0-5build1_s390x.deb | 250.1 KiB | 31 Aug 2026 08:48:03 +0000 |
| libcoq-simple-io_1.8.0-4ubuntu4_arm64.deb | 99.1 KiB | 08 Apr 2024 13:14:52 +0000 |
| libcoq-simple-io_1.8.0-4ubuntu4_armhf.deb | 94.8 KiB | 08 Apr 2024 13:15:02 +0000 |
| libcoq-simple-io_1.8.0-4ubuntu4_ppc64el.deb | 96.6 KiB | 08 Apr 2024 13:15:27 +0000 |
| libcoq-simple-io_1.8.0-4ubuntu4_riscv64.deb | 96.3 KiB | 08 Apr 2024 13:15:32 +0000 |
| libcoq-simple-io_1.8.0-4ubuntu4_s390x.deb | 96.2 KiB | 08 Apr 2024 13:15:47 +0000 |
