cadical (1.7.4-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/science-team/cadical.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 77824
- Browser: https://salsa.debian.org/science-team/cadical
- Last scan: 2025-01-20 02:09:09+00
- Next scan: 2025-01-26 14:08:00+00
- Debian changelog in Git:
cadical (1.7.4-1) unstable; urgency=medium
* Update to new upstream release 1.7.4
* Update Standards-Version to 4.6.2
* Mark patch as forwarded
* Clean manpages to fix source build after build (Closes: #1043602)
* Mark libcadical-dev Multi-Arch: same
* Update ldflags patch to set CPPFLAGS also
-- Scott Talbert <swt@techie.net> Sat, 10 Feb 2024 23:08:27 -0500
- This branch is even with tag debian/1.7.4-1