• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for tasty-sbv-0

Libraries

tasty-sbv

• base (>=4.12 && <4.14)
• sbv (>=8.6 && <8.7)
• tagged (>=0.8 && <0.9)
• tasty (>=1.2 && <1.3)
• tasty-quickcheck (>=0.10 && <0.11)