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

Format: 3.0 (quilt)
Source: boogie
Binary: boogie, libboogie-cil
Architecture: all
Version: 2.3.0.61016+dfsg+2.gbp4108246-1
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: cli-common-dev (>= 0.8), mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0
Package-List:
 boogie deb cli-mono extra arch=all
 libboogie-cil deb cli-mono extra arch=all
Checksums-Sha1:
 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
Checksums-Sha256:
 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
Files:
 f819a494281a499dd9d850b709319c8c 1872930 boogie_2.3.0.61016+dfsg+2.gbp4108246.orig.tar.gz
 7e8c9e577c0416986caa59244f35859e 8576 boogie_2.3.0.61016+dfsg+2.gbp4108246-1.debian.tar.xz

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

iQF8BAEBCgBmBQJXVJcpXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7ZB4H/jNyVvsxefH+GMtunerBsjky
fRTtX5BvMmVyBGK4x4rbw3eC0gkTOcdJbHNl6sPZwOjT1VbT1gtHvbvwfU3UrfB9
ab3x8AYgmQFqttgRP81B45KFztjiOIWFGYhHKr9HalqksSb+cHgrpKoHgKNcFzrZ
+R4mO8gcu9dPtMlnSbilkE8ysden1fymBUw23a98WfAuHQy1O0eDPWJAYgIbs1ZL
hmGeOuEu5bQm+y6xb4xm+ndKOY5s87IbiE1jsQgeZk99FvmSArLYWkbvM7h9WCNH
9TQhl2KWjKqbfOPtPeBgnuj1VICruqScDYbP0d7MHnrLIMTDJVvzpCjTOtsOEO8=
=Imjt
-----END PGP SIGNATURE-----