/gnu/store/rmvwcmk4xmcifgrhm60mhh7ivq06hc7i-
coq-equations-1.2.4-checkout
Nars
View narinfo details
View JSON
0i014lshsdflzw6h0qxra9d2f0q82vffxv2f29awbb9ad0p4rq4q
Size
Urls
2954232
Size: 906797 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/rmvwcmk4xmcifgrhm60mhh7ivq06hc7i-coq-equations-1.2.4-checkout
Version
1
Host name
bayfront
Builds
Succeeded
Succeeded
Succeeded
Succeeded
Scheduled
Succeeded
Derivation:
/gnu/store/zyac9gh8rmj0jaynhvfkhg6lhmk6myam-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/y4qafpyp65g3hf1nfs4hybll32pwr024-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/kzzgp426prbq0jj50awk3jx5jq0sx3qi-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/i630ai9zi1989yk2g2x9w5bq2r93w1m2-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/c1pahj1j38yj1wj0b5s86d2z9gmbi394-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/7p3yxciq5ax477m90cy43nl2vhxqqmwz-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/2id8a2ys67fbp1v3d1nivqih78h2kiax-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/q73ch0lr3nrcw9zrz7289m54193v1y39-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/m24rqrvwz4n43gzyldv6lv1yg8fsf33l-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lg961hi0mqblxjs4wgvvv9p7jmjqmqsm-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/b3jhwizirqg6dazabav3gs9r9hbkay72-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/5v666abv2050pxl1ljz4y4x6dp2r3d7v-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/5m6jyl7a6h56s4kswhgb9ymbkwsqirci-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/3hd1f04h1nnfs668gyy04s4yihgjpcs2-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/wvk5pwpk5zlrrcp6m9g5xpxmw5n78j89-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lfi36i8rlfbzxsz6zkkqlv7i5vhgs79d-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/kibwm5v3cxpfgh5s7bw2wqhfxqiczriv-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/asppp15021kiirzxz88aviagvv38k8q4-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/9znb5ijakxm95p5sql29cs1rkr7dq2gv-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/7ivd8a2vxq63plz6wb8b3l3hqics1k0f-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/11q6sg0gbaacml5xdqh2p18ll8qq1iic-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/vln5fh7l22kyzzhdhf0dykn6qrj3v752-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/r1zya20pj907sa7k38c3il718x2v7xwj-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/mlvyzpf9xxhdmqdsyqiqgp533lmncfbm-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lcig455572gkifl51xhlzlzlvp2wfwz3-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/jcywwhah615hijsmabdqz49lslmgik3w-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/hawmz9g2yyqn7ik6n81g4cpg52mwikvg-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/h03fnr70dmgzyvhmmngbql6k0d55bbjp-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/x7lpxc4biasw4v4a7d1vs06riwk4pc78-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/rbidvazrhkrfx3ywmx1hi651amlff7i4-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/h4b2rv6i3fxa1w72hhy57gpp1rcjiazw-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/g9jpxn85d0yyxqzqd0cnfccmnvkbfy09-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/d5s1zqham44mkj4zrj3vjwwlgvi6wpl2-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/8q9qh0jlzh4dymqv8rajqccdwx5wnmmy-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/41s7mz3cz9yi1g4dk0s4sk1dxbfja294-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/za42335hv2l4l20w1rpcsc08wnnhp2dz-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/yz7sxm432pb7z2nshlsndl1ah1g3q47i-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/ypkjx7497am4l04kd12dpb4japggkpap-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/smkans1hr44rhhs29rk8jksywj93y7ba-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/ll2fdli3q5srp7iay2cs2xwsbhha00rb-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/bj3x471fphcqx77cynm6fwgawalbkmbv-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/48pga1hxlwnblrnfz8mvkplsanga6q7k-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/w3xrhrmghzlgw6067dh8hql76jfpw3l4-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/qvsrvdgj4awddqzp1lcq99jjlay9cpvw-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/p21fkpcjsjh3pqi29xb1x3899rx5c14k-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lngj7ghwl5xm5a17inq99dqwlb3nbxzv-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/b3j6g30bn09mfvm2kgw9xiblbivj1rqa-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/08ffs9219bjw308vk5c5m3m65gy03mpr-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/01jdbay37nlxff5drwm1i32x69n3m6qc-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/zlswkl69gibarzjn98xax9zmm6ch3z5p-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/v9gfdd61ym1qj9zcwl9aig7dl5n2j73c-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/rajhsa07727hxwp2qfm04m3df6ya5428-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/qvp7jjjpmyzcp83bqwv5i27wg4pbljia-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/b5nw9ixamr07ci8dw37vcypm9lxdc6pj-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/7byiy7zciwhfpk7s4h6al8i958abisdm-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/51sn0c8zi8pnkc2i24h4yys818dk24a7-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/vyv81hs5zdka15b55qzh02kmmd6z2974-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/s2hz9akn87hy3wc70w90ni48lzdga0ba-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lzkf2s3258m8icyq8p3nv4yn1fvg2mbx-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/il5rg9x83487x4dmhrw9pwzivkg7291q-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/c4vh484d5ckycizplj60ni8l55v7jk4f-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/b26dzjla5mfmqggdfx777x0g5a7x1jdl-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/8q0746zg62qq2ws4gmpk4xnc89ibz70n-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/z19prj03p0kdx7w49jzpkaqgm4yzlbqj-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/y0qhmvh7vzpqgg75xrdlzpn31bsxj04r-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/npd8y4qw0gd7rdwqjz2fabklxdd8hbq0-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/a2sj0fbc6ld5xw9x3dcnqn05nb36r9lf-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/742yis4pixr29dmmqj19lfbgyhd5awzh-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/5ci9vi7s72r2dmd00bigp3p7626x3fgg-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/2fij7sd3xvn2v7zlwx1k2apx79jnz9y9-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/pwvz6fj650zwpsz4q1j9db2wvphc0288-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/nzqxy83q0k1iana739gxd1i76wla3274-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/gf80z4ak6n35i56ah83zf8mhiyag0kdj-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/f58g9c0h7l918awnq22yjjfcskflr5mb-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/1nfardvzvz8gf8cqpwzdpprav7vx2nkc-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0ywwckrcxmdpphgs4xf5dw8z0gf6b4bl-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0bavnf4ik9z043y6280146s82ng56hk8-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/xwj5clkd8jw7phw01llzg3a96xzr6sc5-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/rg44qz6xc7cxh7zniz1ys17rr2s8gwhk-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/pprmsxw9gkmvc3slqxl4hn6xxvmhd3yq-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/dsg0m12y2971p91n6disvqqny87bgjqw-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/797rhdb35f9s9m566zpdzh51fxzhk16p-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/3n8pi8xjacvxy2v73fh7alv3m8zldxy7-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/1rixi27dwhn64rzmm8fnqfpdp9wwg4gh-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/qzqfd53l2bd906s0kgymjk2prwp6znkr-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/nfsb051n5sh7x7qglnh5f8jfrhrqmg0f-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lyqp2jyf0ph2bjrxf6zri4hlw4kdgyjp-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/llacdh7khs5pbbraw8n5dga753321w1x-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lhfxnh5lbca9ihxsxx19xqc8k90aibs5-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/9w4xalk0azmzn2y0cyrpjh6zqkxij4aj-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/4cz97cjm3ncfyhmkfw844rqh7xfpp2wi-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/l9h1j7qvpw3457b0zc734l7iqvh3chhv-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/kyljr2y82z7cwm3ndivm08h6f3f21vnn-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/hazvkkxv3227b6cwkpsds3zlxgqm3svz-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/c6zcpmb7zxfr5p5ad7a7syjsj83p9rx1-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/33ymcrdz99lgfli8hvqcwq4hi5ddbn7p-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0wrw8mp0cawk985fwci1cqpz9q10my61-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0pcnrfcfl5g8g2ffq1nv7b7pgpxgzy6f-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/vd0kfxqp1m7d4mndhsffvc0pzbdbiqin-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/qjzk7zjm4fnk72hj1jwgp53x434b9rhl-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/jgs55avlp5rjvf2zkqrwa0cd3slz1v9j-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/j29ngz3ra9r86aggf8mr1w8wp3amn16n-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/gsjqj692j7pf3cmk5wq0b8y64z6r6a07-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/4qlzk03ci52d5j7pc4rh73yf13y4q2ip-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0204p3ph5pm7gfdrdl7vw764cibckvp4-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/wxlhh2c19sqf7facq30vgz6p445zfksq-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/n2sa87sd5r3z7z66db6nqyq3y5jd555f-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/m66xkc7g4mxw6f9flfgxaplsfliknmdy-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/m480fdj44zq9pj6mhfbzbbfkyq398yis-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/lc1bq3xyvxvr55ibmxccf7c0qvyfswnd-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/jdw28rblp5f59jz9k8pyfh753b14n0ja-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/dnbh817rikh44imh1iyhngsk30xja2pp-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/y64vv8lzng5y7dc1saahs6drdxscm10g-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/wjpq5fq4280y9bdbpr39mzm0g7rz36p2-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/v58qh2d7x29b5hwg9lmnym2k5mspd17m-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/ria5pd5sprc5xi4ikmxxs5y0shjxg94v-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/pn5md7q359kc1r9ygy58mn2zvn2mcsxi-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/as40c0qa9382p5qsph0q6c9b3hyv36nc-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/72nmnindwf83zy720j6vjddjswp4jhb0-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/rl4fhn1wc6yvxsf31j76k0787ahbvj2b-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/mcpnhyd7li0wiysv5bs3v11w1vxdyx7i-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/fz6rrhisx9a0fd33fcnjian0dc8v0k6k-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/fahxjf323js24ix0k7jbkwf05ryznqs2-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/7nmgkgqahwdz2smc7fkkksixrv03y4q1-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/1xppd3chzjy6hqrjd555az2ns94x5ixq-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/0zpic78v9xs09h376p642rwyc45g8sl1-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/msmgc8r2jsiz280mc8hrghih7lsghq3m-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/jqps5spbcnhma1bvdfkpd87hrr88w4c0-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/iiplnynfrw622n335a590hz0x6xhiixs-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/fq6s2zm2x9w38r6ijbhzkyrd7a1qzcib-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/cx56bng2a319a4sm3x1zl3ld89yg86qk-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/cx41nqy3fjvxs5wrkzhikwzn1g6giip5-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/5z43jy7qcs0vfnqnjk423frq9kib2wys-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/qbiqf2arpwa563lyfwzr1qja4c39aqir-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/nar38h154s7rfwnpng78xnp05x4ff085-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/hgzf9ghil08c7q94lwnyhzl07wb1vbdw-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/g8qk0l4cs05qqwfqz3jakhp22v45jxcs-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/9f6s5jsmndpg8bqvpsw5161ll5wr2aag-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/7xv4rd2dmqdcs3805j23i96ymw2sllsn-
coq-equations-1.2.4-checkout.drv
Derivation:
/gnu/store/1cl2lrlbziak8v63g32w6r4c32h6d54c-
coq-equations-1.2.4-checkout.drv