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