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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-reduction-effects_0.1.4-2_s390x.deb 138642022-Sep-07 02:14
libcoq-reduction-effects_0.1.4-2_ppc64el.deb 145082022-Sep-06 13:42
libcoq-reduction-effects_0.1.4-2_i386.deb 136082022-Sep-06 12:56
libcoq-reduction-effects_0.1.4-2_armhf.deb 138122022-Sep-06 11:40
libcoq-reduction-effects_0.1.4-2_arm64.deb 142722022-Sep-06 12:11
libcoq-reduction-effects_0.1.4-2_amd64.deb 140882022-Sep-06 12:11
libcoq-reduction-effects_0.1.4-2+b1_s390x.deb 141402022-Nov-30 02:36
libcoq-reduction-effects_0.1.4-2+b1_ppc64el.deb 147162022-Nov-30 00:45
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_arm64.deb 145882022-Nov-29 23:43
libcoq-reduction-effects_0.1.4-2+b1_amd64.deb 143922022-Nov-29 23:43
coq-reduction-effects_0.1.4.orig.tar.gz 102922022-Aug-13 05:08
coq-reduction-effects_0.1.4-2.dsc 22092022-Sep-06 09:09
coq-reduction-effects_0.1.4-2.debian.tar.xz 15162022-Sep-06 09:09