Austin Seipp 3d181a3175 nixpkgs: abc-verifier 20150406 -> 20150614 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2015-06-14 19:48:11 -05:00
..
default.nix	nixpkgs: abc-verifier 20150406 -> 20150614	2015-06-14 19:48:11 -05:00