Derivation

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

Tags

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

Submitted at

2024-03-08 06:00:23

State

Pending

Priority

0