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

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] libcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deb         2026-01-17 07:14   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b3_arm64.deb     2026-01-17 07:14   23M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_arm64.deb 2026-01-17 07:14   49M  
[   ] coqide_8.20.1+dfsg-1+b3_arm64.deb                2026-01-17 07:14  2.1M  
[   ] coq_8.20.1+dfsg-1+b3_arm64.deb                   2026-01-17 07:14   71M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb         2025-12-27 20:30   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb     2025-12-27 20:30   23M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb 2025-12-27 20:30   50M  
[   ] coqide_8.20.1+dfsg-1+b2_amd64.deb                2025-12-27 20:30  1.9M  
[   ] coq_8.20.1+dfsg-1+b2_amd64.deb                   2025-12-27 20:30   68M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb         2025-12-27 19:49   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deb     2025-12-27 19:49   23M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deb 2025-12-27 19:49   49M  
[   ] coqide_8.20.1+dfsg-1+b2_arm64.deb                2025-12-27 19:49  2.1M  
[   ] coq_8.20.1+dfsg-1+b2_arm64.deb                   2025-12-27 19:49   71M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb         2025-06-15 07:17   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb     2025-06-15 07:17   25M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 2025-06-15 07:17   65M  
[   ] coqide_8.20.1+dfsg-1+b1_arm64.deb                2025-06-15 07:17  2.1M  
[   ] coq_8.20.1+dfsg-1+b1_arm64.deb                   2025-06-15 07:17   71M  
[   ] libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb         2025-06-15 03:07   22M  
[   ] libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb     2025-06-15 03:07   25M  
[   ] libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 2025-06-15 03:07   66M  
[   ] coqide_8.20.1+dfsg-1+b1_amd64.deb                2025-06-15 03:07  1.8M  
[   ] coq_8.20.1+dfsg-1+b1_amd64.deb                   2025-06-15 03:07   67M  
[   ] coq_8.20.1+dfsg.orig.tar.xz                      2025-02-17 18:37  4.8M  
[TXT] coq_8.20.1+dfsg-1.dsc                            2025-02-17 18:37  2.5K  
[   ] coq_8.20.1+dfsg-1.debian.tar.xz                  2025-02-17 18:37   30K