Accepted cryptominisat 5.11.4+dfsg1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.4+dfsg1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 28 Oct 2022 21:49:52 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.4+dfsg1-1_source.changes
- Debian-source: cryptominisat
- Debian-suite: unstable
- Debian-version: 5.11.4+dfsg1-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=gew+VYausGqMupqHKDSajuh8CYQx3qQrf98wSSQQzQ4=; b=gHz3GNkBwrV9b3MkwYn+wtd+kd vIus68zofV34NQk+zAnF0VicLdUhAUBtRYI6zW7D4HS3McfrU2+mB+AsEQI4upXPvzQhvhqujOJo/ klJmiSpu7paHyJaMA6vkl5+X7K+9tTLVobJM+bPplLlwRJvHU+f6TtOI472+Cmlkvx1xAffXbPyms 2cNkmaO6GX8OL8rE/SSsI7oQXJ3bOLgfaoAeUScNgzG4afteoHTuF7lfqQ2SlLEzr+lTrfaX2EyB2 emfX7P6yiRWRUFOvGB5WQYyvj448Sba4NLG8kDQgWiHNibBOpl79YjK9Q0nf7+IkQKtmne3v/T1D1 SsWHG3DA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ooXEe-009GpE-HY@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 28 Oct 2022 19:50:03 +0200
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
cryptominisat (5.11.4+dfsg1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
98dc01fe63fe279e26bd01ac7eda1dbd186f851d 2463 cryptominisat_5.11.4+dfsg1-1.dsc
11637bfd57ba312a886817a9717869a34a644f5a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
139096d34d84cc51cca0c8fc5505d416144c8205 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
b497164dcb5b23693e3c2de5929fb090b2d953d6 8849 cryptominisat_5.11.4+dfsg1-1_source.buildinfo
Checksums-Sha256:
834603bdec017196c56557aca6a8c9e4020d049fc6257a851db171691d8ceca4 2463 cryptominisat_5.11.4+dfsg1-1.dsc
1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
396c43a88c4e69fab08e7498fefad8136136d374a818b8dbb89a63e15a95a678 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
0df92d2da17ab88ec8212cc8aaeb7b3a9b3dc582e3c5b79247da0c46e8a36835 8849 cryptominisat_5.11.4+dfsg1-1_source.buildinfo
Files:
c4c322eb827c63928a4132cfba7c1ccc 2463 math optional cryptominisat_5.11.4+dfsg1-1.dsc
22041d86963e4ed8ae208e8638ecb007 530220 math optional cryptominisat_5.11.4+dfsg1.orig.tar.xz
c7b0dc835d61dbed68bcb5ed3e2ff9c9 5276 math optional cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
7d11d25674efd30d5f304a4e69d51fec 8849 math optional cryptominisat_5.11.4+dfsg1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNcFnESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcM8P/2E2heQTExfMwIlI0Zx2JZWkhPkj6UtU
jti8sOxWhu1WAIPu4WD1Ns2OF+xPZyMf9QWU+soyYR72U0UfkD1OdAWTtfarzQow
jtFXy9DHKKBVZva7AVZa7/NCCRewXnqBaxFBSGi5uTw7dEkrhWeT+hqGEX7Rzc3r
LHCu+5XEf3TbPb8kwrK9yXFuGrSPMkDabbJh+m2UQE5zwzzVVoaEYc91pmjsiF4N
ytKwhWP37gtAU08A1ZotGpHdbXrmH15yqRUqzExdzqdKkQKF+Gc4Bbq0OciMgWUK
25f2rfL3DOTlGbuCYRCgg7QvFlzoWsMcAGeI3FWiD8JUdmuWOhvvygeS4irtfcsn
NonXMEJAyNrCCY/saAX3q2nvVsi3KW8C66yvTtradxWKUVYMMKzInF2RkNzzDXfc
UjN6Lyh8aHtRjLTE3qxVedgjlVZD1yjwbLLvNja7go5qUOkty8fvP1FEZI7Z+til
Q0Od/IHmPxFnkfGSRwVQqM3a5XGYg9Uv0Yv0687uTPMCahGJOmkveilKzMEWgP8i
WC/XF58DObRKcrdH2elmmi7b9C+DYIzxarrqoHD1bZ7KO62Ls54Gh5GYYD9d6wLf
9Jtdv4sHkw9dDmcCVP7gf0bvYlalkgFvsy7VXwAViMgconSmVfQDeyfU1n3XS0Dz
t32C9M7h7Ri5
=WIrn
-----END PGP SIGNATURE-----