Derivation

/gnu/store/1rxkc1nqw87x3i6nq0ybvij5iny72rpb-coq-8.17.1-checkout.drv

Tags

• branch: master
• revision: 72ca1a336ab296187a4d025c399fade63004c780
• category: package

Submitted at

2024-03-31 04:00:42

State

Succeeded

• Agent 6ceb53be-b4cd-4a61-8f3a-eb0abebf1ee6

Priority

0

View build log