haskell-presburger: update to version 1.2
This commit is contained in:
parent
a29471f74e
commit
b075eb7f59
@ -1,11 +1,12 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal }:
|
||||
{ cabal, QuickCheck }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "presburger";
|
||||
version = "1.1";
|
||||
sha256 = "0pb0rabhhzrrrsr8260lgjpp168pm8ldqwfqbc2i1wy95n7wxk7c";
|
||||
version = "1.2";
|
||||
sha256 = "1kx51ydpjg5dv762p85qh9w76qm038rw9pgfnd0az1vms97r1kpm";
|
||||
testDepends = [ QuickCheck ];
|
||||
meta = {
|
||||
homepage = "http://github.com/yav/presburger";
|
||||
description = "A decision procedure for quantifier-free linear arithmetic";
|
||||
|
Loading…
Reference in New Issue
Block a user