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