Index of /packages/coq/8.13.2/1.fc34/data/logs/aarch64

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[TXT] build.log                              2021-06-13 00:46  1.7M  
[TXT] hw_info.log                            2021-06-12 23:53  1.4K  
[TXT] mock_output.log                        2021-06-13 00:46  7.6K  
[   ] noarch_rpmdiff.json                    2021-06-13 00:46  130   
[TXT] root.log                               2021-06-13 00:46  287K  
[TXT] state.log                              2021-06-13 00:46  1.0K