/gnu/store/d3l146h121lyfvhvxfhmx6hagdc138j5-coq-ide-8.14.1-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1b6112wx99pp7mgpq4glkimm1bafwhpqk2s3mdxcj55m888xd3ly
Uncompressed size
4024
Compressed size
1903