summary refs log tree commit diff
path: root/gnu/packages/potassco.scm
AgeCommit message (Expand)Author
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