Accepted boogie 2.3.0.61016+dfsg+1.gbp64e8b3-1 (source all) into unstable, unstable
-----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-----