Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bring my stdenv.lib.maintainers user name in line with my github nick. | Peter Simons | 2016-05-16 |
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
* | yap: mark 32 bit Linux build broken | Peter Simons | 2015-03-04 |
* | yap: update from 6.2.2 to 6.3.3 | Peter Simons | 2015-01-27 |
* | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
* | yap: revert update from 6.2.2 to 6.3.3 | Peter Simons | 2014-03-07 |
* | yap: update from 6.2.2 to 6.3.3 | Peter Simons | 2014-03-05 |
* | add tabling to yap | Dries Van Daele | 2013-10-05 |
* | yap: add 'zlib' and 'gmp' build inputs to enable additional features | Peter Simons | 2013-09-11 |
* | Update YAP to version 6.2.2 | Dries Van Daele | 2013-09-11 |
* | Even more mirror:// fixes | Evgeny Egorochkin | 2013-07-14 |
* | * Improved a bunch of "name" attributes (mostly missing version | Eelco Dolstra | 2009-10-28 |
* | yap prolog system added | Marc Weber | 2008-03-13 |