[ubuntu/eoan-proposed] hol-light 20190729-0.1~build1 (Accepted)

[Gianfranco Costamagna]

hol-light (20190729-0.1~build1) eoan; urgency=medium

  * Upload to eoan

Date: Mon, 29 Jul 2019 12:53:52 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/20190729-0.1~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 29 Jul 2019 12:53:52 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-0.1~build1
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20190729-0.1~build1) eoan; urgency=medium
 .
   * Upload to eoan
Checksums-Sha1:
 64ba7bb5bffd5c1bcdd5f0a5996eca0d7b61bd45 2079 hol-light_20190729-0.1~build1.dsc
 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
 841420a49932cd23735715b9147c74f470b11b2b 9624 hol-light_20190729-0.1~build1.debian.tar.xz
 b3db07a30b90525b9791e8ad7083d87bed3a8126 7358 hol-light_20190729-0.1~build1_source.buildinfo
Checksums-Sha256:
 c1e470278efde2da64c30742a6c85c46765f7eacd1a8987d8994bab8d660b427 2079 hol-light_20190729-0.1~build1.dsc
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 65a14d0d97ea2b7ec78b39dafecc61dd3ec17a7e2ac5aa6e3cfa5641aa02339d 9624 hol-light_20190729-0.1~build1.debian.tar.xz
 4d2c03c36183ba1d840aaa68a3914fb971257ffdb23e990cf98404490c697393 7358 hol-light_20190729-0.1~build1_source.buildinfo
Files:
 48c6a0730b0e0de751386523f545558c 2079 math extra hol-light_20190729-0.1~build1.dsc
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 math extra hol-light_20190729.orig.tar.gz
 58781c8f9694e3b120131d184e032c92 9624 math extra hol-light_20190729-0.1~build1.debian.tar.xz
 6061cf591afe9311f5074ef56f3d00cd 7358 math extra hol-light_20190729-0.1~build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0+0FQACgkQ808JdE6f
Xdmz0w/9HmzEqaZHayDM/5/V7Oo1pqxKzlBiim7EC1LC1pHndlBKzRWKGR+AgSQH
nR+VD35xSJfk6Gedbx+lpYLSmB8Bpn71CLOSOY0zYi6J7oQ/dLkv2tDZjCmGCD7G
6bpMOEb7S1keCM7UH0DYoQycx/uLaaXph8Gkftp/SfqP+Z9tPbpG1YVwb+66cgem
dQpU5c2wx4ezIhkEPK+Ilj1d0hBml7sqzirPR/mR35qZGJMZe+5yjd1krYMG5dbF
rsyn1qXtY5R5bJSSGQjA78qvXA2oqMPDunsyta2u2gsIMc5jgF+SjWsMClx2/p84
yhMGBmVpuZ7xtJcJMam1afHg5rGsjUcZINaPkPz7+B8N0DKqIbXw5iJVTI19uplZ
co7PsM0DYpJCMEKPktQ2dY8AL/Xh53PcUDgRr6NrE1/pmeJzvXYiY7qzLbiTCPe9
d8pzsm+J3pfNwuTot+bgb3PMBHeCoVdgeyUYMl20+8hQWIsGjPguVTkVFoHr17BS
29pcOJcRgRVczOJqp4kKLwa44y0If3ZT7hqkoTjWUonvwEZTckYeWw09uwWLWvJl
TfzNskqr5gj7SorFSM9t0nJ8yYHAyOU3np0ycnzPPP23xkrQjwuy3Ige+42MqdLt
MjDdqPi4/7SbZFlIbiumdM9YswsrBS+WgWoMOvcZOAtyPWdArRo=
=6j1q
-----END PGP SIGNATURE-----