| Age | Commit message (Expand) | Author |
|---|
| 2023-05-09 | gnu: Add python-clinguin....* gnu/packages/potassco.scm (python-clinguin): New variable.
| Liliana Marie Prikler |
| 2023-04-29 | gnu: libpotassco: Unbundle catch....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.
| Liliana Marie Prikler |
| 2023-04-19 | gnu: python-typing-extensions: Move to (gnu packages python-build)....* gnu/packages/python-xyz.scm (python-typing-extensions): Move to...
* gnu/packages/python-build.scm (python-typing-extensions): ... here.
| Maxim Cournoyer |
| 2023-04-02 | gnu: Add python-clingraph....* gnu/packages/potassco.scm (python-clingraph): New variable.
| Liliana Marie Prikler |
| 2023-04-02 | gnu: Separate potassco packages into their own module....* 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.
| Liliana Marie Prikler |
