{"setup-failures":[],"derivation-inputs":[],"result":{"failure_reason":false,"result":"success","agent_id":"efc65b13-f30d-4e14-993d-ab11700406e6"},"tags":[],"end-time":"2022-10-19 17:18:13","created-at":"2021-12-17 13:10:35","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/hcjmyrir8haqdp5snvghnn97c1k4w0av-Agda-2.6.2.1.tar.gz.drv","uuid":"23b8cd14-0455-437a-b44b-d699b32ac7e7"}