/gnu/store/71m94pdcrkskh8xmfhc91k5rzw5aj2lx-coq-ide-server-8.13.2-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0k5pml67kfxynflhqzg7p109n90315s4xca888kxmzrzsrr3fqkl

Uncompressed size

3896

Compressed size

1857