Obsolete attachments are hidden. To view all attachments (including obsolete) click here.
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