Build 99bd0cfb-df59-4310-bb1d-5ef53e31f05e — bordeaux.guix.gnu.org
Derivation
/gnu/store/17a8msp5k74ssh4i0wqgxk4nvng0ixnb-agda-1lab-0.0-2.549fdb1.drv
Tags
branch: master
revision: 519e1e3eb88ec532fc83ebb742d9919269b57c87
category: package
Submitted at
2024-01-13 15:47:18
State
Succeeded
Priority
800
View build log