[ubuntu/groovy-proposed] hol-light 20190729-4build2 (Accepted)

[Sebastien Bacher]

hol-light (20190729-4build2) groovy; urgency=medium

  * Rebuild with the new camlp version

Date: Thu, 06 Aug 2020 10:07:03 +0200
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20190729-4build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 06 Aug 2020 10:07:03 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-4build2
Distribution: groovy
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20190729-4build2) groovy; urgency=medium
 .
   * Rebuild with the new camlp version
Checksums-Sha1:
 cabeb3b15b3075c5b442bd6089e60cf9ddb66380 1458 hol-light_20190729-4build2.dsc
 cecc8df1ae2f05f93651851480f0968786618aaf 11236 hol-light_20190729-4build2.debian.tar.xz
Checksums-Sha256:
 ad7010c96329fac7aecabe853dd65aa4870041c70ec730722bf410e39f5bc7e8 1458 hol-light_20190729-4build2.dsc
 b6c0b429e4fb6d5493f3f85620c6944b5e67f7e633a983c521c33106687e4652 11236 hol-light_20190729-4build2.debian.tar.xz
Files:
 f1c3471e8724adcd850734febb1ee6f5 1458 math optional hol-light_20190729-4build2.dsc
 3a2f875a9680a3934baeeb1c9f35e630 11236 math optional hol-light_20190729-4build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAl8rulkACgkQQxo87aLX0pKLOACfVI6l+1NqdbgDFa5f7rkE1761
u2cAnjuQb/sWh0fIEWZFWu8So/5vig0B
=kb+9
-----END PGP SIGNATURE-----