Tue, 26 Nov 2024 01:04:50 UTC | login

Information for file /usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Syntax.p_hi

Name/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Syntax.p_hi
Digest (sha256)e40dcd7bb8a99d1d6069117e1e0a86257570ba4fe8f774a6e8917ce6c3ccf76d
Size84.58 KB
Modification timeSun, 21 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-Agda-prof-2.6.4.3-50.fc41.riscv64.rpm