coq-reduction-effects

0 directories 11 files

Name	Size	Modified
Up
coq-reduction-effects_0.1.4-3build2.debian.tar.xz	1.6 KiB	02/16/2023 06:50:17 PM +00:00
coq-reduction-effects_0.1.4-3build2.dsc	2.2 KiB	02/16/2023 06:50:17 PM +00:00
coq-reduction-effects_0.1.4-4build1.debian.tar.xz	1.7 KiB	07/26/2023 05:19:35 AM +00:00
coq-reduction-effects_0.1.4-4build1.dsc	2.2 KiB	07/26/2023 05:19:35 AM +00:00
coq-reduction-effects_0.1.4.orig.tar.gz	10 KiB	08/13/2022 11:24:05 AM +00:00
coq-reduction-effects_0.1.5-1build3.debian.tar.xz	1.9 KiB	04/08/2024 07:57:41 AM +00:00
coq-reduction-effects_0.1.5-1build3.dsc	2.2 KiB	04/08/2024 07:57:41 AM +00:00
coq-reduction-effects_0.1.5.orig.tar.gz	10 KiB	12/22/2023 05:26:56 PM +00:00
libcoq-reduction-effects_0.1.4-3build2_amd64.deb	14 KiB	02/16/2023 06:50:27 PM +00:00
libcoq-reduction-effects_0.1.4-4build1_amd64.deb	14 KiB	07/26/2023 06:22:12 AM +00:00
libcoq-reduction-effects_0.1.5-1build3_amd64.deb	14 KiB	04/08/2024 07:57:47 AM +00:00