Gabriel Ebner
|
e336cd003a
|
picosat: enable proof output and install various utils
|
2016-04-02 18:45:47 +02:00 |
|
Gabriel Ebner
|
659c240be8
|
picosat: 960 -> 965
|
2016-04-02 18:43:32 +02:00 |
|
Austin Seipp
|
2dfb657b94
|
nixpkgs: picosat 936 -> 960, add myself as a maintainer
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2015-06-14 19:48:12 -05:00 |
|
Mateusz Kowalczyk
|
7a45996233
|
Turn some license strings into lib.licenses values
|
2014-07-28 11:31:14 +02: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 |
|
Russell O'Connor
|
491c6e43b1
|
Package for picosat.
svn path=/nixpkgs/trunk/; revision=29869
|
2011-10-17 22:18:21 +00:00 |
|