/gnu/store/7vlq0sakwy5bgggvzvmsg4ym9469b94h-coq-ide-server-8.13.2-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

1nkvlh99lhnq82mw54ml6jmnplz8a78df7rm38q9nwddi8mg9sj8

Uncompressed size

3896

Compressed size

1848