packages feed

simple-smt-0.4.0: CHANGES

0.4: Fixes definiiton of `geq`