Index of /packages/coq/8.17.1/8.fc40/x86_64

 Name                                                 Last modified      Size  Description
 Parent Directory                                                          -   
 coq-debuginfo-8.17.1-8.fc40.x86_64.rpm               2023-12-18 15:26  344K  
 coq-coqide-debuginfo-8.17.1-8.fc40.x86_64.rpm        2023-12-18 15:26  921K  
 coq-debugsource-8.17.1-8.fc40.x86_64.rpm             2023-12-18 15:26  1.9M  
 coq-coqide-server-debuginfo-8.17.1-8.fc40.x86_64.rpm 2023-12-18 15:26  3.3M  
 coq-coqide-8.17.1-8.fc40.x86_64.rpm                  2023-12-18 15:26  3.6M  
 coq-core-debuginfo-8.17.1-8.fc40.x86_64.rpm          2023-12-18 15:26   21M  
 coq-8.17.1-8.fc40.x86_64.rpm                         2023-12-18 15:26   25M  
 coq-coqide-server-8.17.1-8.fc40.x86_64.rpm           2023-12-18 15:26   27M  
 coq-core-8.17.1-8.fc40.x86_64.rpm                    2023-12-18 15:26  224M