/gnu/store/2v875n22mpzn955iwgq56kmpr26q74ss-coq-interval-4.3.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0i292hmdd2wdsr8y2k6rhy5dzgdar8gciv2j183g9wmnxi2ii0qv
Uncompressed size
4480
Compressed size
2132