/gnu/store/sa72zg1bqikh4y1q9bn4241757mh15wj-
coq-8.11.2-ide
Nars
View narinfo details
View JSON
0lqlmzrlrddf1phm836cv1c5fxmqgmnmj631qkv3nwj8b9dh4shc
Size
Urls
10960144
Size: 2128917 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/sa72zg1bqikh4y1q9bn4241757mh15wj-coq-8.11.2-ide
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/2xjbmhlsl3myvcns523vkd54yk2xz30b-
coq-8.11.2.drv
Derivation:
/gnu/store/8kpddcvjpsacmsgwm0brgv8amfvg4fc8-
coq-8.11.2.drv
Derivation:
/gnu/store/rlrykrx13fy53qrp818x3fgi6gz5jzgi-
coq-8.11.2.drv