coq-reduction-effects

0 directories 5 files 42 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
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb	14 KiB	02/13/2023 05:11:23 AM +00:00
libcoq-reduction-effects_0.1.4-3+b1_i386.deb	14 KiB	02/13/2023 05:16:48 AM +00:00