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-10-26 02:53:10+00
- Next scan: 2025-11-01 10:27: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