/gnu/store/ys6sbapwq0fhfx7x9zmixja0i224ixn7-coq-interval-4.3.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0g0lnfp3dqxih0hgf017jwdz40djq3nqllyynyk7hr3k95f4v781
Uncompressed size
4488
Compressed size
2139