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