-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 07 Nov 2025 08:37:07 +0000 Source: cadical Architecture: source Version: 2.1.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> Changed-By: Gábor Németh <homar@riseup.net> Changes: cadical (2.1.3-1) unstable; urgency=medium . * Update to new upstream release 2.1.3 * Update ldflags patch to new upstream * Expose tracer.hpp & move headers around Checksums-Sha1: c8ab5e1ab930674e27ce2ae9b70940f52f8ecb87 1996 cadical_2.1.3-1.dsc f2c90120e8f60cb08199a32bcb9c9406bbf76443 731545 cadical_2.1.3.orig.tar.gz 463fdcb4d232697c8354aae8916df81db541fc8a 4132 cadical_2.1.3-1.debian.tar.xz a7f2b0491dc8b3304f79a002acf541f3dfb92742 6226 cadical_2.1.3-1_amd64.buildinfo Checksums-Sha256: edb1e3f301029631be4fa305fc438bb0ed16c8e97399efea89f1b767512c17d9 1996 cadical_2.1.3-1.dsc abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465 731545 cadical_2.1.3.orig.tar.gz a1325f2075be7f9f84deb5fef891a2c5161ce547d6e894bdc94eda43fc0f8a14 4132 cadical_2.1.3-1.debian.tar.xz cc0e3f5f9acebb67f39b577218e0708b0f6656cabee63bc0cf25bdbeb7f10a81 6226 cadical_2.1.3-1_amd64.buildinfo Files: 2e3d83f1ac87b1a7a9c447d6c744f44d 1996 math optional cadical_2.1.3-1.dsc 583258bd84b3532e5b0f46055db01b70 731545 math optional cadical_2.1.3.orig.tar.gz a5040dcdb395ea09cdd01fb5006b6a04 4132 math optional cadical_2.1.3-1.debian.tar.xz 5ca72e669a396e690a7a39082bbb773b 6226 math optional cadical_2.1.3-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmks20QPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiA+kQAIdD/XMi4+HTdxGwK2rNCH4Ngtgg4Uq0yAW8 Ujd30CFic0U97eQwz7O1wY1y+Vb8EU+rCj9DgFrcxc9EoD6KSmWi3TAZsc3B4X9T 6PBklmq3rlDBHovNjIY7akUtcxEx9YlhnrKk6miMyfVmRZaHBwMa3yGXga/M92wM biiA4J+pYFwcgoE+1Ofv8YAq1dfXdp3CAJ1O+AyZO3GsfBSu7CxxLVY7bMaxGKGM hXn+PBzUL86S/HY/hebxOaesqNKLvJR+DxXwEnd4LkCic7YTv4t24JoIRiUFKBTW rGwY9p3Rfehc/k510O7uZdpj8CMI7Ix/MOpEX5HM0zAa0/bGLY+GFBEDKurIO55m lB0bIlQg4RPcxBIpCY/I0g7kqv1J1jyqfftPq9aWIKA5ulg0t3nWHNR7iIWp6wRr 7yANgwx7rdgVxf11EoszoCcUt9+MoBfpLercK1ER8YajOXxCsBWcKScKykp43dL5 PB3z5el+Q4YHbnrXr5l5NWUFUo1U++1ofXWC7IThkWRuHIRCVPZ/aByzqiWWArUq Typp+aujclIHfBer2E8UKTde6+WNCokq1OzkNWtXlp6UGVVP+0sZ4uez7al5cEJD ptC8+qYEjmy8XDa+E37jPzxx9syOlTEU5EzYtgLMxpr+Xo+p+bm3NCYGYISLWfdN 19oXNG8j =Mmxp -----END PGP SIGNATURE-----
Attachment:
pgpaRGJG5Rqd5.pgp
Description: PGP signature