summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch
AgeCommit message (Expand)Author
2023-12-27dev-lang/idris2: bump to 0.7.0Maciej Barć
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-06 22:47:35 +0000