/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-
agda-1lab-0.0-2.549fdb1-checkout
Nars
View narinfo details
View JSON
1k4zj8dibyplakpxaw4a8hpsaqhakynjb83dqxrva4h4ssj6gkqj
Size
Urls
4431632
Size: 1205897 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout
Version
1
Host name
bayfront
Builds
Succeeded
Succeeded
Derivation:
/gnu/store/k115rpp6zbc0568gzy23ylj8vvvjc6qc-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/98pzjxrwcqbv6w6jdzgs9vajlahp94pd-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/m3lw753xv5dha2xnrmqipzjvk2j6d15z-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/m3n05qxaw96camksna203v0jn3d5zqxn-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/iqik85nmd9hmbfdrnxzxad2lmjw9b13n-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/lb9v945jjbnsp9g6kb6arq8jyhh5ppfq-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/fxr2inrpxkjypdznxmg55c0iz8bi6df7-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/3v0v24d2cp1dg3hvpd25xlqllairyyz5-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/wjjy1424ls9m5cddvy4q1biy3hvwk8r0-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/7d0jdp8dk1vyn0y942hzxzlx1lhhlrlj-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/lbbj30f6cy9j00p7wd7jczk8v7dkanvi-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/wjmlv9c4kjbg4a8i0i02rfmfa1kbywj0-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/8jlvbm4a8ncs5qa8h4m01j7gnyzkcyvg-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/d4jy8291sfyy7i02x1gl2vdqh270v2i7-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/ybcp5vpz4jcn8118vvhpg7qgcgzs4ads-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/w37949kd47ag3iq00i6bvv3axnbpjfi5-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/s9jn2ms5c5xjwrmbrs6wfmrdm067h9jl-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/lcv14aqmky0xpq5yrnsqx31csjv3pv99-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/lmlcdgv7ysic5lp5811b0kb9ilavg80n-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/cr3kxhkc2j6ymlhwbppqz0kwlwy4s7gs-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/79vrmaazp9lb6xyq1y26qj19q9mwz7dh-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/mi9wsvqcp4zbm8l3nw1a09ihm2y0jg9l-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/8al51r9wmi6mqfpr4larrqmyqng1d639-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/8j4qcy1qnjl62wasiz0npy0zcbxn7qzz-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/2gkms1wihqayg6gj067yaq0wgd5ksf9f-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/sf7w8xfpwgbsfd1wjh8a67671lf7k4kd-
agda-1lab-0.0-2.549fdb1-checkout.drv
Derivation:
/gnu/store/n6fv4k2sxq8m462nrlhh3p031fz94bn8-
agda-1lab-0.0-2.549fdb1-checkout.drv