Index of /linux/ubuntu/22.04-mirror/pool/universe/c/coq

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] coqide_8.15.0+dfsg-2_amd64.deb                2022-02-05 16:51  2.3M  
[   ] libcoq-stdlib_8.15.0+dfsg-2_amd64.deb         2022-02-05 16:51   24M  
[   ] libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb     2022-02-05 16:51   26M  
[   ] libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 2022-02-05 16:51   43M  
[   ] coq_8.15.0+dfsg-2_amd64.deb                   2022-02-05 16:52   91M