guix - Guix

	Commit message (Collapse)	Author	Age
*	gnu: Add lua-clingo.	Liliana Marie Prikler	2024-02-03
\| \| \| \| \|	* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo) (lua5.2-clingo): New variables.
*	gnu: Add python-plingo.	Liliana Marie Prikler	2024-02-03
\| \| \| \|	* gnu/packages/potassco.scm (python-plingo): New variable.
*	gnu: python-clorm: Reindent with emacs.	Liliana Marie Prikler	2024-02-03
\| \| \| \|	* gnu/packages/potassco.scm (python-clorm): Reindent with emacs.
*	gnu: Add python-clingo-dl.	Liliana Marie Prikler	2024-02-03
\| \| \| \|	* gnu/packages/potassco.scm (python-clingo-dl): New variable.
*	gnu: python-clingraph: Update to 1.1.2.	Ricardo Wurmus	2024-01-16
\| \| \| \| \| \|	* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2. Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495
*	gnu: catch2-3: Update to 3.5.1.	Maxim Cournoyer	2024-01-09
\| \| \| \| \| \| \| \| \| \|	* 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
*	gnu: Add plasp.	Liliana Marie Prikler	2023-11-30
\| \| \| \| \| \| \| \| \|	* 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
*	gnu: Add clingo-dl.	Liliana Marie Prikler	2023-11-23
\| \| \| \| \| \|	* gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
*	gnu: emacs-pasp-mode: Use a source file-name.	Efraim Flashner	2023-07-08
\| \| \| \| \|	* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source file-name.
*	gnu: catch2: Update to 3.3.2.	David Elsing	2023-07-01
\| \| \| \| \| \| \| \| \| \| \|	* 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>
*	gnu: clingo: Unbundle dependencies.	David Elsing	2023-07-01
\| \| \| \| \| \| \| \| \|	* 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>
*	gnu: Add python-clinguin.	Liliana Marie Prikler	2023-05-09
\| \| \| \|	* gnu/packages/potassco.scm (python-clinguin): New variable.
*	gnu: libpotassco: Unbundle catch.	Liliana Marie Prikler	2023-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 Cournoyer	2023-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 Prikler	2023-04-02
\| \| \| \|	* gnu/packages/potassco.scm (python-clingraph): New variable.
*	gnu: Separate potassco packages into their own module.	Liliana Marie Prikler	2023-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.