[ubuntu/yakkety-proposed] why 2.34-4ubuntu5 (Accepted)

[Steve Langasek]

why (2.34-4ubuntu5) yakkety; urgency=medium

  * No-change rebuild against frama-c 20151002+magnesium+dfsg-1build2

Date: Sun, 10 Jul 2016 13:41:00 -0700
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 10 Jul 2016 13:41:00 -0700
Source: why
Binary: why why-examples
Architecture: source
Version: 2.34-4ubuntu5
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-4ubuntu5) yakkety; urgency=medium
 .
   * No-change rebuild against frama-c 20151002+magnesium+dfsg-1build2
Checksums-Sha1:
 714063e3263aecff63ef99dc2953d6d7050718c0 2372 why_2.34-4ubuntu5.dsc
 d9b3a68317439d97d3267fa088fea272bc323e0f 11516 why_2.34-4ubuntu5.debian.tar.xz
Checksums-Sha256:
 6ab93a3dff02d24f60ad73422f26d8a2ffee38ed62484de80f4b7ec5669bd65e 2372 why_2.34-4ubuntu5.dsc
 877960ee14253021429a9c9b47fba6011989de97ab3c15aff7c5c46f288c05d8 11516 why_2.34-4ubuntu5.debian.tar.xz
Files:
 e2975e3df91672ca84b594b98f44bda1 2372 math optional why_2.34-4ubuntu5.dsc
 d004c0e81fdad5cc88bc487c479f9491 11516 math optional why_2.34-4ubuntu5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXgrL9AAoJEFaNMPMhshM9LesQAI7sCV/yNb1uD47MpAJQJZ9x
EQSewwIckCVFDokJLvudK0XQtw5J82au6oRiQTfo9I7Mu2s/Rob3IgW1lfPgMpS1
xXBHVUGI4F39czSXVniHE9xNdyQuQVQJqbewRAuYrTQgbADgqeo+tTVVAxrMDtgi
oe+BD8cl9J2luS6iy8CRg8nhatf/lO9FHz3Fz0STnFvM0KQXUMP47JaJNAJSssKJ
6PZNv0aNvhjKP/RnwGaHMkNCbkYg3/mZEpjCrzFur6kfAQld4ghAzyL5NGGOKvg6
vf4mLKe0erUK/d2YSP/xcA6NFeDEPTY3pk+8GfrPw1kmPR6E8oMeTVMOKSe8YE0w
wK0w9erp70ygDIAcacbiVmMYwCRnIMQuvL2GIQFk66gQ1ql874ZYfwKfiFTX1Fd0
ti7O3IHkU8eRHFNp8Wvr8IEcFJ+hRr+0uVZE3Frifm6qzMlt1wZgYrROr5msLip+
kQuydrI5wbClAJfiKukkKeW00btJXWlOv/cIFKO87S3vpZcCb60vWrsQnGWHkSx1
8PibztaPAiphINcJSvklas9jWc8LysprUwPNtQX43pQteVvasjFRUtV8PkpJ6f66
mF5bylOFucUEK5oT8Ax0kHDjq5pbBPQi7Q0NumHdzVUd9N7JSbYq+aOdnbkqb6KP
/Ln9QRkyRu0o7n9wL/we
=d5C7
-----END PGP SIGNATURE-----