Robert Helgesson
|
8878e8ec05
|
leo2: remove use of builderDefsPackage (#17398)
|
2016-07-31 13:57:29 +02:00 |
|
Eelco Dolstra
|
7ce5d43c63
|
Fix some URLs that lacked a URI scheme
|
2016-05-09 19:35:05 +02:00 |
|
Pascal Wittmann
|
f94580da69
|
Fix license attribute of many bsd-like licensed packages
|
2014-12-21 00:00:35 +01:00 |
|
Michael Raskin
|
f1f0f0cf19
|
Update and fix LEO2 prover
|
2014-08-12 03:57:52 +04:00 |
|
Evgeny Egorochkin
|
9c6f7cc9c1
|
Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.
|
2013-06-07 03:15:45 +03:00 |
|
Eelco Dolstra
|
c556a6ea46
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
|
2012-01-18 20:16:00 +00:00 |
|
Michael Raskin
|
946cd2431f
|
Update LEO-II
svn path=/nixpkgs/trunk/; revision=28180
|
2011-08-05 18:22:40 +00:00 |
|
Michael Raskin
|
c32bd62956
|
Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
|
2010-12-01 21:29:42 +00:00 |
|