/gnu/store/1yimxnawsy48q11v9gp7j7zzf3vsx3wi-agda-2.5.4.2-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1xyd3lri09zi4v5dnw02nx0k5j7qcsxj46sy5qc7hgkqj27xzac1
Uncompressed size
6200
Compressed size
2691