| / | | |
| coq-simple-io_1.11.0-1.debian.tar.xz | 2,676 | Tue, 18 Mar 2025 12:33:51 +0000 |
| coq-simple-io_1.11.0-1.dsc | 2,183 | Tue, 18 Mar 2025 12:33:51 +0000 |
| coq-simple-io_1.11.0.orig.tar.gz | 35,489 | Tue, 18 Mar 2025 12:33:51 +0000 |
| coq-simple-io_1.8.0-2.debian.tar.xz | 2,056 | Thu, 26 Jan 2023 12:44:51 +0000 |
| coq-simple-io_1.8.0-2.dsc | 2,151 | Thu, 26 Jan 2023 12:44:51 +0000 |
| coq-simple-io_1.8.0.orig.tar.gz | 32,939 | Sun, 25 Sep 2022 16:20:57 +0000 |
| libcoq-simple-io_1.11.0-1+b1_amd64.deb | 273,528 | Sun, 15 Jun 2025 11:15:14 +0000 |
| libcoq-simple-io_1.11.0-1+b1_arm64.deb | 275,216 | Sun, 15 Jun 2025 11:15:15 +0000 |
| libcoq-simple-io_1.11.0-1+b1_ppc64el.deb | 275,360 | Sun, 15 Jun 2025 11:00:08 +0000 |
| libcoq-simple-io_1.11.0-1+b1_riscv64.deb | 283,868 | Sun, 15 Jun 2025 11:35:29 +0000 |
| libcoq-simple-io_1.11.0-1+b1_s390x.deb | 272,320 | Tue, 17 Jun 2025 08:41:43 +0000 |
| libcoq-simple-io_1.8.0-2+b1_amd64.deb | 89,716 | Mon, 13 Feb 2023 07:28:57 +0000 |
| libcoq-simple-io_1.8.0-2+b1_arm64.deb | 92,112 | Mon, 13 Feb 2023 07:28:53 +0000 |
| libcoq-simple-io_1.8.0-2+b1_armhf.deb | 88,484 | Mon, 13 Feb 2023 07:28:50 +0000 |
| libcoq-simple-io_1.8.0-2+b1_i386.deb | 87,988 | Mon, 13 Feb 2023 07:44:17 +0000 |
| libcoq-simple-io_1.8.0-2+b1_ppc64el.deb | 90,248 | Tue, 14 Feb 2023 11:27:28 +0000 |
| libcoq-simple-io_1.8.0-2+b1_s390x.deb | 89,692 | Mon, 13 Feb 2023 07:34:00 +0000 |