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

Format: 3.0 (quilt)
Source: boogie
Binary: boogie, libboogie-cil
Architecture: all
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Standards-Version: 3.9.8
Vcs-Browser: https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git
Vcs-Git: git://benjamin.barenblat.name/debian-boogie.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: cli-common-dev (>= 0.8), mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0, tzdata
Package-List:
 boogie deb cli-mono extra arch=all
 libboogie-cil deb cli-mono extra arch=all
Checksums-Sha1:
 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
Checksums-Sha256:
 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
Files:
 4b2390e5351bf60fbeea21f4c9e2bda3 1883622 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
 f27b9c60dece98d70554a49ba5389b90 8720 boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz

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

iQEsBAEBCgAWBQJYFVeMDxxiYmFyZW5AbWl0LmVkdQAKCRCecwFJ65HFO+MnCACg
cXKs0ycfp1r2bGFNZNX81niuIXBTCKZjIxDcAtuHjHxX1N+HIn1ZxC4GQaiUa5ne
3fYniYF3ZsTMhaUzLFQ2/4g1AtMQHw2gGdRicQDlrXyHOHWlwZY18nkhnb6LXOGO
e2S8EogX701u1EdvGY1/BTNISYE+e7QQd0D8i1F042alLtmSgQiBuXpXkxnGGdOU
O2+93ZhMwv8o9AApkMmRsJwPXuVqLwfJnfbn/bwTbuIjJmq7B4XOtVesL3+0Ihh2
fV4VnC1bPoanhbp7w7dP8jQsFdRodDXi3NqgPy+MSdGdpCe/7baPwE/wx6EXc2qF
h4fCYwafuIxyuX1n/9+6
=lT3t
-----END PGP SIGNATURE-----