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

Format: 3.0 (quilt)
Source: boogie
Binary: boogie, libboogie-cil
Architecture: all
Version: 2.4.1+dfsg-0.1
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/debian/boogie
Vcs-Git: https://salsa.debian.org/debian/boogie.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 12), cli-common-dev, mono-devel, tzdata
Package-List:
 boogie deb cli-mono optional arch=all
 libboogie-cil deb cli-mono optional arch=all
Checksums-Sha1:
 4afce8c0fab76361d4cfc9086ca1a08a0e8db484 1165764 boogie_2.4.1+dfsg.orig.tar.xz
 d96b8aeb91ad583e7ebb15401fb12791b42fad5b 9080 boogie_2.4.1+dfsg-0.1.debian.tar.xz
Checksums-Sha256:
 863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077 1165764 boogie_2.4.1+dfsg.orig.tar.xz
 3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9 9080 boogie_2.4.1+dfsg-0.1.debian.tar.xz
Files:
 48ad137c9193ba3359f734f4310d3ffe 1165764 boogie_2.4.1+dfsg.orig.tar.xz
 71e7c99e1268de6fee4c02632c1c1032 9080 boogie_2.4.1+dfsg-0.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl4GfBYACgkQ0Ot2KGX8
XjbSiQ/+PZu1A+zAkpHyFAkxajrLlP5Y1WdaiQYHwcvfRm5j36A3H/aLKNdc2dqZ
0ER4bN3/f5FsN33Z6JI8FcMNpMbGZ5rX4l6sRcdzB3fjARrEtuIkcqpgsVTk+0Ap
SxsjVYxeDMvR/YCSNZOFNLOIQR7MLyo6/UYeDcsPbBA9DxdWE8qPl/csNqXEqgEq
jodwcYTsq2PKwjAQ0CYsMtbhxsVW5zbefWwhoBBx5Iq8PsoJ8y9BviR7MXeWBfOy
3g/OunTniYZingYQHdVNQSxSAmvVq06Ipp0GdgzqOtqIV1HstFv5fziWu0NpDfXJ
YBqJrgtiSaiA3BLqPpusrQKt8CVgrdXyVES6NOs8Rzjth3T3lYqoe8PNd2j6ieta
SRJBFdPIPtITM9+AiA9v4Tz7+2upAAGRvsQPbjXW4EEPsfpm0l3KlVFgvN9nRwB7
PJsQbIbudfcCD6tHolDXZLsES8Vjec2TxpAISrU8/Vk5HNarsgVSblwRNG6qv3+g
8TLr9zHo044UwsL9wJO7dc85qulMUAKkwMy2fhPyA85JjR7uKSxKbDjgky4TyW0d
nj4SWnacJ6HlOnOPZgl14gthUuanP8STL+B/h5WQ50M/yMeN82VvtPVdSdLuVx7p
L+T960a/3F6eDz5JhGFt6Ii2cUq5VAkc+5taj7CvMWIoj4ie4AI=
=gcgh
-----END PGP SIGNATURE-----