Derivation

/gnu/store/by9qyv1nncjl12n82a3kc01z39x1h3wj-coq-8.17.1-checkout.drv

Tags

• category: package
• branch: gnome-team
• revision: 25c14c893f05019d746321285acf55d1aa65b943

Submitted at

2024-03-08 10:47:08

State

Failed

• Agent b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb

Priority

0

View build log