debian/20231231+ds-4

Stéphane Glondu

@glondu

f5a34a10 · Prepare upload to unstable · Aug 03, 2024

coq-menhirlib release 20231231+ds-4 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

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