Index of /packages/coq/8.15.1/1.fc36/data/logs/ppc64le

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 build.log                              2022-03-26 16:58  1.9M  
 hw_info.log                            2022-03-26 16:25  1.6K  
 mock_output.log                        2022-03-26 16:58  7.9K  
 noarch_rpmdiff.json                    2022-03-26 16:58  130   
 root.log                               2022-03-26 16:58  289K  
 state.log                              2022-03-26 16:58  1.0K