summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Expand)Author
2026-03-20gnu: Reference the inherited inputs values.Ludovic Courtès
2026-03-20gnu: Reference the inherited ‘arguments’ value.Ludovic Courtès
2026-02-07gnu: python-clingcon: Switch to pyproject.Nicolas Graves
2026-02-07gnu: python-clingo-dl: Switch to pyproject.Nicolas Graves
2026-02-07gnu: python-clingo: Switch to pyproject.Nicolas Graves
2026-02-07gnu: python-clinguin: Update to 2.7.4.Nicolas Graves
2026-02-07gnu: Remove python-pylint native-input from some packages.Nicolas Graves
2025-10-29gnu: python-asprin: Fix build.Hugo Buddelmeijer
2025-10-10gnu: python-plingo: Fix build.Hugo Buddelmeijer
2025-09-25gnu: python-telingo: Fix tests.Nicolas Graves
2025-09-25gnu: python-clinguin: Fix tests.Sharlatan Hellseher
2025-09-25gnu: python-clorm: Fix tests.Nicolas Graves
2025-09-10gnu: python-clinguin: Update to 2.7.1.Liliana Marie Prikler
2025-09-10gnu: python-clingexplaid: Update to 1.3.3.Liliana Marie Prikler
2025-09-10gnu: python-clintest: Update to 0.4.0.Liliana Marie Prikler
2025-09-10gnu: python-clorm: Update to 1.6.1.Liliana Marie Prikler
2025-09-10gnu: Add python-clingcon.Liliana Marie Prikler
2025-08-04gnu: Disable tests.Greg Hogan
2025-05-17gnu: clingo: Update to 5.8.0.Liliana Marie Prikler
2025-05-17gnu: clasp: Update to 3.4.0.Liliana Marie Prikler
2025-05-17gnu: libpotassco: Update to 0.0-3.2eecf5f.Liliana Marie Prikler
2025-02-10gnu: python-clintest: Propagate python-clingo.Liliana Marie Prikler
2025-02-03gnu: python-clingo: Build from sources.Liliana Marie Prikler
2025-01-20gnu: python-asprin: Add missing inputs.Sharlatan Hellseher
2025-01-20gnu: python-clingexplaid: Add missing inputs.Ricardo Wurmus
2024-12-18gnu: python-clintest: Update to 0.3.0.Sharlatan Hellseher
2024-12-18gnu: python-clingox: Fix build, improve style.Sharlatan Hellseher
2024-12-13gnu: Add python-setuptools/python-wheel where necessary.Lars-Dominik Braun
2024-12-13build-system/pyproject: Use python-sans-pip-wrapper as default-python.Lars-Dominik Braun
2024-12-08gnu: python-clinguin: Update to 2.1.1.Liliana Marie Prikler
2024-12-08gnu: python-clinguin: Fix homepage.Liliana Marie Prikler
2024-12-08gnu: Add python-clingexplaid.Liliana Marie Prikler
2024-10-27gnu: Add clingcon.Liliana Marie Prikler
2024-10-27gnu: Add clingo-lpx.Liliana Marie Prikler
2024-07-27gnu: Add python-clingox.Liliana Marie Prikler
2024-07-27gnu: Add python-asprin.Liliana Marie Prikler
2024-07-07gnu: clasp: Prevent ID clashes in dependent packages.Liliana Marie Prikler
2024-05-14gnu: Add python-clintest.Liliana Marie Prikler
2024-03-02gnu: python-telingo: Update to 2.1.3.Liliana Marie Prikler
2024-03-02gnu: python-plingo: Update to 1.1.0.Liliana Marie Prikler
2024-03-02gnu: python-clorm: Update to 1.5.0.Liliana Marie Prikler
2024-03-02gnu: python-clingo-dl: Fix build.Liliana Marie Prikler
2024-03-02gnu: python-clingo: Fix build.Liliana Marie Prikler
2024-03-02gnu: clingo-dl: Update to 1.5.0.Liliana Marie Prikler
2024-03-02gnu: clingo: Build from actual sources.Liliana Marie Prikler
2024-03-02gnu: clingo: Update to 5.7.1.Liliana Marie Prikler
2024-03-02gnu: clasp: Update to 3.3.10.Liliana Marie Prikler
2024-03-02gnu: libpotassco: Update to 0.0-2.69b677f.Liliana Marie Prikler
2024-02-03gnu: Add lua-clingo.Liliana Marie Prikler
2024-02-03gnu: Add python-plingo.Liliana Marie Prikler