Derivation

/gnu/store/mk1jbp92aarg5zxg5i0m1hdmayiz6yax-coq-coquelicot-3.1.0-checkout.drv

Tags

Submitted at

2021-08-11 17:14:57

State

Succeeded

• Agent 5bbaa369-517d-49a1-9875-dc8fcf1e2e9f

Priority

0

View build log