Back to boogie PTS page

Accepted boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (source all) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (source all) into unstable
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sun, 30 Oct 2016 03:34:07 +0000
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1c0gsp-0006Lp-CL@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 29 Oct 2016 21:52:24 -0400
Source: boogie
Binary: boogie libboogie-cil
Architecture: source all
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Changed-By: Benjamin Barenblat <bbaren@mit.edu>
Description:
 boogie     - verifiable programming language (compiler)
 libboogie-cil - verifiable programming language (library)
Closes: 839497
Changes:
 boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium
 .
   ** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 **
 .
   * New snapshot for Dafny 1.9.8.
   * Build-Depend on tzdata (Closes: #839497).
Checksums-Sha1:
 6fbe01004aa10d86438061ea317ffc9b5f5c5132 1820 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
 44537abd255f714f297090b69fb95699472014ad 1883622 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
 2a2beabb27cd60d72ce55ff1f4314483a6e0042d 8720 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
 bf9f85bec23334ecf04d9e6dc14be62c1d81e1d9 15964 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
 d0f1768563443b2ebc87e29e03a067c04a00a471 559380 libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Checksums-Sha256:
 558271107960de778a6c6be297bbf881f348c407d892d12ef8228edc1c165b4a 1820 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
 79a7bdf5a3ecb6dde8c0341a1d16537f2b5cc09771e573c84e19c5cfeecbcb85 1883622 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
 0fa578e7b5d5c375c3c35e020d0ebed69d0d96cf9d52214d7d23c070c1cac63f 8720 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
 4e0716aa5a2a71e3fd8cf474e3f413a41e6e2a4cf9d9b5f5a6f4950bcc3da05c 15964 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
 2f8f3e8a54fefeaca4d9cdeeaca95b7ba76710aba2639ce3c9ba153a9f7baa33 559380 libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Files:
 532bcb274af779294ffc456297d71f1e 1820 cli-mono extra boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
 4b2390e5351bf60fbeea21f4c9e2bda3 1883622 cli-mono extra boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
 f27b9c60dece98d70554a49ba5389b90 8720 cli-mono extra boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
 3e73f77608c715c4025f7b475db990c6 15964 cli-mono extra boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
 5dcb8c513fbce0f6440a187a7a4d27c5 559380 cli-mono extra libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb

-----BEGIN PGP SIGNATURE-----

iQEsBAEBCgAWBQJYFVeMDxxiYmFyZW5AbWl0LmVkdQAKCRCecwFJ65HFO3UnB/4i
ZGbNHYXJMBFjM3LQBpGZ0K6Zh2fqIfRj5ArQdjQXX0rtSsFyiOxtONQYKzhVL3tF
8mYmOe+hHphLMzGMkW+8zcyf95VZ3WMpwzyy5SuVBznZ1rcoerhVTFZY0ZOvHCCK
oF1bJPMIHZXUigKzN0Z8losQ149R4Kud2Q8vm+SPZUZgV+WFxqceLCezUI7N09jP
0fEBsf8i9N5BlosWHtP4uyfrTAnhJJMsKLoEBn/yccRsyv8lW/hSC3kKGDEzDYo0
L2i7rf+EW85fbzwbLIGfEmh6WpsdkBf44rrKQUtM+nkJlfV2tUIsHzRDtpkS2xPJ
/IHOJU8nVsLvOpAbsSm0
=u+2z
-----END PGP SIGNATURE-----