From =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdSAoQ@21:1/5 to All on Wed Nov 24 09:10:02 2021
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / why3
Commits:
8f80f3f2 by Stephane Glondu at 2021-11-23T10:21:35+01:00
Update debian/watch
- - - - -
f5f1014f by Stephane Glondu at 2021-11-23T10:21:58+01:00
New upstream version 1.4.0
- - - - -
0fe61915 by Stephane Glondu at 2021-11-23T10:22:17+01:00
Update upstream source from tag 'upstream/1.4.0'
Update to upstream version '1.4.0'
with Debian dir b3a5e7b817a6ed2aa12e3d7ea98b75e76e3018e3
- - - - -
0d2cfdc8 by Stephane Glondu at 2021-11-23T10:22:23+01:00
New upstream release
- - - - -
3f88d14b by Stephane Glondu at 2021-11-23T10:26:46+01:00
Refresh patches
- - - - -
af473a65 by Stephane Glondu at 2021-11-23T14:24:36+01:00
Add support for Coq 8.14
- - - - -
19f67cc2 by Stephane Glondu at 2021-11-23T14:25:11+01:00
Update packaging
- - - - -
abfa9a14 by Stephane Glondu at 2021-11-23T14:26:28+01:00
Update changelog and prepare upload to unstable
- - - - -
5893051b by Stephane Glondu at 2021-11-24T08:49:23+01:00
Fix autopkgtests
- - - - -
02238e23 by Stephane Glondu at 2021-11-24T08:50:42+01:00
Update changelog and prepare upload to unstable
You're receiving this email because of your account on salsa.debian.org.
If you'd like to receive fewer emails, you can
adjust your notification settings.