index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
potassco.scm
Age
Commit message (
Expand
)
Author
2026-03-20
gnu: Reference the inherited inputs values.
Ludovic Courtès
2026-03-20
gnu: Reference the inherited ‘arguments’ value.
Ludovic Courtès
2026-02-07
gnu: python-clingcon: Switch to pyproject.
Nicolas Graves
2026-02-07
gnu: python-clingo-dl: Switch to pyproject.
Nicolas Graves
2026-02-07
gnu: python-clingo: Switch to pyproject.
Nicolas Graves
2026-02-07
gnu: python-clinguin: Update to 2.7.4.
Nicolas Graves
2026-02-07
gnu: Remove python-pylint native-input from some packages.
Nicolas Graves
2025-10-29
gnu: python-asprin: Fix build.
Hugo Buddelmeijer
2025-10-10
gnu: python-plingo: Fix build.
Hugo Buddelmeijer
2025-09-25
gnu: python-telingo: Fix tests.
Nicolas Graves
2025-09-25
gnu: python-clinguin: Fix tests.
Sharlatan Hellseher
2025-09-25
gnu: python-clorm: Fix tests.
Nicolas Graves
2025-09-10
gnu: python-clinguin: Update to 2.7.1.
Liliana Marie Prikler
2025-09-10
gnu: python-clingexplaid: Update to 1.3.3.
Liliana Marie Prikler
2025-09-10
gnu: python-clintest: Update to 0.4.0.
Liliana Marie Prikler
2025-09-10
gnu: python-clorm: Update to 1.6.1.
Liliana Marie Prikler
2025-09-10
gnu: Add python-clingcon.
Liliana Marie Prikler
2025-08-04
gnu: Disable tests.
Greg Hogan
2025-05-17
gnu: clingo: Update to 5.8.0.
Liliana Marie Prikler
2025-05-17
gnu: clasp: Update to 3.4.0.
Liliana Marie Prikler
2025-05-17
gnu: libpotassco: Update to 0.0-3.2eecf5f.
Liliana Marie Prikler
2025-02-10
gnu: python-clintest: Propagate python-clingo.
Liliana Marie Prikler
2025-02-03
gnu: python-clingo: Build from sources.
Liliana Marie Prikler
2025-01-20
gnu: python-asprin: Add missing inputs.
Sharlatan Hellseher
2025-01-20
gnu: python-clingexplaid: Add missing inputs.
Ricardo Wurmus
2024-12-18
gnu: python-clintest: Update to 0.3.0.
Sharlatan Hellseher
2024-12-18
gnu: python-clingox: Fix build, improve style.
Sharlatan Hellseher
2024-12-13
gnu: Add python-setuptools/python-wheel where necessary.
Lars-Dominik Braun
2024-12-13
build-system/pyproject: Use python-sans-pip-wrapper as default-python.
Lars-Dominik Braun
2024-12-08
gnu: python-clinguin: Update to 2.1.1.
Liliana Marie Prikler
2024-12-08
gnu: python-clinguin: Fix homepage.
Liliana Marie Prikler
2024-12-08
gnu: Add python-clingexplaid.
Liliana Marie Prikler
2024-10-27
gnu: Add clingcon.
Liliana Marie Prikler
2024-10-27
gnu: Add clingo-lpx.
Liliana Marie Prikler
2024-07-27
gnu: Add python-clingox.
Liliana Marie Prikler
2024-07-27
gnu: Add python-asprin.
Liliana Marie Prikler
2024-07-07
gnu: clasp: Prevent ID clashes in dependent packages.
Liliana Marie Prikler
2024-05-14
gnu: Add python-clintest.
Liliana Marie Prikler
2024-03-02
gnu: python-telingo: Update to 2.1.3.
Liliana Marie Prikler
2024-03-02
gnu: python-plingo: Update to 1.1.0.
Liliana Marie Prikler
2024-03-02
gnu: python-clorm: Update to 1.5.0.
Liliana Marie Prikler
2024-03-02
gnu: python-clingo-dl: Fix build.
Liliana Marie Prikler
2024-03-02
gnu: python-clingo: Fix build.
Liliana Marie Prikler
2024-03-02
gnu: clingo-dl: Update to 1.5.0.
Liliana Marie Prikler
2024-03-02
gnu: clingo: Build from actual sources.
Liliana Marie Prikler
2024-03-02
gnu: clingo: Update to 5.7.1.
Liliana Marie Prikler
2024-03-02
gnu: clasp: Update to 3.3.10.
Liliana Marie Prikler
2024-03-02
gnu: libpotassco: Update to 0.0-2.69b677f.
Liliana Marie Prikler
2024-02-03
gnu: Add lua-clingo.
Liliana Marie Prikler
2024-02-03
gnu: Add python-plingo.
Liliana Marie Prikler
[next]