Index of /packages/why3/1.2.1/3.fc31/data/logs/x86_64

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 build.log                              2020-04-12 20:10  384K  
 hw_info.log                            2020-04-12 20:04  2.5K  
 mock_output.log                        2020-04-12 20:10  2.3K  
 noarch_rpmdiff.json                    2020-04-12 20:11  473   
 root.log                               2020-04-12 20:10  224K  
 state.log                              2020-04-12 20:10  1.0K