Index of /debian/pool/main/c/coq-reduction-effects

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory - [   ] coq-reduction-effects_0.1.4-2.debian.tar.xz 2022-09-06 11:09 1.5K [   ] coq-reduction-effects_0.1.4-2.dsc 2022-09-06 11:09 2.2K [   ] coq-reduction-effects_0.1.4.orig.tar.gz 2022-08-13 07:08 10K [   ] libcoq-reduction-effects_0.1.4-2_amd64.deb 2022-09-06 14:11 14K [   ] libcoq-reduction-effects_0.1.4-2_arm64.deb 2022-09-06 14:11 14K [   ] libcoq-reduction-effects_0.1.4-2_armhf.deb 2022-09-06 13:40 13K [   ] libcoq-reduction-effects_0.1.4-2_i386.deb 2022-09-06 14:56 13K [   ] libcoq-reduction-effects_0.1.4-2_ppc64el.deb 2022-09-06 15:42 14K [   ] libcoq-reduction-effects_0.1.4-2_s390x.deb 2022-09-07 04:14 14K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80