[ubuntu/artful-proposed] hol-light 20170706-0ubuntu1 (Accepted)

[Dimitri John Ledkov]

hol-light (20170706-0ubuntu1) artful; urgency=medium

  * New upstream release

Date: Fri, 07 Jul 2017 15:14:34 +0100
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/20170706-0ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 07 Jul 2017 15:14:34 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu1
Distribution: artful
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20170706-0ubuntu1) artful; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 288d63b2fe8c9e215bd473db7eeda6bb6810e0a4 1791 hol-light_20170706-0ubuntu1.dsc
 abed2ed123a0e603015b234e46618d95c0ec3f64 6207499 hol-light_20170706.orig.tar.gz
 e91fc40709cc8d0993c2fad92333524c46e4288f 9344 hol-light_20170706-0ubuntu1.debian.tar.xz
Checksums-Sha256:
 921c1fb9bdfa2ea6bd0eb9abe74cddeb8bf5cd70907e4adf3a8b8ae0a69e5679 1791 hol-light_20170706-0ubuntu1.dsc
 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175 6207499 hol-light_20170706.orig.tar.gz
 3aabfee112714c971e316f032d53619d587fa23cc21609474712bd39c47109f3 9344 hol-light_20170706-0ubuntu1.debian.tar.xz
Files:
 a654cedea331635255d33993932d1f1d 1791 math extra hol-light_20170706-0ubuntu1.dsc
 fdea981048c968e64f986525eaed2106 6207499 math extra hol-light_20170706.orig.tar.gz
 6de6f2788fffc92c5c7897a6e87d2fa7 9344 math extra hol-light_20170706-0ubuntu1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZX5rcAAoJEMrC2LnNLKX5htUH+wXO+uceP0Omu1vEU1jAxNC0
YuoCoUpI53GoPldMh03FpwmeQjxeAD6JStlCVf027SReZvZ2obi3jPvMq7EKV6dL
kltL2z2jh0PfJUFXZaIwl82rrH5nD9nplVJWax+FutXl5/aerv+kVOurIbSGT6RN
NbmpPudB5jDofMgmE4Ol9OXXMilpmndIgvQq1VvyK6XuJz1P0Cl/HiFr1eJdDjEk
WJfJAHEF6f0ac3zANR1hFuI77kNRnE9I2IMm+s2ljVQm/xT6/i28ZBfAP44bd0xT
BP7eIWRb5D2s534WN6W9n0VjUerg2Ye6DBqZRIRsRNdSdBHfvP/vc3Ruq9gik0M=
=CREb
-----END PGP SIGNATURE-----