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

Dependencies for sbv-program-1.1.0.0

Libraries

sbv-program

• base (<5)
• bifunctors (>=5.5.13 && <5.6)
• containers (>=0.6.5 && <0.7)
• pretty-simple (>=4.1.2 && <4.2)
• sbv (>=9.0 && <9.1)