/gnu/store/fh53w59il4lqyci5pwzqgib0y89dla1s-
coq-coquelicot-3.1.0-guile-builder
Derivation source file
Compression
lzip
Hash algorithm
sha256
Hash
1zani22hdf4qrfy9gjisiy392xd87mh2r3mnx4m8z4h8dqn571yi
Uncompressed size
4168
Compressed size
1996