summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/cadical-add-shared-library.patch
AgeCommit message (Expand)Author
2026-04-04gnu: cadical: Update to 2.1.3.Sören Tempel
2024-10-06gnu: Add cadical.Liliana Marie Prikler