diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-25 21:03:25 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:16 +0200 |
| commit | 7a3b9db47e1def4c57b1d84a705e358b15cc8729 (patch) | |
| tree | aa0f1bcabc9d348af9d5289edeeed00d959952d1 /gnu/packages/patches/llvm-3.5-fix-clang-build-with-gcc5.patch | |
| parent | a77f280b3496fcbef5595b6c429844537fb11bf0 (diff) | |
gnu: kissat: Update to 4.0.1.
* gnu/packages/maths.scm (kissat): Update to 4.0.1.
[#:phases]<patch-source>: Relax regexp to fix test.
Diffstat (limited to 'gnu/packages/patches/llvm-3.5-fix-clang-build-with-gcc5.patch')
0 files changed, 0 insertions, 0 deletions