/gnu/store/4v4avqjhdbpm4r6dm8l9m36l99jibna3-
coq-8.17.1
Nars
View narinfo details
View JSON
0zdbpwnpm1byb0yaa13nncridg0zpydwrk3pgr3zxrzjyy58rpjw
Size
Urls
617591176
Size: 133392449 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/4v4avqjhdbpm4r6dm8l9m36l99jibna3-coq-8.17.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-
coq-8.17.1.drv
Derivation:
/gnu/store/bbczf81ingr3fr13q5882mjyicpvrxdz-
coq-8.17.1.drv
Derivation:
/gnu/store/0lz196mhj4fqg6k9z4p0a3rl9ih23007-
coq-8.17.1.drv