Skip to content
GitLab
Explore
Sign in
Register
archive/debian/0.2.0-3
Stéphane Glondu
@glondu
44621bc0
·
Declare fast forward from 0.2.0-2
·
Aug 04, 2024
Unverified
coq-deriving release 0.2.0-3 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
