debian/0.10.0-1

Andrej Shadura

@andrewsh

83c006c2 · Initial packaging · Jul 18, 2019

vavr0 release 0.10.0-1 for unstable (sid)
(maintainer view tag generated by dgit --quilt=gbp)