diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2022-12-08 09:33:05 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2022-12-15 16:55:51 +0100 |
| commit | 188269f06252d746e5015b3e4c80db7cfd7018e1 (patch) | |
| tree | 7d18a6eee75f6c85726a962cd446c82249b7c5c0 /etc/openrc | |
| parent | 407b4f5661ea806ddc1056b35722fd551237f87d (diff) | |
| download | guix-188269f06252d746e5015b3e4c80db7cfd7018e1.tar.gz | |
gnu: clingo: Update to 5.6.2.
* gnu/packages/maths.scm (clingo): Update to 5.6.2. [source]: Unbundle clasp and catch. [arguments]<#:configure-flags>: Add “-DCLINGO_USE_LOCAL_CLASP=off” and “-DCLINGO_USE_LOCAL_CATCH=off”. [inputs]: Add catch2-3.1. [native-inputs]: Add pkg-config.
Diffstat (limited to 'etc/openrc')
0 files changed, 0 insertions, 0 deletions