| Age | Commit message (Expand) | Author |
|---|
| 2024-01-16 | gnu: python-clingraph: Update to 1.1.2....* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2.
Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495
| Ricardo Wurmus |
| 2024-01-09 | gnu: catch2-3: Update to 3.5.1....* gnu/packages/check.scm (catch2-3.3): Rename to...
(catch2-3): ... this. Update to 3.5.1.
* gnu/packages/logging.scm (spdlog) [native-inputs]: Rename catch2-3.3 to
catch2-3.
* gnu/packages/potassco.scm (clingo) [inputs]: Likewise.
Change-Id: Ied7724597ff4c6371dc4fedc10452ae870d23933
| Maxim Cournoyer |
| 2023-11-30 | gnu: Add plasp....* gnu/packages/patches/plasp-fix-normalization.patch: New file.
* gnu/packages/patches/plasp-include-iostream.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register them here.
* gnu/packages/potassoc.scm (plasp): New variable.
Change-Id: I0d8d64153b180a7d1d8d81888f843458efdf5e51
| Liliana Marie Prikler |
| 2023-11-23 | gnu: Add clingo-dl....* gnu/packages/potassco.scm (clingo-dl): New variable.
Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
| Liliana Marie Prikler |
| 2023-07-08 | gnu: emacs-pasp-mode: Use a source file-name....* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source
file-name.
| Efraim Flashner |
| 2023-07-01 | gnu: catch2: Update to 3.3.2....* gnu/packages/check.scm (catch2-3.1): Rename to catch2-3.3.
[version, source]: Update to 3.3.2.
[outputs]: Remove ‘doc’.
[build-system]: Use cmake-build-system.
[arguments]: Remove special phases. Add CMake options to #:configure-flags.
* gnu/packages/potassco.scm (clingo): Adjust accordingly.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| David Elsing |
| 2023-07-01 | gnu: clingo: Unbundle dependencies....* gnu/packages/potassco.scm: (clingo)[#:phases]: Patch CMakeLists.txt files to
use external dependencies.
[native-inputs]: Add mpark-variant, tl-optional, tsl-hopscotch-map,
tsl-ordered-map and tsl-sparse-map.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| David Elsing |
| 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 |
