Build 9e2e25c3-f270-4362-b2ff-1028f9df5c44 — bordeaux.guix.gnu.org
Derivation
/gnu/store/2ac27xh845zbfv69x4vk8zknhc92hnhk-agda-1lab-0.0-2.549fdb1-checkout.drv
Tags
revision: 5f0e04443611a328ab6527797f1d2e753d64de31
issue: 66775
category: package
Submitted at
2023-10-28 06:15:01
State
Succeeded
Priority
0
View build log