Dependencies for liquid-fixpoint-0.9.6.3.2
There is a total of 37 dependencies in lts-24.6
- aeson-2.2.3.0@rev:4
- ansi-terminal-1.1.3
- array-0.5.8.0
- ascii-progress-0.3.3.0
- async-2.2.5@rev:3
- attoparsec-0.14.4@rev:6
- base-4.20.1.0
- binary-0.8.9.3
- boxes-0.1.5
- bytestring-0.12.2.0
- cereal-0.5.8.3
- cmdargs-0.10.22
- containers-0.7
- deepseq-1.5.0.0
- directory-1.3.8.5
- fgl-5.8.3.0@rev:1
- filepath-1.5.4.0
- hashable-1.5.0.0@rev:1
- intern-0.9.6
- lens-family-2.1.3
- liquid-fixpoint-0.9.6.3.2
- megaparsec-9.7.0
- mtl-2.3.1
- parallel-3.2.2.0@rev:9
- parser-combinators-1.3.0@rev:1
- pretty-1.1.3.6
- process-1.6.25.0
- rest-rewrite-0.4.5@rev:1
- smtlib-backends-0.4@rev:2
- smtlib-backends-process-0.3@rev:5
- stm-2.5.3.1
- store-0.7.20
- syb-0.7.2.4
- text-2.1.2
- transformers-0.6.1.1
- unordered-containers-0.2.20@rev:4
- vector-0.13.2.0@rev:1