z3 - Debian Package Tracker (original) (raw)

A new upstream version is available: 4.15.1 high

A new upstream version 4.15.1 is available, you should consider packaging it.

Created: 2024-12-19 Last update: 2025-06-20 19:36

lintian reports 2 warnings normal

Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2024-11-05 Last update: 2024-11-06 00:02

debian/patches: 2 patches to forward upstreamlow

Among the 2 debian patchesavailable in version 4.13.3-1 of the package, we noticed the following issues:

• 2 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2023-02-26 Last update: 2024-11-05 14:32

Build log checks report 2 warnings low

Created: 2024-10-29 Last update: 2024-10-30 22:33

Standards version of the package is outdated.wishlist

The package should be updated to follow the last version of Debian Policy(Standards-Version 4.7.2 instead of4.7.0).

Created: 2025-02-21 Last update: 2025-02-27 13:25