/gnu/store/0xivq3134ciz1ypi5hsdvc9kglybqdk6-coq-core-8.14.1-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0hj8idmzrggcwmny0ghcbrqyv176f067r66vir4gmsndl3wly6hg

Uncompressed size

4120

Compressed size

2004