aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
Commit message (Expand)AuthorAge
* gnu: clasp: Prevent ID clashes in dependent packages.Liliana Marie Prikler2024-07-07
* gnu: Add python-clintest.Liliana Marie Prikler2024-05-14
* gnu: python-telingo: Update to 2.1.3.Liliana Marie Prikler2024-03-02
* gnu: python-plingo: Update to 1.1.0.Liliana Marie Prikler2024-03-02
* gnu: python-clorm: Update to 1.5.0.Liliana Marie Prikler2024-03-02
* gnu: python-clingo-dl: Fix build.Liliana Marie Prikler2024-03-02
* gnu: python-clingo: Fix build.Liliana Marie Prikler2024-03-02
* gnu: clingo-dl: Update to 1.5.0.Liliana Marie Prikler2024-03-02
* gnu: clingo: Build from actual sources.Liliana Marie Prikler2024-03-02
* gnu: clingo: Update to 5.7.1.Liliana Marie Prikler2024-03-02
* gnu: clasp: Update to 3.3.10.Liliana Marie Prikler2024-03-02
* gnu: libpotassco: Update to 0.0-2.69b677f.Liliana Marie Prikler2024-03-02
* gnu: Add lua-clingo.Liliana Marie Prikler2024-02-03
* gnu: Add python-plingo.Liliana Marie Prikler2024-02-03
* gnu: python-clorm: Reindent with emacs.Liliana Marie Prikler2024-02-03
* gnu: Add python-clingo-dl.Liliana Marie Prikler2024-02-03
* gnu: python-clingraph: Update to 1.1.2.Ricardo Wurmus2024-01-16
* 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