/gnu/store/4680s0cwi8mrbn47lqvj5yj57a2055k5-
coq-fix-envvars.patch
Derivation source file
Compression
lzip
Hash algorithm
sha256
Hash
0s4jdkpds6wq9n1jy8j0is5lqmzyhjzq32r4lbr37vcsj366bp1k
Uncompressed size
1960
Compressed size
1054