smt2-parser-0.1.0.1: ChangeLog.md

# Changelog for smt2-parser

## 0.1.0.0

Initial release.

## 0.1.0.1

Relax dependency constraints.