/gnu/store/mnb8hhq9d9d073iwik3zscf5bf2c6k75-
coq-core-8.14.1
Nars
View narinfo details
View JSON
02akpaaah828vx5n08gpxqrddnwym6rj50fbb1a13y2qm56frd31
Size
Urls
479342920
Size: 106122681 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/mnb8hhq9d9d073iwik3zscf5bf2c6k75-coq-core-8.14.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/z53pd9486pqzrnmyrdr7vlpq62hvid25-
coq-core-8.14.1.drv