Age | Commit message (Expand) | Author |
---|---|---|
2020-01-04 | gnu: swi-prolog: Update to 8.1.20....* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20. | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Modify documentation installation....* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation. | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Enable tests....* 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. | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog....* gnu/packages/prolog.scm (swi-prolog): New variable. | Brett Gilio |
2020-01-03 | gnu: gprolog: Use license prefix....* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses. | Brett Gilio |
2020-01-03 | Revert "gnu: Add swi-prolog."...This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9. | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog....* gnu/packages/prolog.scm (swi-prolog): New variable. | Brett Gilio |
2020-01-03 | gnu: Rename module gprolog to prolog....* 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. | Brett Gilio |