Index of /kali/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb 236562082024-Aug-20 20:16
libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb 254764282024-Aug-20 20:16
coq_8.19.1+dfsg-3+b2_arm64.deb 917988042024-Aug-20 20:16
coqide_8.19.1+dfsg-3+b2_arm64.deb 24694402024-Aug-20 20:16
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb 670614362024-Aug-20 20:16
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb 250658562024-Aug-20 20:10
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 672185642024-Aug-20 20:10
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb 236578882024-Aug-20 20:10
coqide_8.19.1+dfsg-3+b2_amd64.deb 21513122024-Aug-20 20:10
coq_8.19.1+dfsg-3+b2_amd64.deb 866243722024-Aug-20 20:10
coq_8.19.1+dfsg-3.debian.tar.xz 329042024-Aug-03 09:53
coq_8.19.1+dfsg-3.dsc 23412024-Aug-03 09:53
coq_8.19.1+dfsg-2_arm64.deb 878396362024-Jun-15 09:02
libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb 456266482024-Jun-15 09:02
libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb 237061082024-Jun-15 09:02
coqide_8.19.1+dfsg-2_arm64.deb 23358162024-Jun-15 09:02
libcoq-stdlib_8.19.1+dfsg-2_arm64.deb 236559642024-Jun-15 09:02
coq_8.19.1+dfsg-2_armhf.deb 793542602024-Jun-15 08:47
coqide_8.19.1+dfsg-2_armhf.deb 18489682024-Jun-15 08:47
libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb 230469922024-Jun-15 08:47
libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb 459680402024-Jun-15 08:47
libcoq-stdlib_8.19.1+dfsg-2_armhf.deb 236553842024-Jun-15 08:47
libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb 454327922024-Jun-15 08:47
libcoq-stdlib_8.19.1+dfsg-2_i386.deb 236540682024-Jun-15 08:47
libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb 226383722024-Jun-15 08:47
coqide_8.19.1+dfsg-2_i386.deb 18210122024-Jun-15 08:47
coq_8.19.1+dfsg-2_i386.deb 789390682024-Jun-15 08:47
coq_8.19.1+dfsg-2_amd64.deb 824082482024-Jun-15 08:46
coqide_8.19.1+dfsg-2_amd64.deb 20077602024-Jun-15 08:46
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb 456007882024-Jun-15 08:46
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb 232001122024-Jun-15 08:46
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb 236534762024-Jun-15 08:46
coq_8.19.1+dfsg-2.dsc 23412024-Jun-15 08:05
coq_8.19.1+dfsg-2.debian.tar.xz 328522024-Jun-15 08:05
coq_8.19.1+dfsg.orig.tar.bz2 55894712024-Apr-26 15:46