-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 26 Sep 2024 14:38:34 +0200 Source: minisat+ Architecture: source Version: 1.0-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Andreas Tille <tille@debian.org> Closes: 958287 1033990 Changes: minisat+ (1.0-5) unstable; urgency=medium . * Team upload. . [ Andreas Tille ] * Packaging on Salsa * Point watch file to Github Closes: #958287 * Standards-Version: 4.7.0 (routine-update) * debhelper-compat 13 (routine-update) * Secure URI in copyright format (routine-update) * Remove trailing whitespace in debian/copyright (routine-update) * Rules-Requires-Root: no (routine-update) . [ Helmut Grohne ] * Fix FTCBFS: Pass a cross CXX to clean. Closes: #1033990 Checksums-Sha1: f06f964ecf1af7c1192aa4db1e35077135b23255 1979 minisat+_1.0-5.dsc e8c9ff4f550fb2196469fd861ed8bfc711e03d61 4448 minisat+_1.0-5.debian.tar.xz eded5f1007cbac73c1b5e63812a276aeea37c76d 6272 minisat+_1.0-5_amd64.buildinfo Checksums-Sha256: c695da646f01ab5ff5622f17fd003e5e017752e23c341bf4be0eb79a8c966468 1979 minisat+_1.0-5.dsc 033e711d987d3e7df1036a9e93f3d918ac7b977ffc0aff0360940ef64518da91 4448 minisat+_1.0-5.debian.tar.xz 7e2431d2aa081dc05b2933346c1d7b2d0aaa533beec9cfc7a7c1c82548ea1caa 6272 minisat+_1.0-5_amd64.buildinfo Files: 904dc8f8101802956b42dda283c72e10 1979 science optional minisat+_1.0-5.dsc 822198fb8a890c6b9a64ad20a0c4aa4c 4448 science optional minisat+_1.0-5.debian.tar.xz e9f7b13465f8b6c6aaca6ac4f261bef2 6272 science optional minisat+_1.0-5_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmcG894RHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtEVow/+JJ+Lp4avuC92PrN0q0ZR3XTO8/DJ4+6z DskaWAt9DF4mrggbS00CKLlBKZ2UvbmQGld4E8MuRb7J0dMxg1+YNV8t6x8JVMMg zTboSKkJ5xe557hrf9sx7xw770cObvS4zLd28fTsJc/N0PTv766RsQv6gEqqywej Z/vzPQcAyeJfH9xTIvPLbvFvKx3HQwFxkg645AdYjNBf5+b4V2/VAnFdD/Yb1SEq fYmK7Ac+jDa9tPTvYqBGR7vXSR/LXFs7F/zoSFoVT4tKEBuQ6daOHciqYNdicLN8 xnHg9ASkeuzCr+F0VYCU/h6S58zmmLVfDv/AMUS/yXst3IKsS++HMyHTTAFwX2+I mo5Q5xLM6A15NmjCK/uT4vibdYgLQNeNsq4eEPFZxKgItLmgR7P75/gSWuEaBDIS fGQyPP8sZ3tjb8uu83oBuZm0+8BexS/rY9/wbc+EW2shmSOn3lchxNbKa2uPnLsE 1LJd7NeF6Oiz/TDZdbmWM/45VaQkwhXaM+y8ecFW+MHe/AZbLkD3jS7GMnDmrsNY nxw+nG5I7w+VYut6RElu5rZoAid47ISv4Kn9o0txFLKmUPc/Djwgh8ekU2Nr/j5Q +H9KNbZDJednj2FWWfVbbKQYqGL3nDMwfA8ef0IQu0uRmaobR9zs5zyQ4G50YaTI USAZ95mM0J4= =C20c -----END PGP SIGNATURE-----
