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

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0m7an55cqwd28hjvdl5ign33fj5w4kv6s1j02g8jbx107lw0dz4q

Uncompressed size

3888

Compressed size

1846