-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 01 Apr 2016 16:18:08 -0400 Source: boogie Binary: boogie libboogie-cil Architecture: source all Version: 2.3.0.61016+dfsg+1.gbp64e8b3-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+1.gbp64e8b3-1) unstable; urgency=medium . ** SNAPSHOT build @64e8b33656140b87137d0662d9e6835e004d13c2 ** . * Initial release. Checksums-Sha1: 96810ac9ed208d4b8e1e56a3641bfbdfdbdde7cf 2018 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.dsc 44fdba4832f14db661221a85fd927f09d718a47b 1915382 boogie_2.3.0.61016+dfsg+1.gbp64e8b3.orig.tar.gz 8b9e3872a45ac43ad489b574b7f6808d6c4f4bba 8064 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.debian.tar.xz 5691051994f94a832ed6ac6de0bffb24395bf184 15274 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb e16f249cade8f292ddab5292fa2379d8dd85eb53 547134 libboogie-cil_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb Checksums-Sha256: e743dfe0c781a3dbb8ac52bdc96249ca1f1b774496316b5a031cd91f4beb9fc4 2018 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.dsc 3bd6ed0f3f7dc20354d15131ded5acc99d86944e72740ec05c3577f1cb1c6752 1915382 boogie_2.3.0.61016+dfsg+1.gbp64e8b3.orig.tar.gz 221df9aea808b0a7b353eda59c3ad05ffa9dbe263dff3325c60c62c51d7b5aee 8064 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.debian.tar.xz 2b49293aa125ae6b258ab36f9a20f9abae360d8142e07f581f96827b00c888c6 15274 boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb 5b4de8ded3735cb76a6ffadac4ad5550029693d9bf8c8ae26291047320ba79c3 547134 libboogie-cil_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb Files: 31e76ec331c4091187c219e4550356bd 2018 cli-mono extra boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.dsc 2e0c0b276db6c61cefd495d3aa97a062 1915382 cli-mono extra boogie_2.3.0.61016+dfsg+1.gbp64e8b3.orig.tar.gz 8267b07603c30a9c0bba249d2df25ac5 8064 cli-mono extra boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1.debian.tar.xz 27e3cff736ec3fd812c3f6e72c249dd4 15274 cli-mono extra boogie_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb acbf30c6e1c39d0e363c6484f9e4f52b 547134 cli-mono extra libboogie-cil_2.3.0.61016+dfsg+1.gbp64e8b3-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXBcuZAAoJELvHVt2+WV9r4KoP/j9rZbiIgFJ92eecgkdEDb4X MexsQbDDzDQxniLFyCDulvphWe2+NiHVKSriXyqt45CbYAF900zql5cnYOpqoZun wmqzOP1Q3+ukiEvYbQOWIKmawoLeSJpDxfu3oc4CZcabdzGoSUoavcMgyBJqq0WC dN/UsmUEH8XJoykkpCknOpImZbIcC0pZDbZGc3zoOQ6uzrQ7Yc535yPm0GES7XBV rhUn5jlOyzznOA6xlm7c8aEwMptKE08+1cUM6mbI8pjuoPxO8ymmyYvE/ivN+f/W S2Ad4A6oF92iLvZD6vRBYugkG8qXjwVwOoUpPCh31geGdzmEw0cRhjNjV6j5+mUJ QNDosFtpIf7rD+DFEgMELorGM873FWD9HXjdEyXEA8+WO0AdLvWI6I4CJGmfUzZv 4WaCwTY35wYU5LbB9l6rkXvTfMMhkWqZoJzoHB/XXdypFy23Ce9oS28fmDpwQwO9 Yh/3hReOtlvs6hUhkEehxq6MJP+sDHVYHs/6GqB0qenSJj/OJESc4JDLZ3LvjBN0 dj9FgQZjCPtWZpidnk+SZg9oESMWwFCw/3uyh7B8QjfWnP/HY4KhWKNUP+IFRWpe TP+n/GmlLSwFaJspoorUROfX+PoH1wEX53Qz3ZLogcYgZnuBUy5BWLnRPMjMH7jr 88HgUPFWiV9KFPPemoAx =itkC -----END PGP SIGNATURE-----
