/gnu/store/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-
coq-8.17.1-checkout
Nars
View narinfo details
View JSON
0gg6hizq0i08lk741b579cbswhy6qvkh6inc3d3i5a2af98psq63
Size
Urls
29980280
Size: 5464924 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-coq-8.17.1-checkout
Version
1
Host name
bayfront
Builds
Failed
Failed
Failed
Failed
Succeeded
Canceled
Failed
Failed
Failed
Canceled
Canceled
Succeeded
Succeeded
Succeeded
Succeeded
Derivation:
/gnu/store/jn7r88kp3nf62pn06yrpl709413z54ac-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/m3ciyhhxpl3y2y2y4i5q8nf0sdhgyl8x-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/1rxkc1nqw87x3i6nq0ybvij5iny72rpb-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/vwws3b13zj7fcxd3md9n5ayp76zhzzf0-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/wwwh8rj4zayk01cph6rg91mchk6ji4sx-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/swz7gcwxx5b8s63jn73347158kd3sdxx-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/by9qyv1nncjl12n82a3kc01z39x1h3wj-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/r0y2pw97da3ar6phvyn1vacf6gbmfpl2-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/96sj95ag84685npy7slzjf7smgvgbvwr-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/wf7h8wbkxb3dbzv7s43yqmayrknzspkk-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/lha5nb41pf4n17gh7ky3svgxxqhxcpym-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/r2kr8pkmph0ybhfzbqb2fhmnxdc96rlz-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/7sx1rc3k9552g3krvmlbxp80issbikgk-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/nj72g24ydyw528apkjg3ff57wm3dmln1-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/5klqbv1lz10vcj30xv9p96kz598wnik2-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/css51r9d7mdkkjll9la3fgaahzmpy8rz-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/vw4zs4kfvnmzbq7zyc1jajv6f6h4xg47-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/rj7yl7v1j8ibsrdyki5rv579vqyhznxj-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/mcfzkjs6xprnzq13wa3y68q5sd40vcfq-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/58rdm5pq2gz2lks02rw8l1hgk5q7icwd-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/mb4hvmrwz7iczkzvkm9nrxs97vq75gjf-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/kmkrc0kl9bkhsbn0kgd04jafr697whyp-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/28i99vlj606wvhj1kladk4lpmyig77hr-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/n88f7c146njak4acij2l3gm0n1rfv48y-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/l53sd5fl9bbq3kmihs5hj56hb6m3iv55-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/1d0jwlxpqgjpyza2jmnmj4mpdhzafsaw-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/knq26v0i0ds8m1xsmx102d43q1j7r3w1-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/gpjd27p3l1yaq64r99cf62k5izajghd8-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/r8rh3j8z9cfyxxiwwsjz69v6pvyircqx-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/6h1iqy0mrkx9g1xw0rcv8i3cj5ikfgs4-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/1gx0qbgxclda5m5ghixlg9pwrwfippch-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/08y8prad8617cv1vjk4zs15z1dsh5ips-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/fv079dc7k4fs6p1ikmi39983hd0js3qv-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/qd7y82ab9rmjb0fc5dgzkwlk0nx2vsha-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/g831addnjgg1n26nksb77qsa87cnnibq-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/7lpr2vmb7pvvq5zg13zs1r4rggp4qrz7-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/ccd53ggavk492r1wij8gbdpkdbjss8d0-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/ab2kginx1giv22y5kcy8q0wwz6f8rhqm-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/rpn42g2q736w78774wl5mw5c68kqfwhq-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/ak7pq2f5kw6p6yj399awyr5jkq3kdcg5-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/n1f60kb6w7yfa6aim89d677b5xrvn0c6-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/rdq8ab0f2q7mcx1niik2fzzlznipq5kd-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/n5s01202cq53aia851505k7wpc3y3xbq-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/hk9gpggkdzad8adqf3wb7yvy24myg8ax-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/7qsna7phnafhy003y7ryssiqbvy4waip-
coq-8.17.1-checkout.drv
Derivation:
/gnu/store/6mbvj3v56ps9shycjsy982sjkqrla10l-
coq-8.17.1-checkout.drv