z3 (4.8.12-3.1) [PTS] [DDPO]

OLD: VCS is behind the version in the archive: 4.8.12-3 < 4.8.12-3.1.

Git: https://salsa.debian.org/pkg-llvm-team/z3.git
JSON
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
Branch: master
Path: debian/changelog
Repo size: 29184000
Browser: https://salsa.debian.org/pkg-llvm-team/z3
Last scan: 2023-11-28 18:20:28+00
Next scan: 2023-12-05 07:05:00+00

Debian changelog in Git:

z3 (4.8.12-3) unstable; urgency=medium

  * Do not use SSE2 unconditionally on i386
    (Closes: #1020802, #1020516, #1016658, #1021926)

 -- Karo Gyoker <karogyoker2+debbug@gmail.com>  Fri, 21 Oct 2022 19:24:40 +0200

This branch is 6 commits ahead of tag debian/4.8.12-1

Git log:

commit 3a3a3c95fc9b47501eec171133089456f6ffa4d1
Author: Sylvestre Ledru <sylvestre@debian.org>
Date:   Fri Oct 21 19:25:03 2022 +0200

    fix dates

commit 3dd8337b777299d7fc7ba4397b279d33c2683187
Author: Sylvestre Ledru <sylvestre@debian.org>
Date:   Fri Oct 21 15:53:02 2022 +0200

    rebase of the patches

commit c24300575b41606abf765309f4ed2fc0f2b987f3
Author: Sylvestre Ledru <sylvestre@debian.org>
Date:   Fri Oct 21 15:51:58 2022 +0200

    fix control

commit 5454ed2197797bab90872c66e70ab8abbc712e30
Merge: 7fde158 4ce5f2d
Author: Sylvestre Ledru <sylvestre@debian.org>
Date:   Thu Oct 20 08:07:56 2022 +0000

    Merge branch 'karogyoker/simde' into 'master'
    
    Do not use SSE2 unconditionally on i386
    
    See merge request pkg-llvm-team/z3!9

commit 4ce5f2d0d5b98f73205c9f4f5790f67896f43247
Author: Karo Gyoker <karogyoker2@gmail.com>
Date:   Thu Oct 20 08:07:55 2022 +0000

    Do not use SSE2 unconditionally on i386

commit 7fde1583e5dd8ac22c33bf0dfe7fd1ce39498143
Author: Sylvestre Ledru <sylvestre@debian.org>
Date:   Sat Sep 3 11:49:02 2022 +0200

    Fix a typo. Thanks to Boyuan Yang for the patch (Closes: #1018962)