summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Expand)Author
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
2024-02-03gnu: python-clorm: Reindent with emacs.Liliana Marie Prikler
2024-02-03gnu: Add python-clingo-dl.Liliana Marie Prikler
2024-01-16gnu: python-clingraph: Update to 1.1.2.Ricardo Wurmus
2024-01-09gnu: catch2-3: Update to 3.5.1.Maxim Cournoyer
2023-11-30gnu: Add plasp.Liliana Marie Prikler
2023-11-23gnu: Add clingo-dl.Liliana Marie Prikler
2023-07-08gnu: emacs-pasp-mode: Use a source file-name.Efraim Flashner
2023-07-01gnu: catch2: Update to 3.3.2.David Elsing
2023-07-01gnu: clingo: Unbundle dependencies.David Elsing
2023-05-09gnu: Add python-clinguin.Liliana Marie Prikler
2023-04-29gnu: libpotassco: Unbundle catch.Liliana Marie Prikler
2023-04-19gnu: python-typing-extensions: Move to (gnu packages python-build).Maxim Cournoyer
2023-04-02gnu: Add python-clingraph.Liliana Marie Prikler
2023-04-02gnu: Separate potassco packages into their own module.Liliana Marie Prikler
generated by cgit v1.2.3 (git 2.45.2) at 2025-03-15 06:37:23 +0000