archive/debian/0.12.1-2

Stéphane Glondu

@glondu

1a272860 · Declare fast forward from 0.12.1-1 · Aug 03, 2024

coq-ext-lib release 0.12.1-2 for unstable (sid) [dgit]

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