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

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