/gnu/store/xr0kpjqnzd71ylzjx817kkg215mx2jhk-coq-ide-server-8.13.2-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0jm5zhnhbqzjfkl20d5nmbr7a167mxng6sx8vdd6kkjhd09bs4jy

Uncompressed size

3888

Compressed size

1852