/gnu/store/zm3hxfzwvnijh95x353f1vnq64la6il3-
coq-8.15.1-builder
Derivation source file
Compression
lzip
Hash algorithm
sha256
Hash
0i914dw8g58c0wszanjnn8d0gycm4hhxfhf0n8gj8h238yrhnvqw
Uncompressed size
3856
Compressed size
1824