vavr0 (0.10.0-1) unstable; urgency=medium

  * Initial release (Closes: #932406).

 -- Andrej Shadura <andrewsh@debian.org>  Thu, 18 Jul 2019 17:55:51 -0300
