/gnu/store/qpnx6sh4j3r487pw1838b2qlb2086xnb-coq-ide-8.13.2

Nars

149ci8dm4r4558m7h3a6j6hiagvxr8rmy5r20hnzgcam0xpa7mds

SizeUrls
9623736
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org

Builds

Succeeded