Index of /packages/coq/8.6/2.fc26/data/logs/armv7hl

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[TXT] build.log                           2017-02-12 05:26  2.2M  
[TXT] root.log                            2017-02-12 05:26  190K  
[TXT] state.log                           2017-02-12 05:26  772