packages feed

minisat-solver-0.1: ChangeLog

v0.1 2016/10/24
	Initial public release.