Filename Modification time Size coq-unicoq_1.6-8.16-2.debian.tar.xz 2023-01-25 09:07 CET 2364 B coq-unicoq_1.6-8.16-2.dsc 2023-01-25 09:07 CET 2084 B coq-unicoq_1.6-8.16.orig.tar.gz 2022-09-06 11:09 CEST 580 KiB coq-unicoq_1.6-8.18-1.debian.tar.xz 2023-12-22 11:21 CET 2588 B coq-unicoq_1.6-8.18-1.dsc 2023-12-22 11:21 CET 2094 B coq-unicoq_1.6-8.18.orig.tar.gz 2023-12-22 11:21 CET 580 KiB coq-unicoq_1.6-8.19-1.debian.tar.xz 2024-04-26 16:01 CEST 2608 B coq-unicoq_1.6-8.19-1.dsc 2024-04-26 16:01 CEST 2094 B coq-unicoq_1.6-8.19.orig.tar.gz 2024-04-26 16:01 CEST 580 KiB libcoq-unicoq_1.6-8.16-2+b1_amd64.deb 2023-02-13 06:11 CET 77 KiB libcoq-unicoq_1.6-8.16-2+b1_arm64.deb 2023-02-13 06:11 CET 81 KiB libcoq-unicoq_1.6-8.16-2+b1_armhf.deb 2023-02-13 06:26 CET 76 KiB libcoq-unicoq_1.6-8.16-2+b1_i386.deb 2023-02-13 06:16 CET 71 KiB libcoq-unicoq_1.6-8.16-2+b1_ppc64el.deb 2023-02-13 06:26 CET 79 KiB libcoq-unicoq_1.6-8.16-2+b1_s390x.deb 2023-02-13 06:26 CET 79 KiB libcoq-unicoq_1.6-8.18-1_amd64.deb 2023-12-22 12:07 CET 78 KiB libcoq-unicoq_1.6-8.18-1_arm64.deb 2023-12-22 11:57 CET 82 KiB libcoq-unicoq_1.6-8.18-1_armhf.deb 2023-12-22 12:02 CET 77 KiB libcoq-unicoq_1.6-8.18-1_i386.deb 2023-12-22 12:07 CET 72 KiB libcoq-unicoq_1.6-8.18-1_ppc64el.deb 2023-12-22 11:57 CET 80 KiB libcoq-unicoq_1.6-8.18-1_s390x.deb 2023-12-22 12:02 CET 80 KiB libcoq-unicoq_1.6-8.19-1_amd64.deb 2024-04-26 17:32 CEST 78 KiB libcoq-unicoq_1.6-8.19-1_arm64.deb 2024-04-26 17:26 CEST 83 KiB libcoq-unicoq_1.6-8.19-1_armhf.deb 2024-04-28 00:30 CEST 77 KiB libcoq-unicoq_1.6-8.19-1_i386.deb 2024-04-26 17:26 CEST 72 KiB libcoq-unicoq_1.6-8.19-1_ppc64el.deb 2024-04-26 17:26 CEST 81 KiB libcoq-unicoq_1.6-8.19-1_riscv64.deb 2024-04-28 01:26 CEST 80 KiB libcoq-unicoq_1.6-8.19-1_s390x.deb 2024-04-28 00:58 CEST 80 KiB