Dependencies for hevm-0.51.0
Libraries
hevm
- abstract-par (>=0.3.3 && <0.4)
- aeson (>=2.0.0 && <2.1)
- aeson-optics (>=1.2.0.1 && <1.3)
- ansi-wl-pprint (>=0.6.9 && <0.7)
- async (>=2.2.4 && <2.3)
- base (>=4.9 && <5)
- base16 (>=0.3.2.0 && <0.3.3.0)
- binary (>=0.8.6 && <0.9)
- bytestring (>=0.11.3.1 && <0.12)
- cereal (>=0.5.8 && <0.6)
- containers (>=0.6.0 && <0.7)
- cryptonite (>=0.30 && <0.31)
- data-dword (>=0.3.1 && <0.4)
- Decimal (>=0.5.1 && <0.6)
- deepseq (>=1.4.4 && <1.5)
- directory (>=1.3.3 && <1.4)
- filepath (>=1.4.2 && <1.5)
- filepattern (>=0.1.2 && <0.2)
- free (>=5.1.3 && <5.2)
- haskeline (>=0.8.0 && <0.9)
- here (>=1.2.13 && <1.3)
- megaparsec (>=9.0.0 && <10.0)
- memory (>=0.16.0 && <0.20)
- monad-par (>=0.3.5 && <0.4)
- mtl (>=2.2.2 && <2.3)
- multiset (>=0.3.4 && <0.4)
- operational (>=0.2.3 && <0.3)
- optics-core (>=0.4.1 && <0.5)
- optics-extra (>=0.4.2.1 && <0.5)
- optics-th (>=0.4.1 && <0.5)
- optparse-generic (>=1.3.1 && <1.5)
- process (>=1.6.5 && <1.7)
- QuickCheck (>=2.13.2 && <2.15)
- quickcheck-text (>=0.1.2 && <0.2)
- regex-tdfa (>=1.2.3 && <1.4)
- restless-git (>=0.7 && <0.8)
- rosezipper (>=0.2 && <0.3)
- scientific (>=0.3.6 && <0.4)
- smt2-parser (>=0.1.0.1)
- spawn (>=0.3 && <0.4)
- spool (>=0.1 && <0.2)
- stm (>=2.5.0 && <2.6.0)
- temporary (>=1.3 && <1.4)
- text (>=1.2.3 && <1.3)
- time (>=1.11.1.1 && <1.12)
- transformers (>=0.5.6 && <0.6)
- tree-view (>=0.5 && <0.6)
- tuple (>=0.3.0.2 && <0.4)
- unordered-containers (>=0.2.10 && <0.3)
- vector (>=0.12.1 && <0.13)
- witherable (>=0.3.5 && <0.5)
- word-wrap (>=0.5 && <0.6)
- wreq (>=0.5.3 && <0.6)
- if !os(windows)
hevm:test-utils
- aeson
- array
- base
- base16
- binary
- bytestring
- containers
- data-dword
- directory
- filemanip
- filepath
- here
- hevm
- HUnit (>=1.6)
- mtl
- operational
- optics-core
- optics-extra
- process
- QuickCheck
- quickcheck-instances
- regex
- regex-tdfa
- smt2-parser (>=0.1.0.1)
- spawn (>=0.3)
- stm (>=2.5.0)
- tasty (>=1.0)
- tasty-bench
- tasty-expected-failure (>=0.12)
- tasty-hunit (>=0.10)
- tasty-quickcheck (>=0.9)
- temporary
- text
- time
- vector
- witherable
- if os(windows)
- buildable: False
Executables
hevm
- aeson
- ansi-wl-pprint
- async
- base
- base16
- binary
- brick
- bytestring
- containers
- cryptonite
- data-dword
- deepseq
- directory
- filepath
- free
- hevm
- memory
- mtl
- operational
- optics-core
- optparse-generic
- process
- QuickCheck
- quickcheck-text
- regex-tdfa
- spawn
- stm
- temporary
- text
- unordered-containers
- vector
- vty
- if os(windows)
- buildable: False
Flags
Manual Flags
Name | Description | Default |
---|---|---|
ci | Sets flags for compilation in CI | Disabled |
devel | Sets flag for compilation during development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info