Skip to content

Commit

Permalink
Add version bounds to all libraries
Browse files Browse the repository at this point in the history
  • Loading branch information
jhbertra committed Mar 31, 2023
1 parent b85404b commit d2f7b31
Show file tree
Hide file tree
Showing 3 changed files with 35 additions and 35 deletions.
34 changes: 17 additions & 17 deletions haskell/marlowe-reference.cabal
Expand Up @@ -10,23 +10,23 @@ cabal-version: >= 1.10

executable marlowe
default-language: Haskell2010
build-depends: base,
base16-bytestring,
bytestring,
containers,
cryptohash,
QuickCheck,
mtl,
sbv,
tasty,
tasty-hunit,
tasty-smallcheck,
tasty-quickcheck,
text,
template-haskell,
time,
aeson,
wl-pprint -any
build-depends: base >= 4.9 && < 5,
base16-bytestring >= 1 && < 2,
bytestring >= 0.10.12 && < 0.12,
containers >= 0.6.5 && < 0.7,
cryptohash >= 0.11.9 && < 0.12,
QuickCheck >= 2.14 && < 3,
mtl >= 2.2 && < 3,
sbv >= 9.0,
tasty >= 1.4.2 && < 1.5,
tasty-hunit >= 0.10 && < 0.11,
tasty-smallcheck >= 0.8 && < 0.9,
tasty-quickcheck >= 0.10 && < 0.11,
text >= 1.2.4 && < 2,
template-haskell >= 2.18 && < 3,
time >= 1.11 && < 2,
aeson >= 2 && < 3,
wl-pprint >= 1.2 && < 2
other-modules:
Language.Marlowe
Language.Marlowe.Pretty
Expand Down
10 changes: 5 additions & 5 deletions isabelle/marlowe.cabal
Expand Up @@ -19,11 +19,11 @@ library
default-language: Haskell2010
build-depends:
base >=4.9 && <5,
aeson,
aeson-pretty,
bytestring,
text,
scientific,
aeson >= 2 && < 3,
aeson-pretty >= 0.8.9 && < 0.9,
bytestring >= 0.10.12 && < 0.12,
text >= 1.2.4 && < 2,
scientific >= 0.3.7 && < 0.4,
other-modules:
ByteString
HOL
Expand Down
26 changes: 13 additions & 13 deletions marlowe-spec-test/marlowe-spec-test.cabal
Expand Up @@ -46,19 +46,19 @@ library
build-depends:
aeson,
base >=4.9 && <5,
bytestring,
marlowe,
tasty,
tasty-hunit,
process,
text,
optparse-applicative,
QuickCheck-GenT,
QuickCheck,
tasty-quickcheck,
stm,
random,
mtl
bytestring >= 0.10.12 && < 0.12,
marlowe ==0.1.0.0,
tasty >= 1.4.2 && < 1.5,
tasty-hunit >= 0.10 && < 0.11,
process >= 1.6.13 && < 1.7,
text >= 1.2.4 && < 2,
optparse-applicative >= 0.17 && < 0.18,
QuickCheck-GenT >= 0.2.2 && < 0.3,
QuickCheck >= 2.14 && < 3,
tasty-quickcheck >= 0.10 && < 0.11,
stm >= 2.5 && < 2.6,
random >= 1.2 && < 1.3,
mtl >= 2.2 && < 3,

executable marlowe-spec
import: lang
Expand Down

0 comments on commit d2f7b31

Please sign in to comment.