summary refs log tree commit diff
path: root/gnu/packages/patches/boolector-find-googletest.patch
AgeCommit message (Expand)Author
2023-03-05gnu: Add boolector.Liliana Marie Prikler