Build

Derivation: /gnu/store/ras9kiyylzf9wc74d2nw13f633ihnq8s-agda-1lab-0.0-2.549fdb1-checkout.drv
Build server URL: https://bordeaux.guix.gnu.org/