coq-reduction-effects

0 directories 7 files 41 KiB total

Name	Size	Modified
Up
coq-reduction-effects_0.1.4-3.debian.tar.xz	1.5 KiB	01/25/2023 07:47:15 AM +00:00
coq-reduction-effects_0.1.4-3.dsc	2.2 KiB	01/25/2023 07:47:15 AM +00:00
coq-reduction-effects_0.1.4.orig.tar.gz	10 KiB	08/13/2022 05:08:40 AM +00:00
coq-reduction-effects_0.1.5-5.debian.tar.xz	1.8 KiB	08/04/2024 03:53:36 AM +00:00
coq-reduction-effects_0.1.5-5.dsc	1.9 KiB	08/04/2024 03:53:36 AM +00:00
coq-reduction-effects_0.1.5.orig.tar.gz	10 KiB	12/22/2023 10:16:38 AM +00:00
libcoq-reduction-effects_0.1.4-3+b2_armhf.deb	14 KiB	05/21/2023 01:16:59 AM +00:00