[ubuntu/yakkety-proposed] hol-light 20131026-1build4 (Accepted)

[Steve Langasek]

hol-light (20131026-1build4) yakkety; urgency=medium

  * No-change rebuild against camlp5-ixut4

Date: Sat, 11 Jun 2016 20:13:01 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20131026-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 11 Jun 2016 20:13:01 +0000
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20131026-1build4
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20131026-1build4) yakkety; urgency=medium
 .
   * No-change rebuild against camlp5-ixut4
Checksums-Sha1:
 81b83923a427d6da6f846fe7c0f9911ecfd1eb19 2128 hol-light_20131026-1build4.dsc
 86bc0de56e732021def086e058832c5c1364267d 8296 hol-light_20131026-1build4.debian.tar.xz
Checksums-Sha256:
 a2906f3e8ce8cb99013dc81adb536cfc9fee36e334d07fa022cc12af20f58516 2128 hol-light_20131026-1build4.dsc
 e8e0a4196bcde4eef18f6d074aae22d8fa9bb0d6fe049afb6df366f56d922015 8296 hol-light_20131026-1build4.debian.tar.xz
Files:
 6c794f6359fb8cc980dc728ccb551a3a 2128 math extra hol-light_20131026-1build4.dsc
 9f40e48433b0b7084b54530c862c4502 8296 math extra hol-light_20131026-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXXHDaAAoJEFaNMPMhshM9p9IQAKWqJ+sh+lyQaeH8D6Rnp+fk
xiElUWUjrUX2laxaJl7qbfoJTdWvJWr6c1ib5ee/y0A4cOr75Hh598FNJbY4TlP9
oF1UG5JEVIIWChZoEyu+2sPu0AJQevVWCk80/mokDTEco2f3MyN3WW6dXCPqqJBm
oizvdx2u8Y0YRlbZ2lCPSfO74dJzW0urTxrjnCOe2Y5jRzU4XRx3SSqidDMhLGbt
G21eV51Y1lWlKZQyz6e02WqQLjIIk9+he1pJlRbw9yj4oviY+wZ13amvnJYBH+dc
mMF27suuY313UIK45w2KbBLfkraDCNhaaROQy32rWE/jXvKgfTP1/05PmmWjboJK
9eBLwFC8IiczfvNMaHcFljJE4I9s8w8MeZphAejvjBFRa8dPCY6kpij8Q/+3zHu1
Fci9P0JXzStwNYFGMEdxNYNmEKEsy1gUSk2fWSL840cQFSy+gtEjy8/oD8q6NT3F
4M4V8/YF6B+umSgHDgWQm9fis0F6GnRJFj1RcBzUomMhMc7BPzdWyz7vVSOlzGG5
I0I6BZXvS8zgYJgx/lcYrqtbRjQVC3+MzIKa5tm62Wtrmm+Cqf3ATgBRfAJpEzMr
XjzA2GvrMUtzbnBm89VfqI5IAy+ggbstIjTGKHdeCA9otcAfFEK62Xx1H1twM80Z
8ex0OOB/u2bf8Z1YK38F
=Kk5v
-----END PGP SIGNATURE-----