/gnu/store/jz8kvhnmpqvbzxzy249yl9fnc77lgwz4-coq-ide-8.13.2-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

1zdp05m1wbq4p4bxny96a18i3kibh3l8vz2kkh8aka2a7ir8qsph

Uncompressed size

3984

Compressed size

1887