nixpkgs/pkgs/applications/science/logic/abc
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