[ubuntu/eoan-proposed] hol-light 20170706-0ubuntu6 (Accepted)

[Gianfranco Costamagna]

hol-light (20170706-0ubuntu6) eoan; urgency=medium

  * Patch for new ocaml and camlp5
    - tweak rules file to stop copy of the new ml file
      This is already done in upstream build system.

Date: Sat, 27 Jul 2019 10:19:28 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20170706-0ubuntu6
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 27 Jul 2019 10:19:28 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu6
Distribution: eoan
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20170706-0ubuntu6) eoan; urgency=medium
 .
   * Patch for new ocaml and camlp5
     - tweak rules file to stop copy of the new ml file
       This is already done in upstream build system.
Checksums-Sha1:
 57256b6a304914cc5d82793bf71f4be6bfce9946 2153 hol-light_20170706-0ubuntu6.dsc
 0e2d57e94ea5e82bd76c6be6fd262fd5e73faa0c 46884 hol-light_20170706-0ubuntu6.debian.tar.xz
 e73d657e1d809431d53e3abcf2788c18e8a7fbd1 7350 hol-light_20170706-0ubuntu6_source.buildinfo
Checksums-Sha256:
 49306c160544b232e752b894f8e06ee3cff2d5e26b21c02adcaab7f417f5e5bb 2153 hol-light_20170706-0ubuntu6.dsc
 06263ecf155f3f55c4f114949bd3c162cc721f239bb613bdc3877b650e28182d 46884 hol-light_20170706-0ubuntu6.debian.tar.xz
 80d28ebedfb16543b426afb7f33b7edf6efb4b4817d9546f962f69f869f248ab 7350 hol-light_20170706-0ubuntu6_source.buildinfo
Files:
 7928311fe5bc7fe75447ccb500551299 2153 math extra hol-light_20170706-0ubuntu6.dsc
 065ff13d77cfce9172a2dcf33a3beaf3 46884 math extra hol-light_20170706-0ubuntu6.debian.tar.xz
 c66eb5f90d1ed8d6d637720f97a763ae 7350 math extra hol-light_20170706-0ubuntu6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0+FF0ACgkQ808JdE6f
XdmsoxAAyqHs2HZBuA/an3nWmOC4vOV1gZn6sNEHyyyraR5sHTpo9sH7cZnbyGRO
1MdUe6vzy6JspiNlaNPXiHvhTxdfyjPpp+lD/Rk+nQSNrp9DlqSXGRxCSv+dRysE
5Qhj89HM1ZmK2Vm9qB8VJI22h87/qyfydmRm6HDjUFITCB69ycwegksNc7/EGmz9
RMhK7WIedo/mjj32fb0rPTt9YNtMfHaHNkTZcZjmvnld4txkPlfbSRw8dlkWsdvQ
lK7/9LXpWHcNE9oTlKp+8E72fcEfp8wrjnhy4f6Bb5r4kjgRoEitrFQllD0S4NEI
GTD+iwGJM3Mq51bw5EShjNQ45CIjUa4b1nBopI2z/Qb43nVkk8dcG+38cnwfm2kf
v7F23SLEBHd2RKf1M/e3BH2FXkYzpLThDcpgZ+ekcqJej07c6RcNwMDuW2z9t1rL
oM/tFhPpqHlWTbwIRlpPmfdCbUMyxyExaKdxZRF8EH1UcZNOPgg7UDs+4/HsP3X/
ApxTG7oWrz17x7TpMh1kTKp+7FjBwTtXTN0a8ah8cvJ+cDetCAeUSYCmmcmA4EO7
kPz3d0DbJoQCG0rpvjwcQzuO8NQFjojpNBsQ7bwXF91Gp2PpTgmonBnactt9g6JN
AMBOgxWW8vhF9NmSy5dhptWyhoQHaC0Dv0Scp1rGZSUtop4ycFw=
=wCnv
-----END PGP SIGNATURE-----