/gnu/store/m52vrpb88alh3s7k2dda9212lxyn3phl-coq-mathcomp-1.11.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
142hwqs46rra798l98s32ys109qh60dp8152376slgi0bfl5yqa8
Uncompressed size
3728
Compressed size
1839