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

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