Commit Graph

13 Commits

Author SHA1 Message Date
Peter Simons
8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
Joachim Fasting
bf7ad2d84f meta.description fixups
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
Peter Simons
38c67a358e yap: mark 32 bit Linux build broken 2015-03-04 11:14:58 +01:00
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 41c662dcf68ce41c64ceb73a2f21a8aac09eb41e. 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