[ubuntu/artful-proposed] hol-light 20170706-0ubuntu3 (Accepted)

[Logan Rosen]

hol-light (20170706-0ubuntu3) artful; urgency=medium

  * debian/patches/camlp5-7.patch: Copy from Debian to fix FTBFS.
  * debian/control: Update build dependency on camlp5 per Debian.

Date: Wed, 02 Aug 2017 22:36:02 -0700
Changed-By: Logan Rosen <logan at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20170706-0ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 02 Aug 2017 22:36:02 -0700
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu3
Distribution: artful
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Logan Rosen <logan at ubuntu.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20170706-0ubuntu3) artful; urgency=medium
 .
   * debian/patches/camlp5-7.patch: Copy from Debian to fix FTBFS.
   * debian/control: Update build dependency on camlp5 per Debian.
Checksums-Sha1:
 a6df1f656ef451b13dc6e26427ac0dbe61963f7e 1797 hol-light_20170706-0ubuntu3.dsc
 42dafe73a169f6d35c94f4906fb059eef4794034 9676 hol-light_20170706-0ubuntu3.debian.tar.xz
Checksums-Sha256:
 13a757e1bcf10d2ae1b12eef3e2752a4b605330e7d20ad69a328b16470216a02 1797 hol-light_20170706-0ubuntu3.dsc
 7ef86a561154dfbadf10fb5c11358e39490dd314b74a22aac8045b4ed853364d 9676 hol-light_20170706-0ubuntu3.debian.tar.xz
Files:
 3293668d2a96485cc80782f4d42eb308 1797 math extra hol-light_20170706-0ubuntu3.dsc
 b78e5a431f1ff5fc5e2772d571efbe68 9676 math extra hol-light_20170706-0ubuntu3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEuBAEBCAAYBQJZgrdoERxsb2dhbkB1YnVudHUuY29tAAoJEATn8ULx7RNFjPcH
/3YkvjilxoddG9S2nInUF68BhAUjt32ICrpZpsbme7WigNrFbXxf5JzQKAtVXJPj
vx4JdtQJtZJSB3GCZRZ78IRLPkgQMZ41EzeSy7zdZXDily6Du76kGOvxveStDY/Y
2rJUefCSJEsnSrwcUFrdRDMFNz8+VEf0BwmFn4LhppWJIN4l2DUlALI87NrWMm60
FdmiHohmUdLbYcdWu1Zpl2Zh4PvJrJxd28VGxkZ/F0wpKYGgwv1IUMqxmKPHML2O
NLbN6aSEwbVlAYOOBLNd8txkCrnIY4HZ/IdXINjveuW+1z1z6TJz1Lk08sSvpsgn
F8Yc0sFUF0w6NzcFBi37/FQ=
=BFJv
-----END PGP SIGNATURE-----