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