/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