Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: Rename module gprolog to prolog. | Brett Gilio | 2020-01-03 |
* | gnu: gprolog: Update to 1.4.5. | fis trivial | 2018-09-20 |
* | gnu: Use 'modify-phases' syntax. | Kei Kebreau | 2017-09-20 |
* | gnu: gprolog: Don't install files into "$out/gprolog-1.4.4". | 宋文武 | 2016-05-28 |
* | gnu: gprolog: Remove armhf from supported architectures. | Efraim Flashner | 2015-10-07 |
* | gnu: Mark a few packages as unsupported on MIPS. | Ludovic Courtès | 2014-10-28 |
* | gnu: Synchronize descriptions with 'gnumaint'. | Ludovic Courtès | 2013-12-01 |
* | Synchronize package descriptions with the Womb. | Ludovic Courtès | 2013-10-09 |
* | gnu: gprolog: Update to 1.4.4. | Ludovic Courtès | 2013-04-27 |
* | gnu: gprolog: Update to 1.4.3 and download from GNU mirrors | Mark H Weaver | 2013-04-21 |
* | gnu: Use synopses from the Womb. | Ludovic Courtès | 2013-04-17 |
* | gnu: Add GNU Prolog. | Nikita Karetnikov | 2013-02-02 |