/gnu/store/dgc83mprkvjhxxyf71dmi4yi55zmjzf3-
coq-ide-server-8.13.2
Nars
View narinfo details
View JSON
0jip7z473wmnkiq2xwspmq9z5s5yb5zp51ppchlciqjqxmwrvi11
Size
Urls
72816536
Size: 17200339 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/dgc83mprkvjhxxyf71dmi4yi55zmjzf3-coq-ide-server-8.13.2
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/jl8s4mb77cds2is2z1vvr129clp1mdjm-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/y77wryq91jfy4l62axlp6rdig511mwpa-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/pywghzrd68frrniy94lvrcaphbzixkc1-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/9fldpkzw9jwwmd4qn386bn16zic2pzlg-
coq-ide-server-8.13.2.drv