cabal2nix-2.9.3: test/golden-test-cases/presburger.nix.golden

{ mkDerivation, base, containers, pretty, QuickCheck, stdenv }:
mkDerivation {
  pname = "presburger";
  version = "1.3.1";
  sha256 = "deadbeef";
  libraryHaskellDepends = [ base containers pretty ];
  testHaskellDepends = [ base QuickCheck ];
  homepage = "http://github.com/yav/presburger";
  description = "A decision procedure for quantifier-free linear arithmetic";
  license = stdenv.lib.licenses.bsd3;
}