packages feed

satchmo 2.9.5 → 2.9.6

raw patch · 2 files changed

+4/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Satchmo/Counting/Direct.hs view
@@ -34,9 +34,11 @@   that <- atmost k xs   this B.&& that -assert_implies_atmost ys k xs = +assert_implies_atmost ys k xs | k >= 0 =    forM_ (select (k+1) xs) $ \ sub -> do     B.assert $ map B.not ys ++ map B.not sub+assert_implies_atmost ys k _ =+  B.assert $ map B.not ys  -- | asserting that  (or ys)  implies  (exactly k xs) assert_implies_exactly ys k xs = do
satchmo.cabal view
@@ -1,5 +1,5 @@ Name:           satchmo-Version:        2.9.5+Version:        2.9.6  License:        GPL License-file:	gpl-2.0.txt