Index of /packages/coq/8.17.0/1.fc38/ppc64le

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                           -   
[   ] coq-8.17.0-1.fc38.ppc64le.rpm                         2023-04-03 20:14   36M  
[   ] coq-coqide-8.17.0-1.fc38.ppc64le.rpm                  2023-04-03 20:14  2.7M  
[   ] coq-coqide-debuginfo-8.17.0-1.fc38.ppc64le.rpm        2023-04-03 20:14  640K  
[   ] coq-coqide-server-8.17.0-1.fc38.ppc64le.rpm           2023-04-03 20:14   21M  
[   ] coq-coqide-server-debuginfo-8.17.0-1.fc38.ppc64le.rpm 2023-04-03 20:14  1.6M  
[   ] coq-core-8.17.0-1.fc38.ppc64le.rpm                    2023-04-03 20:14  138M  
[   ] coq-core-debuginfo-8.17.0-1.fc38.ppc64le.rpm          2023-04-03 20:14  9.1M  
[   ] coq-debuginfo-8.17.0-1.fc38.ppc64le.rpm               2023-04-03 20:14  158K  
[   ] coq-debugsource-8.17.0-1.fc38.ppc64le.rpm             2023-04-03 20:14  1.9M