The latest version of tasty-dejafu is 2.1.0.1-0.
lib:tasty-dejafu
Modules
Dependencies
- base lib:base >=4.8 && <5
- dejafu lib:dejafu >=0.7 && <0.8
- random lib:random >=1.0 && <1.2
- tagged lib:tagged >=0.8 && <0.9
- tasty lib:tasty >=0.10 && <0.12
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- libraft test:raft-test
- rec-def test:dejafu
- tasty-prelude lib:tasty-prelude