Build 23b8cd14-0455-437a-b44b-d699b32ac7e7 — bordeaux.guix.gnu.org
Derivation
/gnu/store/hcjmyrir8haqdp5snvghnn97c1k4w0av-Agda-2.6.2.1.tar.gz.drv
Tags
Submitted at
2021-12-17 13:10:35
State
Succeeded
Priority
0
View build log