Filename Modification time Size coq-simple-io_1.8.0-2.debian.tar.xz 2023-01-26 13:44 CET 2056 B coq-simple-io_1.8.0-2.dsc 2023-01-26 13:44 CET 2151 B coq-simple-io_1.8.0-4.debian.tar.xz 2023-12-22 12:07 CET 2380 B coq-simple-io_1.8.0-4.dsc 2023-12-22 12:07 CET 2151 B coq-simple-io_1.8.0.orig.tar.gz 2022-09-25 18:20 CEST 32 KiB coq-simple-io_1.9.0-1.debian.tar.xz 2024-04-26 16:06 CEST 2568 B coq-simple-io_1.9.0-1.dsc 2024-04-26 16:06 CEST 2163 B coq-simple-io_1.9.0.orig.tar.gz 2024-04-26 16:06 CEST 33 KiB libcoq-simple-io_1.8.0-2+b1_amd64.deb 2023-02-13 08:28 CET 88 KiB libcoq-simple-io_1.8.0-2+b1_arm64.deb 2023-02-13 08:28 CET 90 KiB libcoq-simple-io_1.8.0-2+b1_armhf.deb 2023-02-13 08:28 CET 86 KiB libcoq-simple-io_1.8.0-2+b1_i386.deb 2023-02-13 08:44 CET 86 KiB libcoq-simple-io_1.8.0-2+b1_ppc64el.deb 2023-02-14 12:27 CET 88 KiB libcoq-simple-io_1.8.0-2+b1_s390x.deb 2023-02-13 08:34 CET 88 KiB libcoq-simple-io_1.8.0-4_amd64.deb 2023-12-23 12:52 CET 88 KiB libcoq-simple-io_1.8.0-4_arm64.deb 2023-12-23 12:47 CET 90 KiB libcoq-simple-io_1.8.0-4_armhf.deb 2023-12-23 12:52 CET 87 KiB libcoq-simple-io_1.8.0-4_i386.deb 2023-12-23 12:52 CET 86 KiB libcoq-simple-io_1.8.0-4_ppc64el.deb 2023-12-23 12:52 CET 89 KiB libcoq-simple-io_1.8.0-4_s390x.deb 2023-12-23 12:52 CET 88 KiB libcoq-simple-io_1.9.0-1_amd64.deb 2024-04-28 17:11 CEST 188 KiB libcoq-simple-io_1.9.0-1_arm64.deb 2024-04-28 17:11 CEST 190 KiB libcoq-simple-io_1.9.0-1_armhf.deb 2024-04-28 17:16 CEST 186 KiB libcoq-simple-io_1.9.0-1_i386.deb 2024-04-28 17:11 CEST 185 KiB libcoq-simple-io_1.9.0-1_ppc64el.deb 2024-04-28 17:11 CEST 190 KiB libcoq-simple-io_1.9.0-1_riscv64.deb 2024-04-28 17:37 CEST 196 KiB libcoq-simple-io_1.9.0-1_s390x.deb 2024-04-28 17:21 CEST 186 KiB