aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
Commit message (Expand)AuthorAge
* gnu: catch2-3: Update to 3.5.1.Maxim Cournoyer2024-01-09
* gnu: Add plasp.Liliana Marie Prikler2023-11-30
* gnu: Add clingo-dl.Liliana Marie Prikler2023-11-23
* 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