-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 03 Nov 2019 22:02:08 +0100
Source: why3
Architecture: source
Version: 1.2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.1-2) unstable; urgency=medium
.
* patch hardening-flags: use hardening flags when compiling the
why3 server.
Checksums-Sha1:
80498fdd06d4d444b4547916e05a4072ea3e0c91 2634 why3_1.2.1-2.dsc
0db936caa80a76996322ed9021bf5b3f296f6fed 17076 why3_1.2.1-2.debian.tar.xz
375c45a5d702f397842c2a409db1d1d21f3b6a4e 15939 why3_1.2.1-2_source.buildinfo
Checksums-Sha256:
fbfee8c85b6e6e8a24bf7f5a210a6744b5b30def44ff37815c7729ac2c865de7 2634 why3_1.2.1-2.dsc
be6152e67660511b979f3fb74161fc12ca98fb77c11db659569bb15ffc567b92 17076 why3_1.2.1-2.debian.tar.xz
87165d180e01f9dd6fef97c24eb8ae25b31d5c01f44edb66424a87c355c01785 15939 why3_1.2.1-2_source.buildinfo
Files:
c2df7cb6f99bbd48382008fa6c275969 2634 math optional why3_1.2.1-2.dsc
6f181cbe1d2c771c76e600a3820d018b 17076 math optional why3_1.2.1-2.debian.tar.xz
ca3c91b612df2df1e8cc528c1f9f93d1 15939 math optional why3_1.2.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl2/Q5sACgkQdFxHZtTK
zf/1Dw/+OWgSEYvBCkdpDzC+aT4Y6FN3mPhVOl5EM1Ew4uFak47z0Oe5cyO8lPUT
YXAcyPrF/M7l1hV6eD6Na7uxDQMKnpprzaLFZXhG9D1NLxh7WWQnvAS7Py76/G41
xv08i3X7RbF0KZE+cJ6aUQNOoJtNjpLTDXcod3sWKnH2NSpstKmDste5oly+zzc2
yOpW+cZcKyVMXFykthLAg0KUOBQUa+fBFDpCkCwHqQWUW71kkE602T3vgOwEr5mH
GpACA19A+LGsbv9pxYOT3gIv4vPL7ibviEznB1rM2Hr373kEgR6eD44/MSCAZ5Qi
Ph+A8DfSvoIM1ge3AF31RlMQBOuyhH7uB8z/eWQHAqTMSyFR2LOUxqOMBmT7tIrv
Qb9z7HffEkQkL5cRqAzDaSim5Gma9rVyI4VPbNK1Fs5N3UjJM2KroF+hQ3t5wXmG
uB0NRzcyS1BBa7G8eypXF/5XlMwSZF+lTtME/1K5b6dL2l9ZP+um1j0tPzd6/Y0l
L+Nw77JzcuwXjliqdN+Je9b3biVpH2E24ljD3olyu9nMJXhT1mJGUB93EkNg4iK8
9vxD0604XC4wfvwuN2Hb0AGMfHRA9NowWm5kf3wR2vKYmcmeEp8ZFK5VyAWvQeDU
yhExX1VR7KBSidNPfOQ/1p/wJRvarethAhxUtXoUQBOyjxXwaCY=
=F43K
-----END PGP SIGNATURE-----
