curry-frontend (2:1.0.1-0) unstable; urgency=medium

  * Upstream-provided Debian package for curry-frontend.
    See upstream CHANGELOG.md for recent changes.

 -- Mike Gabriel <mga@informatik.uni-kiel.de>  Wed, 31 Jan 2018 14:47:36 +0100
