Filename Modification time Size coq-reduction-effects_0.1.4-3.debian.tar.xz 2023-01-25 08:47 CET 1572 B coq-reduction-effects_0.1.4-3.dsc 2023-01-25 08:47 CET 2214 B coq-reduction-effects_0.1.4.orig.tar.gz 2022-08-13 07:08 CEST 10 KiB coq-reduction-effects_0.1.5-1.debian.tar.xz 2023-12-22 11:16 CET 1708 B coq-reduction-effects_0.1.5-1.dsc 2023-12-22 11:16 CET 2214 B coq-reduction-effects_0.1.5-4.debian.tar.xz 2024-04-26 16:01 CEST 1804 B coq-reduction-effects_0.1.5-4.dsc 2024-04-26 16:01 CEST 2214 B coq-reduction-effects_0.1.5.orig.tar.gz 2023-12-22 11:16 CET 10 KiB libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 2023-02-13 06:11 CET 14 KiB libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 2023-02-13 06:11 CET 14 KiB libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 2023-02-13 06:26 CET 14 KiB libcoq-reduction-effects_0.1.4-3+b1_i386.deb 2023-02-13 06:16 CET 14 KiB libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb 2023-02-13 06:27 CET 14 KiB libcoq-reduction-effects_0.1.4-3+b1_s390x.deb 2023-02-13 06:11 CET 14 KiB libcoq-reduction-effects_0.1.5-1_amd64.deb 2023-12-22 12:07 CET 14 KiB libcoq-reduction-effects_0.1.5-1_arm64.deb 2023-12-22 11:57 CET 14 KiB libcoq-reduction-effects_0.1.5-1_armhf.deb 2023-12-22 11:57 CET 14 KiB libcoq-reduction-effects_0.1.5-1_i386.deb 2023-12-22 12:07 CET 13 KiB libcoq-reduction-effects_0.1.5-1_ppc64el.deb 2023-12-22 11:57 CET 14 KiB libcoq-reduction-effects_0.1.5-1_s390x.deb 2023-12-22 11:57 CET 14 KiB libcoq-reduction-effects_0.1.5-4+b1_armhf.deb 2024-04-27 09:31 CEST 14 KiB libcoq-reduction-effects_0.1.5-4+b1_riscv64.deb 2024-04-27 09:42 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b1_s390x.deb 2024-04-27 09:37 CEST 14 KiB libcoq-reduction-effects_0.1.5-4_amd64.deb 2024-04-26 17:26 CEST 14 KiB libcoq-reduction-effects_0.1.5-4_arm64.deb 2024-04-26 17:26 CEST 15 KiB libcoq-reduction-effects_0.1.5-4_i386.deb 2024-04-26 17:26 CEST 14 KiB libcoq-reduction-effects_0.1.5-4_ppc64el.deb 2024-04-26 17:26 CEST 15 KiB