guix/gnu/packages/potassco.scm, branch master Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more! https://guix.gnu.org gnu: python-clinguin: Update to 2.8.5. 2026-08-28T04:36:04+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-27T05:46:02+00:00 87a12bb3cc6150dab73bde63404420b6d5c0bfd7 * gnu/packages/potassco.scm (python-clinguin): Update to 2.8.5. [source]<snippet>: Drop dependency rewrite for clingexplaid. 
* gnu/packages/potassco.scm (python-clinguin): Update to 2.8.5.
[source]<snippet>: Drop dependency rewrite for clingexplaid.
gnu: python-clingexplaid: Update to 1.4.0. 2026-08-28T04:36:04+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:58+00:00 52278f2727cc0a15403c5ffec8605b3f0cd09e37 * gnu/packages/potassco.scm (python-clingexplaid): Update to 1.4.0. 
* gnu/packages/potassco.scm (python-clingexplaid): Update to 1.4.0.
gnu: python-clintest: Update to 0.5.0. 2026-08-28T04:36:03+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:51+00:00 dfff8eaa74ffe26cdd1a0750ff3d5011204d7ef2 * gnu/packages/potassco.scm (python-clintest): Update to 0.5.0. 
* gnu/packages/potassco.scm (python-clintest): Update to 0.5.0.
gnu: python-clingraph: Update to 1.2.1. 2026-08-28T04:36:03+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:45+00:00 f0901d1e0707a36b520400dadee51f2bdc0d29e8 * gnu/packages/potassco.scm (python-clingraph): Update to 1.2.1. 
* gnu/packages/potassco.scm (python-clingraph): Update to 1.2.1.
gnu: python-clorm: Update to 1.6.3. 2026-08-28T04:36:03+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:38+00:00 c5d39d2c354ba59f4854f1f1b5e11d883a8f5888 * gnu/packages/potassco.scm (python-clorm): Update to 1.6.3. 
* gnu/packages/potassco.scm (python-clorm): Update to 1.6.3.
gnu: clingo: Update to 5.8.2. 2026-08-28T04:36:03+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:28+00:00 072c0f46ce4caa9010b43c49742c7d79665bdcab * gnu/packages/potassco.scm (clingo): Update to 5.8.2. 
* gnu/packages/potassco.scm (clingo): Update to 5.8.2.
gnu: clasp: Update to 3.4.1. 2026-08-28T04:36:03+00:00 Liliana Marie Prikler liliana.prikler@gmail.com 2026-08-20T13:34:12+00:00 2e997b82036a56e4ddd16ac2efdee3cab2f04cb4 * gnu/packages/potassco.scm (clasp): Update to 3.4.1. 
* gnu/packages/potassco.scm (clasp): Update to 3.4.1.
gnu: clingo: Upgrade dependency on catch. 2026-06-25T13:53:33+00:00 Cayetano Santos csantosb@inventati.org 2026-06-22T10:32:31+00:00 b7ace679516c285e89c29d1a9143f3129f151e2c * gnu/packages/potassco.scm (clingo)[inputs]: Replace catch2-3.5 with catch2. Signed-off-by: Andreas Enge <andreas@enge.fr> 
* gnu/packages/potassco.scm (clingo)[inputs]: Replace catch2-3.5 with
catch2.

Signed-off-by: Andreas Enge <andreas@enge.fr>
gnu: clingcon: Upgrade dependency on catch. 2026-06-25T13:53:33+00:00 Cayetano Santos csantosb@inventati.org 2026-06-22T10:27:15+00:00 206f8333e6fb344fcd13e4a75763b08eb12ff1fd * gnu/packages/potassco.scm (clingcon)[native-inputs]: Replace catch2-3.5 with catch2. Signed-off-by: Andreas Enge <andreas@enge.fr> 
* gnu/packages/potassco.scm (clingcon)[native-inputs]: Replace
catch2-3.5 with catch2.

Signed-off-by: Andreas Enge <andreas@enge.fr>
gnu: clingo-lpx: Upgrade dependency on catch. 2026-06-25T13:53:33+00:00 Cayetano Santos csantosb@inventati.org 2026-06-22T10:25:52+00:00 81b6b5bf59b03ab147e7b2ef17cb8bb0e4b62f53 * gnu/packages/potassco.scm (clingo-lpx)[native-inputs]: Replace catch2-3.5 with catch2. Signed-off-by: Andreas Enge <andreas@enge.fr> 
* gnu/packages/potassco.scm (clingo-lpx)[native-inputs]: Replace
catch2-3.5 with catch2.

Signed-off-by: Andreas Enge <andreas@enge.fr>