[ubuntu/saucy-proposed] hol-light 20120602-1build1 (Accepted)

[Colin Watson]

hol-light (20120602-1build1) saucy; urgency=low

  * Rebuild for new OCaml ABIs.

Date: Thu, 09 May 2013 14:58:25 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/saucy/+source/hol-light/20120602-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 09 May 2013 14:58:25 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20120602-1build1
Distribution: saucy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 hol-light  - HOL Light theorem prover
Changes: 
 hol-light (20120602-1build1) saucy; urgency=low
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1: 
 330a706b669bf2b998fc3e862fb8b01e7f9820b9 2106 hol-light_20120602-1build1.dsc
 ecb3753a35fe6a4e26e2cf1de179f971c6a0ccd2 8074 hol-light_20120602-1build1.debian.tar.gz
Checksums-Sha256: 
 fb920d949bac40bae6dcbd6c7028c3e4d903baa6bf2618154c9177bdd6cc039a 2106 hol-light_20120602-1build1.dsc
 184976c1c0083cbcbf913197887eaec0c5f216148632d76718e069edf0a6b8ed 8074 hol-light_20120602-1build1.debian.tar.gz
Files: 
 4054f0f8787dead096fd6605a39ec297 2106 math optional hol-light_20120602-1build1.dsc
 17d2b27485b2e9cabf4d552ad7b84ab8 8074 math optional hol-light_20120602-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBUYurjzk1h9l9hlALAQg4Uw/+ML9OPCQtzHViUwgD0Oj4BEyWvOoCxue8
Z3mf00MdRcR+bFDLyRte1rkUmjD6Wf5fenTxCgn/8EJhTM+4CHTXSiWCxkTnE/Bg
YxnDtBX76z9sCtXv4g8kz+CpMh0kTUwIdc38ionBl31UUBmEulrABe6aT9bQyXMl
qcveh1X8kXMtAfebgHVMbbQ6+eGCp6SQyVgcOMQ4Q6TlddaCxbvdXRb0r0CAbxEY
TOckjvDWLpGxTPg603UUKOAfM0LBHiWL6o2ICVWMQAp3Xi9fZuFB4Q0Wuw2N52Xs
zfth6staSQW3AIYILNHP7bmRHyw77DMM6eoxukAvLV08fDgpUQ6DE1/8LeiJplmb
jDtljtRYigEPkJrlq7Iuxo8tPQ6iUizcV/n/Du6bk+K97TVcfNaI4KJUt/hxsuhh
UG4iJPugdoJT3mhLWa3lTwGAQ+8GThj9jQIXI4w7f4UZa3dvmoyRb/8ANFvbv/js
sh1aeeOkxFvmSxY8z9CElPSfCR8pmsqN8vZG+e1Uqb1gxzCflz2vqceL1Ny7UZCO
FEpJabTUdgkfmKPoUNf8/kboFAJXwuy9M+jSd64kkktj7HC2cf6NG9e5XOLf7RQb
Mem3zzN2lUlgoYcFtOXEMduYMRmZztH6kdIHy3j8FcaKd91U6nKxS374c2+YV127
tD8UZD7wzmM=
=68hJ
-----END PGP SIGNATURE-----