summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Expand)AuthorFilesLines
6 daysgnu: python-clinguin: Update to 2.8.5.Liliana Marie Prikler1-5/+3
6 daysgnu: python-clingexplaid: Update to 1.4.0.Liliana Marie Prikler1-2/+2
6 daysgnu: python-clintest: Update to 0.5.0.Liliana Marie Prikler1-2/+2
6 daysgnu: python-clingraph: Update to 1.2.1.Liliana Marie Prikler1-2/+2
6 daysgnu: python-clorm: Update to 1.6.3.Liliana Marie Prikler1-2/+2
6 daysgnu: clingo: Update to 5.8.2.Liliana Marie Prikler1-2/+2
6 daysgnu: clasp: Update to 3.4.1.Liliana Marie Prikler1-2/+2
2026-06-25gnu: clingo: Upgrade dependency on catch.Cayetano Santos1-1/+1
2026-06-25gnu: clingcon: Upgrade dependency on catch.Cayetano Santos1-1/+1
2026-06-25gnu: clingo-lpx: Upgrade dependency on catch.Cayetano Santos1-1/+1
2026-06-21gnu: catch2-3: Rename to catch2-3.5.Andreas Enge1-3/+3
2026-05-29gnu: Change (gnu packages re2c) to (gnu packages compiler-tools).Anderson Torres1-1/+1
2026-05-24guix: build-system: Set pypi-uri in pyproject, drop python module.Nicolas Graves1-1/+0
2026-03-20gnu: Reference the inherited inputs values.Ludovic Courtès1-5/+5
2026-03-20gnu: Reference the inherited ‘arguments’ value.Ludovic Courtès1-3/+3
2026-02-07gnu: python-clingcon: Switch to pyproject.Nicolas Graves1-3/+3
2026-02-07gnu: python-clingo-dl: Switch to pyproject.Nicolas Graves1-3/+3
2026-02-07gnu: python-clingo: Switch to pyproject.Nicolas Graves1-3/+3
2026-02-07gnu: python-clinguin: Update to 2.7.4.Nicolas Graves1-2/+2
2026-02-07gnu: Remove python-pylint native-input from some packages.Nicolas Graves1-2/+1
2025-10-29gnu: python-asprin: Fix build.Hugo Buddelmeijer1-3/+6
2025-10-10gnu: python-plingo: Fix build.Hugo Buddelmeijer1-2/+4
2025-09-25gnu: python-telingo: Fix tests.Nicolas Graves1-10/+10
2025-09-25gnu: python-clinguin: Fix tests.Sharlatan Hellseher1-2/+2
2025-09-25gnu: python-clorm: Fix tests.Nicolas Graves1-17/+19
2025-09-10gnu: python-clinguin: Update to 2.7.1.Liliana Marie Prikler1-3/+6
2025-09-10gnu: python-clingexplaid: Update to 1.3.3.Liliana Marie Prikler1-2/+2
2025-09-10gnu: python-clintest: Update to 0.4.0.Liliana Marie Prikler1-2/+2
2025-09-10gnu: python-clorm: Update to 1.6.1.Liliana Marie Prikler1-2/+2
2025-09-10gnu: Add python-clingcon.Liliana Marie Prikler1-0/+39
2025-08-04gnu: Disable tests.Greg Hogan1-1/+3
2025-05-17gnu: clingo: Update to 5.8.0.Liliana Marie Prikler1-2/+2
2025-05-17gnu: clasp: Update to 3.4.0.Liliana Marie Prikler1-2/+2
2025-05-17gnu: libpotassco: Update to 0.0-3.2eecf5f.Liliana Marie Prikler1-3/+3
2025-02-10gnu: python-clintest: Propagate python-clingo.Liliana Marie Prikler1-1/+1
2025-02-03gnu: python-clingo: Build from sources.Liliana Marie Prikler1-7/+5
2025-01-20gnu: python-asprin: Add missing inputs.Sharlatan Hellseher1-2/+7
2025-01-20gnu: python-clingexplaid: Add missing inputs.Ricardo Wurmus1-2/+2
2024-12-18gnu: python-clintest: Update to 0.3.0.Sharlatan Hellseher1-3/+3
2024-12-18gnu: python-clingox: Fix build, improve style.Sharlatan Hellseher1-11/+23
2024-12-13gnu: Add python-setuptools/python-wheel where necessary.Lars-Dominik Braun1-0/+4
2024-12-13build-system/pyproject: Use python-sans-pip-wrapper as default-python.Lars-Dominik Braun1-3/+6
2024-12-08gnu: python-clinguin: Update to 2.1.1.Liliana Marie Prikler1-3/+6
2024-12-08gnu: python-clinguin: Fix homepage.Liliana Marie Prikler1-1/+1
2024-12-08gnu: Add python-clingexplaid.Liliana Marie Prikler1-0/+33
2024-10-27gnu: Add clingcon.Liliana Marie Prikler1-0/+41
2024-10-27gnu: Add clingo-lpx.Liliana Marie Prikler1-0/+37
2024-07-27gnu: Add python-clingox.Liliana Marie Prikler1-0/+21
2024-07-27gnu: Add python-asprin.Liliana Marie Prikler1-0/+37
2024-07-07gnu: clasp: Prevent ID clashes in dependent packages.Liliana Marie Prikler1-28/+3
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-03 06:51:39 +0000