diff options
Diffstat (limited to 'pkgs/development/libraries/haskell/presburger/default.nix')
| -rw-r--r-- | pkgs/development/libraries/haskell/presburger/default.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/development/libraries/haskell/presburger/default.nix b/pkgs/development/libraries/haskell/presburger/default.nix new file mode 100644 index 00000000000..fed380b9bd0 --- /dev/null +++ b/pkgs/development/libraries/haskell/presburger/default.nix @@ -0,0 +1,16 @@ +# This file was auto-generated by cabal2nix. Please do NOT edit manually! + +{ cabal }: + +cabal.mkDerivation (self: { + pname = "presburger"; + version = "1.1"; + sha256 = "0pb0rabhhzrrrsr8260lgjpp168pm8ldqwfqbc2i1wy95n7wxk7c"; + meta = { + homepage = "http://github.com/yav/presburger"; + description = "A decision procedure for quantifier-free linear arithmetic"; + license = self.stdenv.lib.licenses.bsd3; + platforms = self.ghc.meta.platforms; + maintainers = with self.stdenv.lib.maintainers; [ thoughtpolice ]; + }; +}) |