summaryrefslogtreecommitdiff
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