The latest version of tasty-sugar is 2.2.2.0-0.
lib:tasty-sugar
Modules
Dependencies
- base lib:base >=4.10 && <5
- directory lib:directory >=0
- filemanip lib:filemanip >=0
- filepath lib:filepath >=0
- logict lib:logict <0.8
- optparse-applicative lib:optparse-applicative >=0
- prettyprinter lib:prettyprinter >=1.7.0
- tagged lib:tagged >=0
- tasty lib:tasty >=0
- tasty-sugar lib:tasty-sugar-internal >=0
Reverse dependencies
Direct only. Not exhaustive.
- tasty-prelude lib:tasty-prelude
- tasty-sugar test:test-params
- tasty-sugar test:test-passthru-ascii
- tasty-sugar test:test-sugar
- what4 test:solver_parsing_tests