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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-reduction-effects_0.1.4-2+b1_ppc64el.deb 147162022-Nov-30 00:45
libcoq-reduction-effects_0.1.4-2+b1_arm64.deb 145882022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-3_ppc64el.deb 144522023-Jan-26 21:57
libcoq-reduction-effects_0.1.4-2+b1_amd64.deb 143922022-Nov-29 23:43
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-2+b1_s390x.deb 141402022-Nov-30 02:36
libcoq-reduction-effects_0.1.4-2+b1_armhf.deb 140882022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-3_s390x.deb 139162023-Jan-25 08:07
libcoq-reduction-effects_0.1.4-2+b1_i386.deb 138762022-Nov-29 23:43
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-2.dsc 22092022-Sep-06 09:09
coq-reduction-effects_0.1.4-3.debian.tar.xz 15722023-Jan-25 07:47
coq-reduction-effects_0.1.4-2.debian.tar.xz 15162022-Sep-06 09:09