Index of /packages/coq/8.15.2/2.fc36/x86_64

 Name                                                 Last modified      Size  Description
 Parent Directory                                                          -   
 coq-8.15.2-2.fc36.x86_64.rpm                         2022-10-06 19:52   39M  
 coq-coqide-8.15.2-2.fc36.x86_64.rpm                  2022-10-06 19:52  2.5M  
 coq-coqide-debuginfo-8.15.2-2.fc36.x86_64.rpm        2022-10-06 19:52  622K  
 coq-coqide-server-8.15.2-2.fc36.x86_64.rpm           2022-10-06 19:52   20M  
 coq-coqide-server-debuginfo-8.15.2-2.fc36.x86_64.rpm 2022-10-06 19:52  1.4M  
 coq-core-8.15.2-2.fc36.x86_64.rpm                    2022-10-06 19:52  136M  
 coq-core-debuginfo-8.15.2-2.fc36.x86_64.rpm          2022-10-06 19:52  7.1M  
 coq-debuginfo-8.15.2-2.fc36.x86_64.rpm               2022-10-06 19:52  1.5M  
 coq-debugsource-8.15.2-2.fc36.x86_64.rpm             2022-10-06 19:52  1.8M