v0.5.1

Michael Hanus

@mh

6f8957ee · Build version set to 0 in order to finalize version 0.5.1 · Apr 10, 2017

Version 0.5.1 for Debian packaging