summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
Commit message (Expand)AuthorAge
* gnu: emacs-pasp-mode: Use a source file-name.Efraim Flashner2023-07-08
* gnu: catch2: Update to 3.3.2.David Elsing2023-07-01
* gnu: clingo: Unbundle dependencies.David Elsing2023-07-01
* gnu: Add python-clinguin.Liliana Marie Prikler2023-05-09
* gnu: libpotassco: Unbundle catch.Liliana Marie Prikler2023-04-29
* gnu: python-typing-extensions: Move to (gnu packages python-build).Maxim Cournoyer2023-04-19
* gnu: Add python-clingraph.Liliana Marie Prikler2023-04-02
* gnu: Separate potassco packages into their own module.Liliana Marie Prikler2023-04-02