aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
Commit message (Collapse)AuthorAge
* gnu: libpotassco: Unbundle catch.Liliana Marie Prikler2023-04-29
| | | | | | | This patch incidentally fixes a build failure caused by the bundled catch. * gnu/packages/potassco.scm (libpotassco)[source]: Unbundle catch. [native-inputs]: Add catch2-1.
* gnu: python-typing-extensions: Move to (gnu packages python-build).Maxim Cournoyer2023-04-19
| | | | | * gnu/packages/python-xyz.scm (python-typing-extensions): Move to... * gnu/packages/python-build.scm (python-typing-extensions): ... here.
* gnu: Add python-clingraph.Liliana Marie Prikler2023-04-02
| | | | * gnu/packages/potassco.scm (python-clingraph): New variable.
* gnu: Separate potassco packages into their own module.Liliana Marie Prikler2023-04-02
* gnu/packages/potassco.scm: New file. * gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo) (python-telingo): Move to potassco module. Adjust imports accordingly. * gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module. * gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.