Index of /packages/coq/8.17.0/1.fc39/data/logs/x86_64

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 hw_info.log                            2023-04-01 16:16  2.8K  
 state.log                              2023-04-01 16:27  1.0K  
 build.log                              2023-04-01 16:27  3.0M  
 root.log                               2023-04-01 16:27  160K  
 mock_output.log                        2023-04-01 16:27  7.8K