Accepted why3 1.5.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted why3 1.5.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 19 Oct 2022 21:17:27 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: why3_1.5.1-1_source.changes
- Debian-source: why3
- Debian-suite: unstable
- Debian-version: 1.5.1-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=doG4kRNtOyAE/uWxW7br4Tx3iXx0zh+BPYZ23MCs6g4=; b=SIL/mU9jfj+kOJt2ALUaCTanUx 3uuVVMD1rGVveb/rFDJ35daJDkwmwK5zxO1KSx9s0BPmNS9C8qCQFB8TvyMUEex8RmcR/c787k65C 6efA9h4V1gYwO9B8h1DK18dBb1zpicadDI6UCEyYKUxReQoycwqyDbnTcD/sbxlmO9s3/ulBH9zkR TTCmSL+13o8xf2DTR+3/6hSsIC2pVIzPFnbyw6mUe/6MUfYMP22yEX4tqupgcEip2U/heYdixH27D waduem5Q2XAYPBWkQFwxE42daRCAs/F0hSvRWRhpyhVJJl98qRsUh64z6lZIGoevy8PttooegECOK ci3dWhHA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1olGRL-00H5vv-3c@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 19 Oct 2022 03:37:35 +0200
Source: why3
Architecture: source
Version: 1.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.5.1-1) unstable; urgency=medium
.
* New upstream release.
* Supports z3 until 4.11.0
* Standards-Version 4.6.1 (no change)
* Add lintian override for test file with national character encoding
Checksums-Sha1:
747ec5360f365c07edec19983c18b335220d03be 2662 why3_1.5.1-1.dsc
55f6d2e4718154432559b35af133d5303f493b90 6727576 why3_1.5.1.orig.tar.gz
5e0a75489995c40ef3afc0dbb685884d95f493a4 18464 why3_1.5.1-1.debian.tar.xz
f47df2fade35edc80f2c4f4c8006fc9a6ed3ced8 15236 why3_1.5.1-1_source.buildinfo
Checksums-Sha256:
13bb1472b31f8429850624af63ceb772c0161449b889dfb9c7cea62df666da97 2662 why3_1.5.1-1.dsc
bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2 6727576 why3_1.5.1.orig.tar.gz
e38b7845935b9a1076cbf39ce969f8aa9e04773b066f1683af884ac4616807f6 18464 why3_1.5.1-1.debian.tar.xz
5dcc4f6c4d07cd45022f606042293f37f8b0ff9504f4b53d96bf0cfb768cd2b4 15236 why3_1.5.1-1_source.buildinfo
Files:
2b889ee0ae55b248b0bed8be344fd35f 2662 math optional why3_1.5.1-1.dsc
078eecccf32bb160bcf044938c997dbd 6727576 math optional why3_1.5.1.orig.tar.gz
0b3031c26bc4b31d63aeee732cc2bc81 18464 math optional why3_1.5.1-1.debian.tar.xz
22916be733dc6f2043d9964fa6121bdb 15236 math optional why3_1.5.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNQSyUACgkQdFxHZtTK
zf+FsQ/7Brhwh2Je8I+PhJH5T5VgTgqB5aSx2fO0oAjjVJlKHG2bvoSFSYEw1f+m
jRjdu/HnRAVD/ZWA+tyUBTW/aRtPCZ/pO0livQD7SSAHkaHmht17uoV4GXnCoMPF
SbPAodDynX+qATKz/phiCKqqCE9qMo9f8ko0T1CT3R+EokBUElJMqyyzqHc3LpyW
EI0Vr+MFl6gFxKvje7Gsg6eM+UHh+oRydsrnuEAWiWK3yzSg0cS6wKH/Ibfv4ht0
gnNIVuJpcKN0YMiGX88eQNmaq0hO0GTTAydxaUl6Rs7OIfZW3dRGrIojXZ9BbrUn
cS+MxyWYfbLvTz54h1osJWGOMTzDWqnThXMrlzSfTprtNOonREkckfKRyvssSjOG
DtBp4Szp8XRc1yweooTprTN2wJ/rTm99gOek55kjzvi7TXnoIVkjAWk1DRP3EJLT
jA2KMxvmZUHAFRy02V0IRYznlt6kVpQoSK4tgD8rh+xwgsvw8jLvMHBdMuDBjtiN
hmYWd4zE+jPe+ZP1k807tH7A69QattwS9+xD6S1UkFUiVUyJLblu5ZD6KPy5bpX6
D9ieI+Z27coZ67pEKsDYcqHJ1lpvS2QsYj/wI8ZNcSLLN1IcNy9hbenOkd/pp/m0
5+nzqY0gtfvALW7BC3XPSglIUQTMcnUI0pM0/aeME3ODq/PABS0=
=yrOR
-----END PGP SIGNATURE-----