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

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] coq_8.16.1+dfsg-1+b2_amd64.deb                   2023-02-13 02:14   89M  
[   ] libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 2023-02-13 02:14   41M  
[   ] libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb     2023-02-13 02:14   22M  
[   ] libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb         2023-02-13 02:14   21M  
[   ] coq_8.16.1+dfsg.orig.tar.xz                      2022-11-29 09:35  4.5M  
[   ] coqide_8.16.1+dfsg-1+b2_amd64.deb                2023-02-13 02:14  1.9M  
[   ] coq_8.16.1+dfsg-1.debian.tar.xz                  2022-11-29 09:35   32K  
[TXT] coq_8.16.1+dfsg-1.dsc                            2022-11-29 09:35  2.6K