[ubuntu/artful-proposed] alt-ergo 1.30-1build1 (Accepted)

[Dimitri John Ledkov]

alt-ergo (1.30-1build1) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 01:29:31 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/alt-ergo/1.30-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 01:29:31 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30-1build1
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes:
 alt-ergo (1.30-1build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 36aa121fe82a0876f1037538d7eb46963a9ce253 1990 alt-ergo_1.30-1build1.dsc
 48939134d9704dc0d4667f2e9f6bf27def340b5c 14324 alt-ergo_1.30-1build1.debian.tar.xz
Checksums-Sha256:
 96bd1dbd24b9f83de3d662aa07d5bba444f1f8739f0cd4fd88b43f0be3812f3c 1990 alt-ergo_1.30-1build1.dsc
 8ad3ccb68657b086abbb0ddd8dcdd60a650dbbeaee5d458d4ec5e570bc8a5f90 14324 alt-ergo_1.30-1build1.debian.tar.xz
Files:
 4d98313694a8275d548242f3af7b8e28 1990 math optional alt-ergo_1.30-1build1.dsc
 4be32234b428db22361c774dbaf83f9c 14324 math optional alt-ergo_1.30-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZWZApAAoJEMrC2LnNLKX5xCUIAJXPL/CeBE1ayvGB4NeV9KYR
UE6qTZQBp5FA3rIrl+tBl91Lk+VzlT+3Jc4mLp1P1yh/R24lZg6wA2dDhv7nFIAb
l3TbMxEXsk0sjd2nUV7XY6+4JSLtxBbekMfZLb08qRwPgjZSiqQ+OiOSPvGIowGK
H+XWl/QzRtcaG1AJpZPWKDdOWQiS0SrmpuOE3JaXFfYOQ+ohRUUWh+1v7VflhU4S
Rj0awNmntGEHR4RorH5vHQs2ym24ujDJdsAfmwdmQ9yXVCYeTSLve7wKrdd/ari8
OMGQopgDrUi0hqKMoDQcy+ZcHzg8LepO0/e1CNOTWBszJ9o0u97FV4791Q7687s=
=6SR5
-----END PGP SIGNATURE-----