{ 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; }