Index of Coq Reduction Effects

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
libcoq-reduction-effects_0.1.5-5build8_amd64.deb		23 days ago 15K 
[ ]
libcoq-reduction-effects_0.1.5-5build7_amd64.deb		5 months ago 15K 
[ ]
libcoq-reduction-effects_0.1.5-5build3_amd64.deb		10 months ago 16K 
[ ]
libcoq-reduction-effects_0.1.5-1build3_amd64.deb		1 year ago 14K 
[ ]
coq-reduction-effects_0.1.5.orig.tar.gz		2 years ago 10KGZIP compressed TAR archive
[ ]
coq-reduction-effects_0.1.5-5build8.dsc		23 days ago2.2K 
[ ]
coq-reduction-effects_0.1.5-5build8.debian.tar.xz		23 days ago2.1KTAR compressed archive
[ ]
coq-reduction-effects_0.1.5-5build7.dsc		5 months ago2.2K 
[ ]
coq-reduction-effects_0.1.5-5build7.debian.tar.xz		5 months ago2.1KTAR compressed archive
[ ]
coq-reduction-effects_0.1.5-5build3.dsc		10 months ago2.2K 
[ ]
coq-reduction-effects_0.1.5-5build3.debian.tar.xz		10 months ago2.0KTAR compressed archive
[ ]
coq-reduction-effects_0.1.5-1build3.dsc		1 year ago2.2K 
[ ]
coq-reduction-effects_0.1.5-1build3.debian.tar.xz		1 year ago1.9KTAR compressed archive