archive/debian/0.10.2-1

Andrej Shadura

@andrewsh

01d676a9 · Merge the unpushed rebuild-only release into debian/master · May 14, 2020

vavr0 release 0.10.2-1 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]