Index of /stream9/cs-dev-9-x86_64/Agda-2.6.2-32.fc35

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Agda-2.6.2-32.el9.src.rpm2022-09-05 19:42 2.8M 
[ ]Agda-2.6.2-32.el9.x86_64.rpm2022-09-05 20:29 7.8M 
[ ]Agda-common-2.6.2-32.el9.noarch.rpm2022-09-05 20:29 641K 
[TXT]build.log2022-09-05 20:31 657K 
[ ]ghc-Agda-2.6.2-32.el9.x86_64.rpm2022-09-05 20:30 9.7M 
[ ]ghc-Agda-devel-2.6.2-32.el9.x86_64.rpm2022-09-05 20:30 15M 
[ ]ghc-Agda-doc-2.6.2-32.el9.noarch.rpm2022-09-05 20:30 5.5M 
[ ]ghc-Agda-prof-2.6.2-32.el9.x86_64.rpm2022-09-05 20:31 25M 
[ ]ghc-geniplate-mirror-0.7.8-32.el9.x86_64.rpm2022-09-05 20:29 59K 
[ ]ghc-geniplate-mirror-devel-0.7.8-32.el9.x86_64.rpm2022-09-05 20:29 71K 
[ ]ghc-geniplate-mirror-doc-0.7.8-32.el9.noarch.rpm2022-09-05 20:29 64K 
[ ]ghc-geniplate-mirror-prof-0.7.8-32.el9.x86_64.rpm2022-09-05 20:29 107K 
[ ]ghc-murmur-hash-0.1.0.9-32.el9.x86_64.rpm2022-09-05 20:29 23K 
[ ]ghc-murmur-hash-devel-0.1.0.9-32.el9.x86_64.rpm2022-09-05 20:29 30K 
[ ]ghc-murmur-hash-doc-0.1.0.9-32.el9.noarch.rpm2022-09-05 20:29 50K 
[ ]ghc-murmur-hash-prof-0.1.0.9-32.el9.x86_64.rpm2022-09-05 20:29 38K 
[TXT]hw_info.log2022-09-05 19:41 2.4K 
[TXT]root.log2022-09-05 20:31 1.3M 
[TXT]state.log2022-09-05 20:31 12K 
[TXT]success2022-09-05 20:31 0