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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq_9.2.0+dfsg-4.deb..>2026-08-25 13:56 28K 
[TXT]coq_9.2.0+dfsg-4.dsc 2026-08-25 13:56 2.6K 
[ ]coq_9.2.0+dfsg-4_amd..>2026-08-25 14:22 39M 
[ ]coq_9.2.0+dfsg-4_arm..>2026-08-25 14:22 42M 
[ ]coq_9.2.0+dfsg-4_arm..>2026-08-25 14:16 23M 
[ ]coq_9.2.0+dfsg-4_i38..>2026-08-25 14:22 23M 
[ ]coq_9.2.0+dfsg.orig...>2026-07-10 10:36 3.8M 
[ ]libcoq-core-ocaml-de..>2026-08-25 14:22 53M 
[ ]libcoq-core-ocaml-de..>2026-08-25 14:22 54M 
[ ]libcoq-core-ocaml-de..>2026-08-25 14:16 44M 
[ ]libcoq-core-ocaml-de..>2026-08-25 14:22 44M 
[ ]libcoq-core-ocaml_9...>2026-08-25 14:22 25M 
[ ]libcoq-core-ocaml_9...>2026-08-25 14:22 25M 
[ ]libcoq-core-ocaml_9...>2026-08-25 14:16 17M 
[ ]libcoq-core-ocaml_9...>2026-08-25 14:22 17M 
[ ]libcoq-core_9.2.0+df..>2026-08-25 14:22 1.1M 
[ ]libcoq-core_9.2.0+df..>2026-08-25 14:22 1.1M 
[ ]libcoq-core_9.2.0+df..>2026-08-25 14:16 1.1M 
[ ]libcoq-core_9.2.0+df..>2026-08-25 14:22 1.1M 
[ ]rocqide_9.2.0+dfsg-4..>2026-08-25 14:22 1.9M 
[ ]rocqide_9.2.0+dfsg-4..>2026-08-25 14:22 2.1M 
[ ]rocqide_9.2.0+dfsg-4..>2026-08-25 14:16 553K 
[ ]rocqide_9.2.0+dfsg-4..>2026-08-25 14:22 624K