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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-reduction-effects_0.1.4-3_ppc64el.deb 144522023-Jan-26 21:57
libcoq-reduction-effects_0.1.4-3_arm64.deb 143482023-Jan-25 08:12
libcoq-reduction-effects_0.1.4-3_amd64.deb 141682023-Jan-25 08:12
libcoq-reduction-effects_0.1.4-3_s390x.deb 139162023-Jan-25 08:07
libcoq-reduction-effects_0.1.4-3_armhf.deb 137322023-Jan-25 08:12
libcoq-reduction-effects_0.1.4-3_i386.deb 136522023-Jan-25 08:12
coq-reduction-effects_0.1.4.orig.tar.gz 102922022-Aug-13 05:08
coq-reduction-effects_0.1.4-3.dsc 22142023-Jan-25 07:47
coq-reduction-effects_0.1.4-3.debian.tar.xz 15722023-Jan-25 07:47