Accepted cbmc 5.84.0-8 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-8 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 27 Jun 2023 10:05:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-8_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-8
- 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=pQrHEUc12AcOjIvt4AZZyzEyxzTJEaj2l5w3rP1taLg=; b=AI6B/bchcZTdbG1JjR1z0jT1Rz iRBl4pYjqozYXyxJg3sgdwrXc8qnaWtdQSsjgaPEWt6zQAdf6ERLXyUf5rH8ta7WNau+3L06kZVAS IoxeIrgw5UOVENpUL3c0BPxUNrp9mxuXjoLPbNuZ3Z8sEqxMA+Y7FL5fgrauE68qVGmKAqTcVZVaJ eFzWck2QR6g/h3DSE+HA/CSNsMyln25BQItBcMyueQDhexCvn/QaGPT5mh8RKgKwcpDLt6jEvOTQK ChtXaQxZ0qcTL67Ek8lcRQ///pwavGG0fLzn54UfOPxnYrdfLjLHaZknk7ZVTurRIXX9lwFvhwNfz sRP04mHA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qE5aB-001Onx-IL@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Jun 2023 10:01:38 +0100
Source: cbmc
Architecture: source
Version: 5.84.0-8
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Changes:
cbmc (5.84.0-8) unstable; urgency=low
.
* Fixup patch
Checksums-Sha1:
541c7a7995f9f90666a155c709ed117f5600b30d 2957 cbmc_5.84.0-8.dsc
1667329507b9cab25d3f78ca8be02759edf41c73 56496 cbmc_5.84.0-8.debian.tar.xz
Checksums-Sha256:
61711d6704ec1d57671073a32944ee2331bb4da16ddad010d62f8efbf06e9f96 2957 cbmc_5.84.0-8.dsc
58619ac25bbfa9b215b2d54d638fbbfe71d11f4df81c283ab62c823a1885bbc1 56496 cbmc_5.84.0-8.debian.tar.xz
Files:
6dafcac0aa16c1e95e73f3a1941f5b94 2957 science optional cbmc_5.84.0-8.dsc
ef6d756c1fee21fa3d094ddd008bfe4b 56496 science optional cbmc_5.84.0-8.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSarMQOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFpWQ/8CWfJb61sKEcAqfnyqgG2y25dR/Hm866BWYFU
SKfm7/mmkLbQeEOWwY3aO9sdwUMBgw7s0LrHfkEd1evi0A4rVaetomsjdiGOOcLB
KrYLzbm3FweAIlLPq7GtG0lv9VID3h6I2FHo7Zgomw1ebxcLbfRP0f7qCKREytOM
T5ieRTa4iyHf8bYTvSPpGh7iXq7IT38Rw0eAETXp9lXdrGWFaw7/gUFJFZOIjGAo
m9LpjKUVHE5MPZ5l2osadMX6dMapnHiwIWCDH89mHb/DlCc3DoVg7WyIqnzsz6Ay
hhp7PP7VoKYG4FFOxddRHvjCxPPO+PujYdd41Grm5IgMgH8+RPQsprxtoHjpqUTQ
mjyF9zFQ8ebs1RBNXMiZ5iBYFzXjsVm5ObKNaXn6K73ZX8wB8sheBWBWWyWO2l/C
QF1d5MJO/XppThZLDETS9GrHjIMhxW6rITR6pvbttuQQePH7yoSmNyzmwHif4y4Z
6tyeLhD4xiYTjXJPK5FabOw8IP7Y9eWnozXO/Yaq+yQHvPh6Fja0WXi0H6L3IlVg
CRVUjUKmjKBcRiCElNHruJkxcL/6bHcX29cbAurn3ECc9hWI3H9bD+zXq8Z2Pvrj
ULGunhSyKw9SdwsntUZML/ly4lG1EtwdsJQ/z5fAfsckogWRRxeP3Oj3lwicz6F+
M5MmX6k=
=z8W9
-----END PGP SIGNATURE-----