Index of /parrot/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.16.1+dfsg-1.dsc 26292022-Nov-29 08:35
coq_8.16.1+dfsg-1.debian.tar.xz 332362022-Nov-29 08:35
coqide_8.16.1+dfsg-1+b2_i386.deb 18062362023-Feb-13 01:29
coqide_8.16.1+dfsg-1+b2_armhf.deb 18347282023-Feb-13 01:55
coqide_8.16.1+dfsg-1+b2_amd64.deb 19934122023-Feb-13 01:14
coqide_8.16.1+dfsg-1+b2_arm64.deb 23107562023-Feb-13 01:55
coq_8.16.1+dfsg.orig.tar.xz 47176682022-Nov-29 08:35
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 215260562023-Feb-13 01:14
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 215276882023-Feb-13 01:55
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 215280362023-Feb-13 01:55
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 215284322023-Feb-13 01:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 217471762023-Feb-13 01:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 222592802023-Feb-13 01:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 225560682023-Feb-13 01:14
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 230930002023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 424495282023-Feb-13 01:29
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 427254242023-Feb-13 01:14
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 428250802023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 431144642023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_i386.deb 875173962023-Feb-13 01:29
coq_8.16.1+dfsg-1+b2_armhf.deb 898675922023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_amd64.deb 932125722023-Feb-13 01:14
coq_8.16.1+dfsg-1+b2_arm64.deb 1021681002023-Feb-13 01:55