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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-reduction-effects_0.1.4-2.debian.tar.xz 15162022-Sep-06 09:09
coq-reduction-effects_0.1.4-2.dsc 22092022-Sep-06 09:09
coq-reduction-effects_0.1.4.orig.tar.gz 102922022-Aug-13 05:08
libcoq-reduction-effects_0.1.4-2+b1_i386.deb 138762022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-2+b1_armhf.deb 140882022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-2+b1_s390x.deb 141402022-Nov-30 02:36
libcoq-reduction-effects_0.1.4-2+b1_amd64.deb 143922022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-2+b1_arm64.deb 145882022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-2+b1_ppc64el.deb 147162022-Nov-30 00:45