Build

Derivation: /gnu/store/i1r9a97fjw36qlac371998rzg7vpwijd-dedukti-2.6.0.drv
Build server URL: https://bordeaux.guix.gnu.org/

View build on https://bordeaux.guix.gnu.org/

Timeline

Timestamp	Status
2021-06-20T13:17:37	Scheduled
2021-06-20T16:46:18	Started
2021-06-20T16:46:28	Succeeded