cabal2nix-2.8.2: test/golden-test-cases/simple-smt.nix.golden
{ mkDerivation, base, fetchurl, process }:
mkDerivation {
pname = "simple-smt";
version = "0.7.1";
src = fetchurl {
url = "http://example.org/";
sha256 = "abc";
};
libraryHaskellDepends = [ base process ];
description = "A simple way to interact with an SMT solver process";
license = stdenv.lib.licenses.bsd3;
}