[ubuntu/hirsute-proposed] hol-light 20190729-4build4 (Accepted)

[Matthias Klose]

hol-light (20190729-4build4) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Mon, 02 Nov 2020 14:46:58 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20190729-4build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 02 Nov 2020 14:46:58 +0100
Source: hol-light
Architecture: source
Version: 20190729-4build4
Distribution: hirsute
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 hol-light (20190729-4build4) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 9033ddb6a381b70a74f9bd5593055fb04fe182c7 2137 hol-light_20190729-4build4.dsc
 d571a05da59424f77c5e3b465bc083c39c87d760 11328 hol-light_20190729-4build4.debian.tar.xz
 81aad5b5a1c759ce4213ec342c3dddfdc5ed4e53 6443 hol-light_20190729-4build4_source.buildinfo
Checksums-Sha256:
 e0ef2d319184d75d1678745b018b963f032c032e19c953513efa78302b30dbde 2137 hol-light_20190729-4build4.dsc
 62ee6a7ebfc0079be603bd2e6b9eb144279391aa19bffd7c8db86436a8728686 11328 hol-light_20190729-4build4.debian.tar.xz
 b6a2b9b26206f05bf3b59be6a95be8e834a8e25208c76871a51d2b069186a00f 6443 hol-light_20190729-4build4_source.buildinfo
Files:
 004bc603c1d9e7d88c19717cda62d6f3 2137 math optional hol-light_20190729-4build4.dsc
 a404b41f4b7cd4553aeb893c777e53fc 11328 math optional hol-light_20190729-4build4.debian.tar.xz
 a009917fb011e203f76671ad429773fb 6443 math optional hol-light_20190729-4build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+gJz8QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Qk4EAC8r5SLszpqeRCnYHw4UzASRQR5lzKlGOvl
tj+1150K5cccz81vUM7ivTZpJHY4Ch8gJ0ZVK3lzgdiBOu2v9WdT18dk/90ADO+2
wcKv9ZmLyX8JkKo6ljEJtIrsMEPUVTI2ukQAmq6RUvTPKckrqTvbN50HEXePXgp/
/GmSIEnK9EFHf2+qcH/gcgjP+xYoBhP1lRzIEVRHVHcToPzvD8JHsfY4s5Ief8Cg
TuHtXAzup57SrY82LCWbxg2v8+9olTwArtfC6I+BYcYO3j/Wj1Mg+sNf0BDC+Zhg
BZEfKjkGMCeuOCE3Oxxtsy9NyaspMStuTPMMJklqsBsB5hdKCxSv/UdhLFYCX8sp
qIvBI9AAc9ZpVztM2CPr/CWh/aeB6hPR+PmCIwkyektGsyBD80P83QQI2uIUlB2I
+7HtZHE0pWW6wDW9ReUFKohmZjvXw98yEyU9d7hp2D3dxVJWVWhVuFjfFEnJ4aWg
XcA+oYgQVSf3yEXsINKWzK9ilXEA6XsuYIF1ks1jbo3jcpdPvly9puVdRHS+GTsx
N3+9WB3vNvaPAQ3Vfaka0RD8feDn4M857A8M/c4HeA+Tr+CFnPN6WzQx5AHtAG6b
Mtyt1PhzYuoNx7UKQCJDm6aTpRGL9CifqMyAMBn4BJdesf2rMZSezfjXsIjYg4WM
5eYlMKl2Mg==
=02tq
-----END PGP SIGNATURE-----