Build 99bd0cfb-df59-4310-bb1d-5ef53e31f05e — bordeaux.guix.gnu.org

Derivation
/gnu/store/17a8msp5k74ssh4i0wqgxk4nvng0ixnb-agda-1lab-0.0-2.549fdb1.drv
Tags
Submitted at
2024-01-13 15:47:18
State
Succeeded
Priority
800
View build log