archive/debian/8.00.02-1

Stéphane Glondu

@glondu

6b903c27 · Make fast forward from 7.14-1 · Jan 19, 2022

camlp5 release 8.00.02-1 for unstable (sid) [dgit]

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