summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
AgeCommit message (Expand)Author
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.44.0) at 2024-07-07 18:49:48 +0000