why3 (0.87.1-1build1) yakkety; urgency=medium * No-change rebuild against libcoq-ocaml-cib06
Date: Sun, 10 Jul 2016 07:50:28 +0000 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/why3/0.87.1-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 10 Jul 2016 07:50:28 +0000 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 0.87.1-1build1 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Changes: why3 (0.87.1-1build1) yakkety; urgency=medium . * No-change rebuild against libcoq-ocaml-cib06 Checksums-Sha1: a465c9c6db51d4b349f06d4e91c18e44e81f190b 2685 why3_0.87.1-1build1.dsc 8b2365f22e0e809b0cc64b3549b89ab167f0f009 12048 why3_0.87.1-1build1.debian.tar.xz Checksums-Sha256: 5f608d1aec0dd7e60c134ba4118aa4e8e39c4f2170ad6de4f54067fdbb45e94f 2685 why3_0.87.1-1build1.dsc 838bcdc0a87358ef2077b5dc62b1380385e8077696ffa6aa77ab3c242675c277 12048 why3_0.87.1-1build1.debian.tar.xz Files: 20e707b39cb2095a771ab7f80290905f 2685 math optional why3_0.87.1-1build1.dsc cdafbf3c8835085c42ca9c26c2c360d2 12048 math optional why3_0.87.1-1build1.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXgf5RAAoJEFaNMPMhshM9L+wQAJk4VVXaOugr/IqWflyuWnOx LqcnkSfWWu48WKokbQAHrS+YWfgiDnceBs0DmQ/jEt9otWJ0bq8afPCj4MdFIaWa DkdM/bdVKoqiF3pK5O3WIvsJSc/t1pci6nhcoWj6t7V86N2vW+uvk2RSAe+DGHlk CNhF+PSf68aOgsCTOcvloY2kn/+xxvGh9c2HQOV6NX8HhMXyeiGgRCaKuzN6YHz0 Gi4uFAYoYIAeRXOtB5FUVA3uJ3e6WllXsfahmT9rbJIOuJIlmtO+0YhoLd3Wo7/q hITQbbOv6zhJmZfBWqZjGSAXCiUv2c1QIWVRhaxuD7WkKBqRx1mjsfdx0NTTtA0A meUTCDw79echVFWlHZqPSWHREzuDzD36Ib2E2OCSA8Ap8sdtgyR9/XUjndmVVcBb UOiTp3ZjOfh3VEUhiO5nbRYzoohhDtt7sPyZg3ftkBZ8R/F208xoRwXwN7Lz2Mz8 ui4tKTGlb/Uhg0RoxOnTYtha7kCGjsUjk3nfc+1Lt+giJPH52QJ+f1vGVuoYxzIN 8En0Ol0JU/PgMgtyZPvYocp1WBNo/ansQlBxqbk5tUTYl/zuccFfEbsBAqpG9Iue 2+kEATVXz7BXpGR9/Qgiga4Sr8FxbnbE/Z2+o6AH3CaPh7mEdZScClMS8Gc7luvX 9PYlJmu+AQGlirOYFb/Q =D6f9 -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
