archive/debian/0.10.0-1

Andrej Shadura

@andrewsh

83c006c2 · Initial packaging · Jul 18, 2019

vavr0 release 0.10.0-1 for unstable (sid) [dgit]
[dgit distro=debian]