Log of gnu/packages/patches/cadical-add-shared-library.patch
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| b2b885be | gnu: cadical: Update to 2.1.3. | Sören Tempel | 2026-04-04 16:27 |
| dcf77f8f | gnu: Add cadical. | Liliana Marie Prikler | 2024-10-06 10:17 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| b2b885be | gnu: cadical: Update to 2.1.3. | Sören Tempel | 2026-04-04 16:27 |
| dcf77f8f | gnu: Add cadical. | Liliana Marie Prikler | 2024-10-06 10:17 |