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-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-4+b1_amd64.deb 2024-06-15 12:59 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b1_arm64.deb 2024-06-15 13:10 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b1_i386.deb 2024-06-15 12:59 CEST 14 KiB libcoq-reduction-effects_0.1.5-4+b1_ppc64el.deb 2024-06-15 12:59 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b2_armhf.deb 2024-06-15 13:15 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b2_riscv64.deb 2024-06-15 13:15 CEST 15 KiB libcoq-reduction-effects_0.1.5-4+b2_s390x.deb 2024-06-15 22:00 CEST 15 KiB