Index of /packages/why3/0.86.2/2.fc24/data/logs/i686

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[TXT] state.log                               2015-11-26 03:24  798   
[TXT] root.log                                2015-11-26 03:24  185K  
[TXT] build.log                               2015-11-26 03:24   93K