/gnu/store/a0fwsl47asaz8rfxxwg4r7jdlp97ra3i-
coq-for-coqtail-8.17.1
Nars
View narinfo details
View JSON
13syb402hk8m10zw2hrymbw03pyb7ipdnz213qhlnpr760ssnvc1
Size
Urls
24808
Size: 1701 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/a0fwsl47asaz8rfxxwg4r7jdlp97ra3i-coq-for-coqtail-8.17.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-
coq-for-coqtail-8.17.1.drv
Derivation:
/gnu/store/d3h8pn7hp2xgny80a4rfhsmdk4pqfc0l-
coq-for-coqtail-8.17.1.drv
Derivation:
/gnu/store/bllglykssnpmmn4laj9n3k3z5xa3wy8d-
coq-for-coqtail-8.17.1.drv