Accepted hol-light 20190729-3 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 29 Dec 2019 13:24:09 +0100
Source: hol-light
Architecture: source
Version: 20190729-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 944277
Changes:
 hol-light (20190729-3) unstable; urgency=medium
 .
   * Team upload
   * Add libnum-ocaml-dev to Build-Depends (Closes: #944277)
   * Bump debhelper compat level to 12
   * Bump Standards-Version to 4.4.1
   * Add Rules-Requires-Root: no
Checksums-Sha1:
 9c03986035286199a702ad81575c5de9afcdc9ee 1815 hol-light_20190729-3.dsc
 3549b50dd5b81a7d93528b544dfebb2cce38859b 10228 hol-light_20190729-3.debian.tar.xz
Checksums-Sha256:
 f5c9b46d7e897a8a4f040164b4cbcf86139528de867ae2bc8c081a69f9df28fa 1815 hol-light_20190729-3.dsc
 9e25343e354fca2853de8a81d4608e2f596ef0b9e4d24807f45adfb03196a42a 10228 hol-light_20190729-3.debian.tar.xz
Files:
 65a1da50813f8b7a6851a97133989782 1815 math optional hol-light_20190729-3.dsc
 b592f153f203989250029bd3d30cb131 10228 math optional hol-light_20190729-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl4InNMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB9D4IALBs892XYv5ljnLzJXl7DYoRuL24u8JZ
mc8tXVIzvwDPFTysjWkYOYh33bdqlKbxMpIWdxyD4OYx1F133yVOn8X6T2tniaZb
GgW6Lu4vnCvCaNiSyLsKXQls6ob8rUiNXtNUr7ftFZjYmCmhLCU5SkSycqrSkrsq
CbAY3C7BhYngaF9YHz5W8ddYKVv5KfzKwJ/OxI49gyiW2TNULuVkkXlaZUTKvEkR
GdflJ4b30Ud1mAfn7bUllim5UTXzcA196hKVJexX9TH3aCvmzyldB91TqwNpnxTR
ZwONXJFdzpysWeEZd6mjCjsBrXoADe70YVJnPGdcy18ojTg1+/W0Cz4=
=Zn9s
-----END PGP SIGNATURE-----