z3 (4.8.12-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/pkg-llvm-team/z3.git
-
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/pkg-llvm-team/z3
- Last scan: 2022-05-25 04:16:15+00
- Next scan: 2022-06-01 04:37:00+00
- Debian changelog in Git:
z3 (4.8.12-1) unstable; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
[ Fabian Wolff ]
* New upstream release.
* Upgrade to Standards-Version 4.6.0.
* Update years in debian/copyright.
* Update 00-intrinsics.patch and refresh 01-soname.patch.
-- Fabian Wolff <fabi.wolff@arcor.de> Sat, 11 Sep 2021 17:58:23 +0200
- This branch is even with tag debian/4.8.12-1