-----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-----
