Derivation

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

Tags

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

Submitted at

2024-03-08 05:58:54

State

Failed

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

Priority

0

View build log