Accepted dafny 2.3.0+dfsg-0.1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 14 Jan 2020 21:27:14 +0100
Source: dafny
Architecture: source
Version: 2.3.0+dfsg-0.1
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Closes: 852645 934950
Changes:
dafny (2.3.0+dfsg-0.1) unstable; urgency=medium
.
* Non-maintainer upload.
* New upstream release.
* Update watch file.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.1.
* Change Priority from extra to optional in debian/control.
* Make the package build again (Closes: #852645, #934950).
* Enable autopkgtest package testing and add ackermann-{pos,neg} tests.
* Update debian/copyright.
* Update patch use_system_z3.diff.
* Add Vcs-Git and Vcs-Browser fields in debian/control.
Checksums-Sha1:
7a8eb9cd6270a7640cb0b356631624ccce4ce258 1924 dafny_2.3.0+dfsg-0.1.dsc
4337332e9556890b531535556565fa57f6248b0f 2167124 dafny_2.3.0+dfsg.orig.tar.xz
f6d54cf238ce937ea47beab41f5bc0c705ba2813 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz
7df7ac60efecb8a15f5fb1c2b9f0d41550956503 15920 dafny_2.3.0+dfsg-0.1_source.buildinfo
Checksums-Sha256:
28566acdf347e815f57295eb2f08c2fd3db001aeac8cf1f6eef7e3a44a890880 1924 dafny_2.3.0+dfsg-0.1.dsc
239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d 2167124 dafny_2.3.0+dfsg.orig.tar.xz
3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz
56dc299e79a14e9df9f43a3af437c78135d1fb0cb073cd2e291d054515662724 15920 dafny_2.3.0+dfsg-0.1_source.buildinfo
Files:
eeeace130b80448c522243ce880cd9e1 1924 devel optional dafny_2.3.0+dfsg-0.1.dsc
9106c3f8985bfa66fa641791c7ae5699 2167124 devel optional dafny_2.3.0+dfsg.orig.tar.xz
17e393f6a9c52ca18b4d67afb86c17f0 10412 devel optional dafny_2.3.0+dfsg-0.1.debian.tar.xz
64ea6a14cf6e2cb9b5025c84e00b84cc 15920 devel optional dafny_2.3.0+dfsg-0.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl4efa0ACgkQ0Ot2KGX8
XjZ3+A/+Pk2Tx4OkS1dX45RjOs7OAd835poAE9pq4fo2DTyZ7+6ucwASt64bJOHx
eVr6fNQHq7L8uRLtnqyQunKGQqQC90SyepJGKmkNSBb0PtEqtLwMI3Kz7FarhSNt
xlIL4Fd/OoFzIirKkzOQ9+m3r3gRKsKCqT8MTs+oUI0aAPDaWlGHqyMFVBVncd8Q
Rw7xEYmszoCRJ8h0mh+9q6kLBe2QJRmVIAosbmwSVNfQE2hi4ZgmNRi7THp0nGNF
pULOwXVasfYskmg6dvk1j2P0vQM0jKAnfAtII+yUqoeOMvfoiKX3Tr8FOaq7PCvk
T6oA0TcRkddQClglDwRlROkghKscLvUiWS7+BtLjhHZDqQw44I+f57sgFdoSRNsh
npUtVQEncafBZ1LfUty7f3qBq2tWBnHw3aBxtbtR1Wz8SAmEoGQLMmGgExAl7wnN
1kqiiEqRHIEQghkrqlVezEsqZlZToM07FfBrjz66IEw3tnjvfdpZFSVqAYHHTDCO
4eVjsKWZUg2dv/VAa/MOmaCAPegllpEnEI2Ba+426CnQTWY3xk4uv9SwR+QeFzym
iv2TYvqJk8l8b1QMcYZI4CAcaJ2AnPcAqSpG973IDDwOpPv3QHpMhsc8LEy0zL8m
Wgv0bVqc4n+OhOq7+VYjufCpvGgpHq5AKrhCVE8JQWJc79Potmo=
=mKX/
-----END PGP SIGNATURE-----