10 commits

Author	SHA1	Message	Date
Peter Simons	e1c72b6bd3	yap: update from 6.2.2 to 6.3.3	2015-01-27 14:04:53 +01:00
Mateusz Kowalczyk	007f80c1d0	Turn more licenses into lib.licenses style ... Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739	2014-11-06 00:48:16 +00:00
Peter Simons	7b898a1d6a	yap: revert update from 6.2.2 to 6.3.3 ... This reverts commit 41c662dcf6. The update doesn't compile in i686, and I don't have time to investigate at the moment.	2014-03-07 23:16:33 +01:00
Peter Simons	41c662dcf6	yap: update from 6.2.2 to 6.3.3	2014-03-05 15:32:15 +01:00
Dries Van Daele	89964dd241	add tabling to yap	2013-10-05 20:59:34 +02:00
Peter Simons	39043ce87e	yap: add 'zlib' and 'gmp' build inputs to enable additional features	2013-09-11 20:43:04 +02:00
Dries Van Daele	0cc6bf647d	Update YAP to version 6.2.2	2013-09-11 19:44:17 +02:00
Evgeny Egorochkin	b084b29d26	Even more mirror:// fixes	2013-07-14 04:17:07 +03:00
Eelco Dolstra	f53195f29e	* Improved a bunch of "name" attributes (mostly missing version ... numbers). svn path=/nixpkgs/trunk/; revision=17991	2009-10-28 14:06:56 +00:00
Marc Weber	9d5e5ddc9e	yap prolog system added ... svn path=/nixpkgs/trunk/; revision=11090	2008-03-13 01:13:53 +00:00