public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/libraries/haskell/presburger/default.nix

18 lines
576 B
Nix
Raw Normal View History

Add "please don't edit" comment at the top of every auto-generated Haskell file.
2014-07-14 04:21:41 -07:00
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
haskell-presburger: update to version 1.2
2014-12-12 00:50:37 -08:00
{ cabal, QuickCheck }:
cryptol v2.0.0 This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-24 21:15:50 -07:00
cabal.mkDerivation (self: {
pname = "presburger";
haskell-presburger: update to version 1.2
2014-12-12 00:50:37 -08:00
version = "1.2";
sha256 = "1kx51ydpjg5dv762p85qh9w76qm038rw9pgfnd0az1vms97r1kpm";
testDepends = [ QuickCheck ];
cryptol v2.0.0 This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-24 21:15:50 -07:00
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;
Re-generate Haskell expressions with latest cabal2nix.
2014-08-09 04:48:22 -07:00
maintainers = with self.stdenv.lib.maintainers; [ thoughtpolice ];
cryptol v2.0.0 This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-24 21:15:50 -07:00
};
})