Build 94039274-b929-4516-91ce-fddfa826868a — bordeaux.guix.gnu.org
Derivation
/gnu/store/6d5a4a5r6fw94bz78fr9xj1an90ckm05-agda-1lab-0.0-3.afcf848.drv
Tags
branch: master
revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
category: package
Submitted at
2024-10-20 20:36:48
State
Succeeded
Agent
3089cd9a-ad5a-4e80-9a24-7c9b3a14cfe3
Priority
800
View build log