Index of /debian/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_9.2.0+dfsg-3+b1_amd64.deb 412887282026-Jul-27 19:33
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb 556998202026-Jul-27 19:33
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb 257915082026-Jul-27 19:33
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 11545482026-Jul-27 19:33
rocqide_9.2.0+dfsg-3+b1_amd64.deb 19513082026-Jul-27 19:33
coq_9.2.0+dfsg-3_arm64.deb 445743722026-Jul-27 14:58
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 561211482026-Jul-27 14:58
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 262970802026-Jul-27 14:58
libcoq-core_9.2.0+dfsg-3_arm64.deb 11517682026-Jul-27 14:58
rocqide_9.2.0+dfsg-3_arm64.deb 22510962026-Jul-27 14:58
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 520035442026-Jun-19 05:42
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 242038642026-Jun-19 05:42
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 235258322026-Jun-19 05:42
coq_8.20.1+dfsg-1+b4_amd64.deb 711119402026-Jun-19 05:42
coqide_8.20.1+dfsg-1+b4_amd64.deb 19362322026-Jun-19 05:42
coq_8.20.1+dfsg-1+b1_arm64.deb 744460162025-Jun-15 05:17
coqide_8.20.1+dfsg-1+b1_arm64.deb 22464762025-Jun-15 05:17
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 685691602025-Jun-15 05:17
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 263879682025-Jun-15 05:17
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 235313762025-Jun-15 05:17
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 687002082025-Jun-15 01:07
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 259557602025-Jun-15 01:07
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 235271642025-Jun-15 01:07
coq_8.20.1+dfsg-1+b1_amd64.deb 702222242025-Jun-15 01:07
coqide_8.20.1+dfsg-1+b1_amd64.deb 19303602025-Jun-15 01:07
coq_8.16.1+dfsg-1+b2_amd64.deb 932125722023-Feb-13 01:14
coqide_8.16.1+dfsg-1+b2_amd64.deb 19934122023-Feb-13 01:14
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 427254242023-Feb-13 01:14
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 225560682023-Feb-13 01:14
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 215260562023-Feb-13 01:14