Derivation

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

Tags

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

Submitted at

2024-04-03 06:27:27

State

Succeeded

• Agent 7470cbd5-f64e-496c-a57b-593543ee4686

Priority

0

View build log