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 |
|