Derivation

/gnu/store/v9xmg5sg40lld3s3p101c0nb45hdydn7-coq-mathcomp-1.17.0.drv

Tags

• revision: 5e5665f5188f7d38e1b5b7f983f8e7ce15600a79
• branch: qt-team
• category: package

Submitted at

2024-04-03 02:23:38

State

Succeeded

• Agent b57898c3-7187-4c56-9d3c-4e68b954b79a

Priority

0

View build log