summaryrefslogtreecommitdiff
path: root/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
AgeCommit message (Expand)Author
2023-10-06dev-lang/boogie: disable analyzersMaciej Barć
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-06 08:32:48 +0000