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-5.debian.tar.xz 2024-08-04 05:53 CEST 1876 B coq-reduction-effects_0.1.5-5.dsc 2024-08-04 05:53 CEST 1995 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-5+b2_amd64.deb 2024-08-21 05:54 CEST 15 KiB libcoq-reduction-effects_0.1.5-5+b2_arm64.deb 2024-08-21 05:54 CEST 16 KiB libcoq-reduction-effects_0.1.5-5+b2_riscv64.deb 2024-08-21 07:21 CEST 15 KiB libcoq-reduction-effects_0.1.5-5+b2_s390x.deb 2024-08-21 06:09 CEST 15 KiB libcoq-reduction-effects_0.1.5-5+b3_arm64.deb 2024-11-20 17:40 CET 15 KiB libcoq-reduction-effects_0.1.5-5+b3_ppc64el.deb 2024-08-30 17:15 CEST 16 KiB libcoq-reduction-effects_0.1.5-5+b3_riscv64.deb 2024-11-20 18:02 CET 15 KiB libcoq-reduction-effects_0.1.5-5+b3_s390x.deb 2024-11-21 05:01 CET 15 KiB libcoq-reduction-effects_0.1.5-5+b4_amd64.deb 2024-11-20 17:40 CET 15 KiB libcoq-reduction-effects_0.1.5-5+b4_ppc64el.deb 2024-11-20 17:35 CET 15 KiB