math/hs-Agda: Fix plist
PR: 277730
Fixes: ba61a442a89ec86117ece8c356b5c5117a67681e
Description
Description
Details
Details
- Provenance
arrowd Authored on Mar 16 2024, 11:50 AM - Parents
- R11:527e6c404244: math/hs-Agda: Update to 2.6.4.3
- Branches
- Unknown
- Tags