This repository was archived by the owner on Jan 2, 2020. It is now read-only.
Provide downloads #13
Description
As part of the infrastructure issue #7, downloads need to be added.
GitHub releases (https://help.github.com/articles/about-releases) could be built via Travis CI (http://docs.travis-ci.com/user/deployment/releases/) using make dist (see #1).