Michael Raskin 6b8abaa29e Adding OpenSMT ... svn path=/nixpkgs/trunk/; revision=24978		2010-12-05 18:22:14 +00:00
..
default.nix	Adding OpenSMT	2010-12-05 18:22:14 +00:00