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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq_9.2.0+dfsg-4.debian.tar.xz2026-Aug-25 13:56:4927.6Kapplication/octet-stream
coq_9.2.0+dfsg-4.dsc2026-Aug-25 13:56:492.6Kapplication/octet-stream
coq_9.2.0+dfsg-4_amd64.deb2026-Aug-25 14:22:1339.3Mapplication/octet-stream
coq_9.2.0+dfsg-4_arm64.deb2026-Aug-25 14:22:1642.5Mapplication/octet-stream
coq_9.2.0+dfsg-4_armhf.deb2026-Aug-25 14:16:5723.0Mapplication/octet-stream
coq_9.2.0+dfsg-4_i386.deb2026-Aug-25 14:22:0923.2Mapplication/octet-stream
coq_9.2.0+dfsg.orig.tar.xz2026-Jul-10 10:36:053.7Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb2026-Aug-25 14:22:1353.1Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb2026-Aug-25 14:22:1653.5Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb2026-Aug-25 14:16:5744.4Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb2026-Aug-25 14:22:0944.4Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb2026-Aug-25 14:22:1324.6Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb2026-Aug-25 14:22:1625.0Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb2026-Aug-25 14:16:5717.2Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb2026-Aug-25 14:22:0917.2Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-4_amd64.deb2026-Aug-25 14:22:131.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-4_arm64.deb2026-Aug-25 14:22:161.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-4_armhf.deb2026-Aug-25 14:16:571.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-4_i386.deb2026-Aug-25 14:22:091.1Mapplication/octet-stream
rocqide_9.2.0+dfsg-4_amd64.deb2026-Aug-25 14:22:131.8Mapplication/octet-stream
rocqide_9.2.0+dfsg-4_arm64.deb2026-Aug-25 14:22:162.1Mapplication/octet-stream
rocqide_9.2.0+dfsg-4_armhf.deb2026-Aug-25 14:16:57553.1Kapplication/octet-stream
rocqide_9.2.0+dfsg-4_i386.deb2026-Aug-25 14:22:09623.8Kapplication/octet-stream
lighttpd/1.4.19