Skip to content
GitLab
Explore
Sign in
Register
archive/debian/1.6.0-1
Stéphane Glondu
@glondu
95e5434a
·
Declare fast forward from 1.5.1-1
·
Sep 08, 2023
Unverified
why3 release 1.6.0-1 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
