guix/patches

	Commit message (Collapse)	Author	Age
*	gnu: swi-prolog: Update to 8.1.20.	Brett Gilio	2020-01-04
\| \| \| \|	* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
*	gnu: swi-prolog: Modify documentation installation.	Brett Gilio	2020-01-04
\| \| \| \| \|	* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation.
*	gnu: swi-prolog: Enable tests.	Brett Gilio	2020-01-04
\| \| \| \| \| \|	* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work around tests that cause failure by trying to write to the store, or establishing a network connection.
*	gnu: Add swi-prolog.	Brett Gilio	2020-01-03
\| \| \| \|	* gnu/packages/prolog.scm (swi-prolog): New variable.
*	gnu: gprolog: Use license prefix.	Brett Gilio	2020-01-03
\| \| \| \|	* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
*	Revert "gnu: Add swi-prolog."	Brett Gilio	2020-01-03
\| \| \| \|	This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
*	gnu: Add swi-prolog.	Brett Gilio	2020-01-03
\| \| \| \|	* gnu/packages/prolog.scm (swi-prolog): New variable.
*	gnu: Rename module gprolog to prolog.	Brett Gilio	2020-01-03
	* gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm. * gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not implementation specific.