Dependencies for liquid-fixpoint-0.9.6.3.5
There is a total of 23 dependencies in nightly-2026-01-18
- aeson-2.2.3.0@rev:4
- ansi-terminal-1.1.5
- ascii-progress-0.3.3.0
- async-2.2.6
- attoparsec-0.14.4@rev:6
- boxes-0.1.5
- cereal-0.5.8.3
- cmdargs-0.10.22
- fgl-5.8.3.0@rev:2
- gitrev-1.3.1
- hashable-1.5.1.0
- intern-0.9.6
- lens-family-2.1.3
- liquid-fixpoint-0.9.6.3.5
- megaparsec-9.7.0@rev:1
- parser-combinators-1.3.1
- rest-rewrite-0.4.5@rev:1
- smtlib-backends-0.4@rev:2
- smtlib-backends-process-0.3@rev:5
- store-0.7.20
- syb-0.7.3
- unordered-containers-0.2.21@rev:2
- vector-0.13.2.0@rev:2