archive/debian/3.1.0-1

Stéphane Glondu

@glondu

e81a7e3f · Make fast forward from 2.0.3-2 · Sep 25, 2020

lambda-term release 3.1.0-1 for unstable (sid) [dgit]

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