Build 39d63890-eb39-4bf6-8aa7-e647963af300 — bordeaux.guix.gnu.org
Derivation
/gnu/store/6wjx1s7ffy3dppnpj6s40dvxrmg35hmw-agda-stdlib-2.1.1.drv
Tags
branch: master
revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
category: package
Submitted at
2024-10-20 20:57:19
State
Succeeded
Agent
3089cd9a-ad5a-4e80-9a24-7c9b3a14cfe3
Priority
800
View build log