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

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