Index of /packages/coq/8.15.2/2.fc37/ppc64le

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 coq-coqide-debuginfo-8.15.2-2.fc37.ppc64le.rpm        2022-06-21 18:05  588K  
 coq-coqide-server-debuginfo-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05  1.2M  
 coq-8.15.2-2.fc37.ppc64le.rpm                         2022-06-21 18:05   40M  
 coq-core-8.15.2-2.fc37.ppc64le.rpm                    2022-06-21 18:05  141M  
 coq-debuginfo-8.15.2-2.fc37.ppc64le.rpm               2022-06-21 18:05  1.5M  
 coq-coqide-server-8.15.2-2.fc37.ppc64le.rpm           2022-06-21 18:05   20M  
 coq-core-debuginfo-8.15.2-2.fc37.ppc64le.rpm          2022-06-21 18:05  6.2M  
 coq-coqide-8.15.2-2.fc37.ppc64le.rpm                  2022-06-21 18:05  2.7M  
 coq-debugsource-8.15.2-2.fc37.ppc64le.rpm             2022-06-21 18:05  1.8M