/gnu/store/wbvyaii2p2ncpsp5xxmpfyb391d77yp6-
coq-ide-server-8.17.1
Nars
View narinfo details
View JSON
1iyk12mg8ywg077p0m7s9p3h7c6mpak2c18dznfr0n2asalq0xs6
Size
Urls
62527280
Size: 17814943 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/wbvyaii2p2ncpsp5xxmpfyb391d77yp6-coq-ide-server-8.17.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-
coq-ide-server-8.17.1.drv
Derivation:
/gnu/store/nb3qgsfmcz5pa0iygmvr02pdqdwbl8n5-
coq-ide-server-8.17.1.drv
Derivation:
/gnu/store/5m6sfi673gpa00cn5wblkcg32yn7zysj-
coq-ide-server-8.17.1.drv