Accepted boogie 2.3.0.61016+dfsg+2.gbp4108246-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 05 Jun 2016 16:02:41 -0400
Source: boogie
Binary: boogie libboogie-cil
Architecture: source all
Version: 2.3.0.61016+dfsg+2.gbp4108246-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)
Changes:
boogie (2.3.0.61016+dfsg+2.gbp4108246-1) unstable; urgency=medium
.
** SNAPSHOT build @41082463d783d6f8d8a5aaf69bf459b57bca6000 **
.
* New snapshot for Dafny 1.9.7.
Checksums-Sha1:
e37ce0541abbfc8b519eeb59b4aa5a161fc58a47 1791 boogie_2.3.0.61016+dfsg+2.gbp4108246-1.dsc
910fac6dd1875eb4b65757fcb89d587a34022ec6 1872930 boogie_2.3.0.61016+dfsg+2.gbp4108246.orig.tar.gz
d4a3ba938144ac251407f1c287c8f02e9f05ed7d 8576 boogie_2.3.0.61016+dfsg+2.gbp4108246-1.debian.tar.xz
0cfaf41f4455db098befddb7705eeb5fa1907808 15810 boogie_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
0219b934d8cc12ab9c265210f698799e5ea2ba8c 553816 libboogie-cil_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
Checksums-Sha256:
ddbfb1b1de390f081c906b97a5690a7520a8354a7e81fd4fa87bd60154eaba41 1791 boogie_2.3.0.61016+dfsg+2.gbp4108246-1.dsc
1678d3b9f4ca4aceba11b8b0049d427a84629e986d7b9ecb3d5eac7749a950fb 1872930 boogie_2.3.0.61016+dfsg+2.gbp4108246.orig.tar.gz
4194171bd0adb57a93220e03af03d0d2083f7ed9282c5cb057680ea1b98a4f57 8576 boogie_2.3.0.61016+dfsg+2.gbp4108246-1.debian.tar.xz
5789249680d41f6c6b8a39e099600ea9f69d5b284c76a059bf36d383217921b6 15810 boogie_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
d89b034cabdf8361d0bcb5393a33998500b70e94f15ef620cc1c5b022a08e1fb 553816 libboogie-cil_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
Files:
fd3e80405b1d5b5821482d1afb4e120a 1791 cli-mono extra boogie_2.3.0.61016+dfsg+2.gbp4108246-1.dsc
f819a494281a499dd9d850b709319c8c 1872930 cli-mono extra boogie_2.3.0.61016+dfsg+2.gbp4108246.orig.tar.gz
7e8c9e577c0416986caa59244f35859e 8576 cli-mono extra boogie_2.3.0.61016+dfsg+2.gbp4108246-1.debian.tar.xz
a75c3ec1220c9d210c4a7374243303c2 15810 cli-mono extra boogie_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
5ce68df7e8d42f785e5ce845e801a664 553816 cli-mono extra libboogie-cil_2.3.0.61016+dfsg+2.gbp4108246-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQF8BAEBCgBmBQJXVJcpXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7czoIAKpBjXyujqETD2FivnQ+O4Tv
FCiC0fqMhCxYLFBJ6ZIly5CAj5boWH0Takkx+1C3x0Ma+SxN06kifUr/s5NsuS/A
izC0dDgKdaddeL1WtDL6thi76n/KM304VXpys95dizrDG1SxmcS4SPxMXtwpqmzH
hcc29tfdfcB43BrrRgOxXTCpsLexvd167fzofQKP92IML1D9Xh7hboMvlAQLlfh9
1K056/OXQ9WA63WVLEnC3s8+jYlYS4dpAvn/2S6lhlgBc+YngVRAU3qNmQ7FhnCT
pnfYwEC7xwv37E1tXwPzhJhukz7Ls2zyY65++W+X5iPGq3uQDPxGXBHXWbhJUD4=
=eOYT
-----END PGP SIGNATURE-----