Index of /packages/coq/8.13.2/4.fc35/data/logs/aarch64

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[TXT] build.log                              2022-10-07 00:28  1.6M  
[TXT] hw_info.log                            2022-10-07 00:09  1.7K  
[TXT] mock_output.log                        2022-10-07 00:28  7.7K  
[TXT] root.log                               2022-10-07 00:28  150K  
[TXT] state.log                              2022-10-07 00:28  1.0K