Hackage :: [Package]

Changelog for simple-smt-0.5.0

0.4: Fixes definiiton of `geq`