why (2.34-4ubuntu2) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

Date: Fri, 12 Feb 2016 12:07:26 +0000
Changed-By: Matthias Klose <d...@ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu2
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 12:07:26 +0000
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-4ubuntu2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Matthias Klose <d...@ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-4ubuntu2) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 6cb056f3dadec74ba06c74d2daae062920bcda9d 2377 why_2.34-4ubuntu2.dsc
 6343c4fae8c739620637d0e5e270664a6c226ab1 11424 why_2.34-4ubuntu2.debian.tar.xz
Checksums-Sha256:
 ba86db72801d7968077f566f0b99de05fbfafdc54522278545dc2a27961d2c14 2377 
why_2.34-4ubuntu2.dsc
 c9c969aeeade9cb847d533f7ba2c54d47d481a8f7ce6d8b86a330689427eb25e 11424 
why_2.34-4ubuntu2.debian.tar.xz
Files:
 7a319e5d61ae94ab42ba82d0948b51c4 2377 math optional why_2.34-4ubuntu2.dsc
 025470ba82e80c872b0a7f24153a6c1b 11424 math optional 
why_2.34-4ubuntu2.debian.tar.xz

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

iQIcBAEBCAAGBQJWvcuKAAoJEL1+qmB3j6b1O8MP/jDI3HPrdWwxNruLFFtrHsnq
ldrDb3ktWiIaV4aknQ54h7a3S8EbqL2hxNSKJoZ1jmEKEP/SVhOTfz21SOKwSedG
CAHqx7geCvMSO6ClusXcQUs4r4lXX9MjMEm7q2mdQEri9QiUelPC7qnRvA2zVpzP
t7qOSPz3xBXqs4i2BcI41/Zb5B/61wzHzcFjsv5LlX+09Ho75Y+Rj5mIsUrxM32W
b7GQ++yb92NnjmL5kmmIunRGdmbZTgbLasXzGdXd0qt12OFeNf3knOrqiEXewncH
cwfxqVtgGB1p3LEdbFE9XkcDwmivcBPb1BIYA6Z7t2zlk9N4Drgzp12D9HZQhbLH
SPkziN86roZe9t5BCE3GcTPI715FUwXfYk9deRi8xbOeHRYmMisY3QFGwEdYvVC/
wNN9iqmxQXOaBICPZfilpuVlHb8RrdnVDGE2Yc8pu5YjalpwYHi9/Yc72UEv8b4s
701FMSTre/o0TCC+xvfAooh3V+ee6BbDbES2umq2rQtrOkzQ+L6PvLeCIPvAARJF
N+qglw/Yz3L7zx13fQGgA2T7GMSuCuAVMdxMcnP01rKv4jkgSKHeZFQoSnuvoWmJ
m0qDphaWaLMyNnoYP7mdSsgzP90SRRkJ3FlNVR4o3bFvkbCzGZN0GSTKSMGZxFwh
QwTUVYJtdlNHTI8fZrSQ
=6KL7
-----END PGP SIGNATURE-----
-- 
Xenial-changes mailing list
Xenial-changes@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/xenial-changes

Reply via email to