| Parent directory/ | - | - |
| libcoq-simple-io_1.8.0-1+b1_arm64.deb | 91908 | 2022-Nov-30 01:25 |
| libcoq-simple-io_1.8.0-2_arm64.deb | 91700 | 2023-Jan-26 15:11 |
| libcoq-simple-io_1.8.0-1+b1_ppc64el.deb | 90112 | 2022-Nov-30 02:56 |
| libcoq-simple-io_1.8.0-2_ppc64el.deb | 89932 | 2023-Jan-27 04:57 |
| libcoq-simple-io_1.8.0-1+b1_amd64.deb | 89672 | 2022-Nov-30 00:45 |
| libcoq-simple-io_1.8.0-1+b1_s390x.deb | 89580 | 2022-Nov-30 04:53 |
| libcoq-simple-io_1.8.0-2_amd64.deb | 89580 | 2023-Jan-26 15:26 |
| libcoq-simple-io_1.8.0-2_s390x.deb | 89320 | 2023-Jan-26 17:43 |
| libcoq-simple-io_1.8.0-1+b1_armhf.deb | 88544 | 2022-Nov-30 01:10 |
| libcoq-simple-io_1.8.0-2_armhf.deb | 88224 | 2023-Jan-26 14:25 |
| libcoq-simple-io_1.8.0-1+b1_i386.deb | 87960 | 2022-Nov-30 00:50 |
| libcoq-simple-io_1.8.0-2_i386.deb | 87676 | 2023-Jan-26 14:25 |
| coq-simple-io_1.8.0.orig.tar.gz | 32939 | 2022-Sep-25 16:20 |
| coq-simple-io_1.8.0-2.dsc | 2151 | 2023-Jan-26 12:44 |
| coq-simple-io_1.8.0-1.dsc | 2146 | 2022-Sep-25 16:20 |
| coq-simple-io_1.8.0-2.debian.tar.xz | 2056 | 2023-Jan-26 12:44 |
| coq-simple-io_1.8.0-1.debian.tar.xz | 1988 | 2022-Sep-25 16:20 |