/gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout

Nars

View narinfo details View JSON

15r0cm3p9dlsxbg0lf05njjp1xi1y74vxvq6drxjykax67x95l8a

Size	Urls
28071456	Size: 5035875 Compression: lzip https://bordeaux.guix.gnu.org/nar/lzip/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout	Version 1 Host name bayfront

Builds

Succeeded Succeeded Succeeded Scheduled Succeeded Succeeded

Derivation:

/gnu/store/yrb1rmm0wf2z3l2yn9f885ckyssfl03j-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/y9qs2n5v141mvb0viy5zfdncxg2j94nl-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/ppbb41jjmznar84h12322wwf2y6hh4xs-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/pnxwgvm1jwi989rjxzyi15rfdba9fnpd-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/7fwlkac01p3gbinpjvrq1q69y536g4h9-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1sdqkz47m4dx1d04bc3cvm79lvj0jn8z-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/0samylz4hj4b9vkyx3y283wiag1k1dfl-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/svn88ap6x3190f9hc6yignws75i373hz-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/qqikyws73lk8n6p2amnbasqnvq6w1yvl-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/mnr93bh9xddd5gvy2b6dyh96sgsc3dng-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/lp2ihmwlgn1f1n6gm8msd24hkw7ij139-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/ibhjc1r71fajf7nw1pnsf5ydgz1vp2d3-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/2xbv3ralyxwrrki92d6p2dysakas691x-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/2fndv04azvy6fq6n312664x19cr467ic-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/l9n8jwrncqs4b6064p15gvipmcrphiai-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/gw41828s0nh3p646ywrymgmlbymwyi7j-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/gg5nbr38c52cga8nn8mj5vyg23dw4xqb-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/dqlbaplibw6rgzb47cr2k1444fifbbq5-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/6ikmap7qp93am2w8ifjwnyli2wwkwixz-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3n0n540n2v5yvs3ld5rhnryya0r7d31s-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1pxqhqzpvzrb3i1xpa617bfrzyj7d3ip-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/qs3ag8q9kwhc8mdn6dvb13klx6z2xm6x-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/cipridqrk823jxcp69v6fz8s7nb67kf0-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/9cj7ypy17p595am26vyhwjncknznsnqg-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/7r9ibc2zyybd5h8g24l1b83gxkj5mldm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/5vahl291sgxzhb8s3wry0flf6akc25s6-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/56kaxlry1m80pz7f15f89nrrg662jp9a-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/10jkf7690fn92pmib050pfv1v9rcvjwd-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/x5m8sy1aiakyda766rvxqvcjss6wnwmy-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/wy4bidnahq83kjizvf05ql5yczi1pk8g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/ws3wvsn9b4y3dgihs8yl3p99q8zjrqnw-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/qk01991wrmb86y5a6k00q0rjgga3ln6h-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/j9vb5rqlh4lr82g5gpv1bcmsfh779c8c-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/f50zf1ziayl40f3ip6rffqjjpsj1vwx9-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/070jp8nhhgy94i5s3fwr7bzndg1fzmhm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/zdrdwbh1ajsi2gq1yyig3jhl50y04cj1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/wszifxcffavwpxqg228iynxlnd9nbpjc-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/rn46is9l9q6j16d705ail8sishjim1wz-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/hviw18wpqsvzvaz9d8i9gdcq0i7k7dij-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/bvz46wmnbhf7f3592jma8wsy3ac7s2ys-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/378fp0md2ff2myy0xjiag2h3sr6ddyg0-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/0rb3qfg33mvd2ijgi3nfblk5r5839vmx-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/xnr8dw6z6cmmz119vgjzgy9kdvphg405-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/vj9rdf0bf5v9rkc8mb9bg39d79f9xdhv-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/q5zsrgzq1vcwpx0cwlnrw3z4mwyaf164-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/nw6cc1cvyq5g3lwhvv66rqx9jyafv4g3-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/i86kdng9g6yrdlxrgg6prp7nx8j2zasz-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/b2kav5ny78qvxzavqiasipklxrgxfgqm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/acwqd10gd22ss4w96g0va8wjcyadd2h1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/v93jayx14hwva80s11i474lnw8mpcayy-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/igp4izx0agxkk09hb9plzssvxa33i6ir-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/fr8bwz7f3bax1c3kbdh8cfplg1av0zzr-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/80a3y7md4dc0zrfm1az3f0ml2qf22sqh-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3rjljdgwd6fw3w2macfg6kndqg6c6x7n-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3gwv1wzkx2569plwylgazd3vhw5zs2mv-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1sz32cgr1anpzvw3bp01fhzbcd7d2krg-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/sglqr12snlwq2vq2vkjlcxhzjyqax50j-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/j2akbpg4smi4j3prr2p57zz4gr86q0in-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/i0gyxk0b74gn18lcnmmy89ycagrl983j-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/fx0qq0jfss77405q2qszg81dzdp02iyl-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/876aak8byl1jsd849k66n9m15a63vr06-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/6k16sgvckg6kkdv63a34341bsmnw10db-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1ijzm43dbqi2gcfgwi7kby6s69fvqph5-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/vfy4gz5r4zhcjpky8r0ql544vzzxpzqi-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/lc42cd4bppswc4m1bwcylddjwzz0vvzn-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/icbxb85az8ih79ld1as20bn796xqw63s-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/f5ikal6rw1b024xs6j7fky8a4y0mq97c-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/6jh2l0p23z1h852j8n8iwpbkifpd5q6x-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/6hvsjry44wsg9gha9x9cncdysv4k8vlk-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1s5m4vqcp1gvia7fha8ql1n65sgngks6-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/y4adl4x0xn7rnwigrflmp382z6ks1c4g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/wrhr5rnckcnswnfdm0is8bwxqh20jdsy-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/nyqgkkqw8rxzi35rhmwbp9kwi4rq0i9p-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/kbdcph8csh4bfxmmlqmngxxcx4916h38-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/baynaacch62rhrq2bwl9asrxn4nxx77g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/5ix223g9gx6f3v8rfas5inin1vqf7d4g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3x45fi4q0xw7vc09zvwylpzz30wpqm5g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/s5n0i6hjh77syb1bdjz8w1fbv771gdck-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/rkh1ldnwm5kv3ds3z96gkh435avna2a1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/nhjjpa0bywzax4czixxf7cq5a3maw24z-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/g7nlhvg07lcvjzmndbsdv2vf54za08np-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/g038skpa5fhnx8mk67yxq572s2pp50i6-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/9h5rqabbz45n5zalhznk4m91nw6zvsz2-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/8wd86ibsqd3vxa9q81gc182fflc4wldm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/z2ifd57f27vfm04ky0hdw0mqg5adw981-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/pv32kc65pilmkxyy7c0y8gia0jzs7xbc-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/l56wla4mz6bqqp1w6qa84wlvp5af9nxm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/knf8cwj9f0xgva0yay4gwsx3i5qqg5w1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/6mznil2icq3aagrl588gv36mqm6xgjbm-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/17flgs48c4231qnyh3y1l3b6m5g6x2l2-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/10m0z4lx9322a6k0ly4gcbpvswgang4g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/y0mqbhmblwbk33wv4a6lhs42lxr0414s-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/mpjxkskhxmh63h2xmcq79wn5v70cr6ac-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/kah9vz0acbccf91snvcg5aiv526rrdi1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/jyw4qpdx15rdr55lyn6v6cdxk28cfkas-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/b2mwnwz1hlw203ahzdg4g3p1db7zg38y-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/2i5h5rzb6i8wfvgh1ddl50mg9ab7rh59-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/268ib8d1fqbdkmazrypc03q64b1yz19y-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/jhrsk6rqax9xsx4c2f89lgj2jr06xiib-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/gxz8ja4h32vhvz5i6bvzfcis4d3c33ns-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/f60ndw8dzr1hw0aadqby4x919qn3bzv7-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/df435qmdl7qr0lzbn94sklc5qb20n2dv-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/9rmy6isan8flk6ym3fqbzd1rcn0g1h5h-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/787akkcn021mnykjn3h4qiiafhgf144l-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3rz839n63nvzl1b2mdsyzd9z0s645gv6-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/wz0ipv0220rxki34vhqbsa33wj5n1aaf-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/s44hsr0w36s2p82k5v5bm5rdl09fwagk-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/i9ppim8v19prdxwj139vinjlcikrgi22-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/ayrqk6yl8639qsszcs9h3z2gs2rdrlvx-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/7dnh70sahhjiqv6r7cd1bjzz6g3rvc1a-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/760wx550bhkc2rk2qkdc9fww941rn7w7-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/3w1pcqkshfx8avx85a89ml07kh2g6ybf-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/x86v103mp3a3y1g84w28b24rbdks3yxh-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/rcirfbr6axa20pfpys0cbc2bdabjzfvh-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/lip85pdwh2nnvv2hz83c90akaf4qbfg5-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/i6n0hndsmzs5gpwk148qdid47nh6sy3h-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/g05ik4qbdrl7mh7r8vb7s1v0wqanqzvy-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/ffav629myh7331kkq44bgydrda24348h-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/0h3ws366jk1vp9g30gyj2hi2hnv8z4da-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/z6si2qyprk9nv54hxva7100l2kipwj5g-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/rzn4wnx6ps470pg1dd4k3nd5im2yd26j-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/lczx9xhfld59669bfzwi6466acww9wn6-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/d5cxg022wwb5qkzv7acix14xyqchfg9c-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/cra6019ly44fgpvv4wmqvjhqjv8qglb0-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/a2pxgl5h9d2jgi1cqa7fhiqmyd212vq1-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/0ryqna65ji6bdzwfdyaq51w2pvpipvfh-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/zilp8p4id0v5dw611145455ha0zrgicc-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/xlj21b3k78ah79f80d95q6llipdm0kyh-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/c7axskxi7xaic7q2x155r7p59jnkcalq-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/br966761lyf5magrqgwra4vk0l1diq76-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/alq4f6w2wljmiadnxl5mk4mdyz18c83h-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/7r9iayxr9x5ryv26wbj1zscraxb4zf47-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1zqdpwr712rb0da573xx216q95grbjjj-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/w2r5xb68890jwmlxxb9vhq61jj05ppr5-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/i30arl60ymbcc587fpyr7rpdygyspqs4-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/bhajwkk2snynfr2v72fpl7l0vrm3kw3a-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/7q0zaway2736x4gji27vn7ll543885xa-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/1yjbvyz8wqank9x02w5n2dd6r3bz002w-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/0hy5sb81ralg36gl35gvzbp2rnxr531a-coq-8.13.2-checkout.drv

Derivation:

/gnu/store/02cmqzafxy89r3ifm166jxgh5v98zagk-coq-8.13.2-checkout.drv