Derivation

/gnu/store/3hm4gkicqlxnw0kygn5gdh94qwrk56vi-agda-1lab-0.0-3.afcf848.drv

Tags

• branch: master
• revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
• category: package

Submitted at

2024-10-20 21:15:01

State

Pending

Priority

700