{"setup-failures":[],"derivation-inputs":[],"result":{"failure_reason":false,"result":"success","agent_id":"b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb"},"tags":[],"end-time":"2021-12-17 13:27:39","created-at":"2021-12-17 13:12:53","canceled":false,"processed":true,"priority":0,"derivation-name":"/gnu/store/m8kdsvhm9g2hph5b9sibw26kkpiy6ng2-Agda-2.6.2.1.tar.gz.drv","uuid":"03f8366f-3784-4246-8e13-28f6c94386fb"}