{"setup-failures":[],"derivation-inputs":[],"result":{"failure_reason":false,"result":"success","agent_id":"bc5f3585-03f9-4ab3-8604-6acc89512fba"},"tags":[],"end-time":"2021-11-22 11:51:52","created-at":"2021-11-13 00:26:20","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/f80q8vsyj9nhdzrflhd58wqb5ipwhrfr-Agda-2.5.4.2.tar.gz.drv","uuid":"854b2e73-3435-4dfc-8f5f-af4041608906"}