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
..
default.nix	nixpkgs: picosat 936 -> 960, add myself as a maintainer	2015-06-14 19:48:12 -05:00