summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch
AgeCommit message (Expand)Author
2023-12-27gentoo auto-resync : 27:12:2023 - 07:43:26V3n3RiX