/gnu/store/2s0i7dywfk5viv31bdc5dgl3qswidlrg-coq-ide-8.13.2-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1fxsrixr6sxk279rp8i3iccs28zb9yqrlhc9a0i75yns8gdyndkq
Uncompressed size
3984
Compressed size
1882