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

Format: 3.0 (quilt)
Source: dafny
Binary: dafny
Architecture: all
Version: 2.3.0+dfsg-0.1
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/debian/dafny
Vcs-Git: https://salsa.debian.org/debian/dafny.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 12), cli-common-dev, libboogie-cil, mono-devel
Package-List:
 dafny deb devel optional arch=all
Checksums-Sha1:
 4337332e9556890b531535556565fa57f6248b0f 2167124 dafny_2.3.0+dfsg.orig.tar.xz
 f6d54cf238ce937ea47beab41f5bc0c705ba2813 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz
Checksums-Sha256:
 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d 2167124 dafny_2.3.0+dfsg.orig.tar.xz
 3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz
Files:
 9106c3f8985bfa66fa641791c7ae5699 2167124 dafny_2.3.0+dfsg.orig.tar.xz
 17e393f6a9c52ca18b4d67afb86c17f0 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl4efa0ACgkQ0Ot2KGX8
XjY8Og/5AZ+yrsl/nEb4DfxckYj9Mh0sTk+pDbnbtb6e1R3+DMmZlt5fyLZzo+d3
dVg4VVhM+Q0p+V0wE14dQLRRksdNzhKggbP2RFRaUbqac0CaLVqIcnGserqIp5Uq
x2WFHZo73Ikzl6DAt6DeYDAW2bdIy1O543BHgUGkkKBCXG26JwZfKmBXNfNCWstq
LA/Q0ZPUQP7p+5LY+W3JUc5qINQ3irnkJYqhz1ZuJ9ReJuuDtA0GueagmNVOmYVG
tib4p4u7xalxtfbuD3REZDDxiY1oeecFiXOEke3AIrmtslw7nHXo5iglh+w3uaIj
yqrnWTmeJv/paJasL3XuhFcuC7iSh5rRUUuXhNBwRizczkGtJbuUevTtTEZg1G72
fUi4r0vMApmXtV9tVhYUS1PYJjxSuthOuTsSb7CDm/cS5mP1nzz6/2Z+oLYb9Kg7
jmPcOpL8VnPAFF+QJroER0xLrhiHHGCOboO+jQrm4VjdS0GQ99uSwEME0eLykzwI
1rSqghdUeS4cmTky/9kVectCixCtj8ZHR3ph28IB++pzrtNHdqU8MbEGGW3jBMXD
NiDYHz/bsT4Ghgf3bm6/Jra1a2S2AA3zr+EULgfgVKia/7lsVVP49eIoyU+vJ9Yb
7CgbixAl6Z+RpSJWAb8tgLNeQMpRSbvJbs+pEAXudxhKKxALw2A=
=UQwf
-----END PGP SIGNATURE-----