archive/debian/2.0.3-3
Stéphane Glondu
@glondu
85552290
·
Declare fast forward from 2.0.3-2
·
Aug 04, 2024
Unverified
coq-quickchick release 2.0.3-3 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
