[ubuntu/bionic-proposed] why3 0.88.3-1ubuntu2 (Accepted)

[Steve Langasek]

why3 (0.88.3-1ubuntu2) bionic; urgency=medium

  * Drop the why3+cvc4 test, since cvc4 is only available on x86 and
    there's no way to make autopkgtests per-architecture.

Date: Thu, 22 Mar 2018 23:21:56 -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/why3/0.88.3-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 22 Mar 2018 23:21:56 -0700
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-1ubuntu2
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
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.88.3-1ubuntu2) bionic; urgency=medium
 .
   * Drop the why3+cvc4 test, since cvc4 is only available on x86 and
     there's no way to make autopkgtests per-architecture.
Checksums-Sha1:
 8c66af27a154025bc91a464b77387e20b4fe1fbf 2780 why3_0.88.3-1ubuntu2.dsc
 9f821e5749ef6eabd9a1ac2a4ebf35b000282922 13300 why3_0.88.3-1ubuntu2.debian.tar.xz
 2a41fd54c851ad80eb337b2e208023e848198d0a 6625 why3_0.88.3-1ubuntu2_source.buildinfo
Checksums-Sha256:
 75c345415abae0c4eb77710f44aa24c23b8e29de44ea1641c877182042644c2a 2780 why3_0.88.3-1ubuntu2.dsc
 857b5f2649dfc4918f3518a5b05d3c0d18b1e4464f82df1364022d439a27d755 13300 why3_0.88.3-1ubuntu2.debian.tar.xz
 d9e3c90464fd29024a4b435c4b63e9f6def07eb1e88307f21aafec7605f8522e 6625 why3_0.88.3-1ubuntu2_source.buildinfo
Files:
 541731b046fe82a43946a4774f25d937 2780 math optional why3_0.88.3-1ubuntu2.dsc
 935dfb461c00341de70f790589f7867a 13300 math optional why3_0.88.3-1ubuntu2.debian.tar.xz
 6f87146c28ae6a022917b0191ad09232 6625 math optional why3_0.88.3-1ubuntu2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAlq0nRMaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0nlg/+LlI87Uh4YUVI9oXQhNWC
3OiQS6+kTSLqyeRSV22gv83Bu0y04LWPG/PumKogWbOleWqpJHctD8O797ozt1oC
paGQZUEEX8k/Cy1DhiBQWh3NEIOSUY4chr/Zmcm6hSI0dEtZ6WDomuqbLpJEibys
R5YoqFAwEmk7/LGy3szyPXZps9MCXDyw5QjjPxaioRKabipk3sK2rN4HqCx/P/G/
X3ZONkaPfpylPgLsyjyOAHS8L3za5AcwNVJVba7vRjIYi9z2K1WQ4HUNjVA4UqN0
n2rXFlOd/TwtFFtUGMQRXxvTGhGcK2rEZj4x0soCaTfQY+OyDI8zPzFJOn92bzSy
QJGdyVB4UqmBSOyoV73UOHkrkk+pPt0WApUEQKymtWbGSEX+TJtDs18UfWNFBffh
IvMSUOaUQAwVDuuIg0xFBgw/8uPLHmSFL719nDWYxm1zK6XgiIDz1h2bWSZnqB7z
nLdnBE3VlxAgnabDbRI1/E96ZAJF6Kzd//n40nq8zBhkJHMVnITGCtLqEhB+QO0h
8ztwsxd4PmXLDkG4Tc0RTj8tEdNeaPbczVXrccdv0T9C/G9JgqGel++W4Lb9Mddo
cBCe3z10yQy8R09B/FJtkSG/WEe0ZVgL0rKVsjO2y8E3rg+GihpqsYPqy2fgVefC
YqcY8xS2RJ8akobXzsGRcJo=
=Pu4+
-----END PGP SIGNATURE-----