[ubuntu/focal-proposed] hol-light 20190729-4build1 (Accepted)

[Dimitri John Ledkov]

hol-light (20190729-4build1) focal; urgency=medium

  * No change rebuild against new ocaml ABI

Date: Fri, 21 Feb 2020 01:31:39 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20190729-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 21 Feb 2020 01:31:39 +0000
Source: hol-light
Architecture: source
Version: 20190729-4build1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Changes:
 hol-light (20190729-4build1) focal; urgency=medium
 .
   * No change rebuild against new ocaml ABI
Checksums-Sha1:
 13f2de08e7ea42cf09bb05af02b966de358c2441 2112 hol-light_20190729-4build1.dsc
 889a911095bfea2bab873ed67523a8c5696ae24d 11184 hol-light_20190729-4build1.debian.tar.xz
 2ab708bccf8310ab417519303f8eea6cf6673838 6770 hol-light_20190729-4build1_source.buildinfo
Checksums-Sha256:
 37be1db14fa9036d864445c42e21c7fdbaf692fcd6421ff0d8c18c1fe36cc1aa 2112 hol-light_20190729-4build1.dsc
 62cafae0470d9d7e0b78d9882de520dce7f0cb72692969404d3f2bade9ac1401 11184 hol-light_20190729-4build1.debian.tar.xz
 a923b8196ae1f16701766e57fa8a31057be6b563f8499cbd51f3d060eea2fb8a 6770 hol-light_20190729-4build1_source.buildinfo
Files:
 a775530990304a18cdf55580decfda14 2112 math optional hol-light_20190729-4build1.dsc
 fc8f087e27e8ecfc80e71d38d8d4c49a 11184 math optional hol-light_20190729-4build1.debian.tar.xz
 f681b7ec99acbb7c261065dbb31f7f63 6770 math optional hol-light_20190729-4build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5PMw4ACgkQm47ISdXv
cO11Tg/+MWVjmUPI1nYdYcQFA8GYYVv7k/J7OCykuYAwQN20kraUKKFEH1TdXxc3
j45nI/lahB4c+Tcl6kHzARUG+Yz7sLX1YTgEWaYusyOf/WeaasRT6bbWUcNhJfHv
6pQDHStCzLwJh3OHJs7co3PmOM9OXuXk1KXp1OdxGQ5Bp9YUyByZHQxbzNt9Kxer
uz8h7VOnytE5ZXukDDDaPc3SpF8rHOvkBB3Saeetapeee6hLkaXMovfMcQTWip76
PN3jNLy0s7y8L5mxpw9d1GSJ+rF+wZja7bbemXv0Dpchulhr2KOKwGUjMw+fPpwm
q0r1eaNJSWKFLGq8O4ZZL4BgMJ5EPkrWpyGx4BXLQvRSeFwLiuYvfYAp/96lsKD+
gjYKhTP5ngAGqfNHnrf+NsZTAjD8pwWyejLd0MgRX6swjf6hNCyvJFJXljkTcPOW
0xPji3rFufeynsMt3otcY+quSYzQrEavq6H09kFkOX/3mJXXepNaVd47W/h+F1wu
ThGHnRj8AEmelcgBTKTTI3VfH0dJqG4ZU/2A0VWM4L2tX19ue/2HpkCxunj4PSqc
oRvmCp3bXbKhC7FwiRDJyb21C6nl+BmDDWEaZe7wwwg3BU64IUWIN/BzTxIgNoiU
T4V2hJYPavVdM192AiCIrrJI5ECjPese1dGJQrKDCrc4vk9+bAs=
=KoU5
-----END PGP SIGNATURE-----