Attachment #249212
[PATCH] math/hs-Agda: update to 2.6.4.3 patch 2024-03-16 09:04:20 UTC 11.08 KB no flags Details
Attachment #249213
[PATCH] math/hs-Agda: Update to 2.6.4.3 patch 2024-03-16 10:15:40 UTC 11.23 KB alster: maintainer-approval? (haskell) Details