Derivation

/gnu/store/f8l7bsyzry1hf2c9s5vsri3xlgr7pw87-coq-coquelicot-3.4.1.drv

Tags

• branch: master
• revision: 134c9e01f921fbbd7a809838a2a55d7627fad55f
• category: package

Submitted at

2024-06-23 13:50:25

State

Pending

Priority

700