/gnu/store/jx4qdwwmz8q4vcmm87qzhjm1j3vvsrkc-coq-gappa-1.4.6-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

1wjjd3xlv12774d395rzkpqry8qr4q980by0hcbgbzzwp9k3vw91

Uncompressed size

4672

Compressed size

2261