Back to cadical PTS page

Accepted cadical 1.7.4-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 10 Feb 2024 23:08:27 -0500
Source: cadical
Architecture: source
Version: 1.7.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1043602
Changes:
 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
Checksums-Sha1:
 4955d0386d4cd46a27353675097ec21d8d6c8229 1996 cadical_1.7.4-1.dsc
 9cc70c65c80f40c0c13b57cb43ea2a6804cae4eb 647830 cadical_1.7.4.orig.tar.gz
 b79e2c96e66ba0a225144633df1a76c5f066e4b3 3960 cadical_1.7.4-1.debian.tar.xz
 b89c0bfe5117e3e75322d04153488d6792231767 7197 cadical_1.7.4-1_amd64.buildinfo
Checksums-Sha256:
 53fc7c06eb026104882a9fec4c7ee0e09e7b35f84199bd7bd14b5f4b05095a6c 1996 cadical_1.7.4-1.dsc
 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1 647830 cadical_1.7.4.orig.tar.gz
 a0318335ad3ce5a8671cad563c85b167f6736209f7cf9becd71e914a2f26205c 3960 cadical_1.7.4-1.debian.tar.xz
 13e2ec7fba11e8e426d9a1ce374b97c985f200cbf2374903c61d81af916eab97 7197 cadical_1.7.4-1_amd64.buildinfo
Files:
 b8233ebeec086fd658ed8dac15bd24ed 1996 math optional cadical_1.7.4-1.dsc
 519d7e4d1bec28efba490221bca6f318 647830 math optional cadical_1.7.4.orig.tar.gz
 f7af75e422cbca71e4ba4c1a6b3822b0 3960 math optional cadical_1.7.4-1.debian.tar.xz
 bfe81bdade9dd2c94027f19598896547 7197 math optional cadical_1.7.4-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXIST8PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiFvQP/0pct+Zw3vOb9YWE0AH8VP4cfhFWtSJWYyNO
DTSOLolciKI8XLRjyym+AtT2CrRNujXxXcky5e8PLCqigqTVShAsR/W8Fr3DATW7
bFiLc5rvb0fAWp8AL56kDsuOQsLra3KnpQY9lH7bOL6ZtgsqrQIFZGW2rh87Xgw7
CBIP3zMckpELtOsApdThmVSOyGRz0v4JDzRciSWKAIUQWombxgc12DLUNaEajxNX
yX5EvpPHjDMTti4lnlDJx7Mmy8ZXbTWFOVEqiNI884HxWiceTTXYoZoUswP0V5i2
RoOSxDIMl9QkURp7Ji3jOmYbOzmw2LW3cshS8XuTcdAspwVL2OTXLJMH2bWHxbOi
FERHgTS427Q5mqr0RB6eOMkS2SXNtvcHNa9cyCnrDE6AQtHUSmFVUIjD3bVBw3VX
ph4+UTNo5WWv20ZkJJS9ydcKghXlRr8cXtYH7YJsrQdHjiUVjlePKU1rc2AISzhF
W8E/L4vFOWw4jVr2wHyKVaVXp+7E7g8qYPsTFmpdfnSUebQBe3MQfC46xDhiOg4h
GnRYRyZxVZe+7JIU0jGqegCKdV+OS/BweY2qY3/KAo9fs8+xpUzDNoh/xLU/kJLw
99AP25124pbKic9+ooAODLkNDVkjjIREhgIpCcAxnHuIswK+cCe0ndi+YJtn0nZH
72Hh5vTw
=xM+4
-----END PGP SIGNATURE-----