-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20130511-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/hol-light.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
Build-Depends: camlp5 (>= 6.0.4), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0)
Package-List: 
 hol-light deb math extra
Checksums-Sha1: 
 fec413b1b6a40214af08b94244bae1e7ec479e9a 4098565 hol-light_20130511.orig.tar.gz
 99e44d6f93f0148de206cfc0817b8cbf6b710100 8481 hol-light_20130511-1.debian.tar.gz
Checksums-Sha256: 
 b94332aafb2fb9b962922ac75f5f78cff6b23e878261cf3d4857600e87e83634 4098565 hol-light_20130511.orig.tar.gz
 b7da775e0ea6df8662212e53e48c6c55d5f834e5269cfafdbf109302c7032859 8481 hol-light_20130511-1.debian.tar.gz
Files: 
 61965788de94b0144f2cc7bb9674bac2 4098565 hol-light_20130511.orig.tar.gz
 d78bc9942b25371a848ce00555c0e4ae 8481 hol-light_20130511-1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJRo0aIAAoJEHhT2k1JiBrTcygQALsSBcfgsIk21IUlFYlbZ4k7
FL8fPka4VW3gwDUV8g40HOxC6P7Sw4F6U0MKwz1pQfoDhxCjb0sRSQU45STymkPq
QmD6omLKyo3J9dKkS8J85h+MMfg63Wfr0bDSLqCHBjR+iOeApE9KPeWggrwLsa3v
wM++QcZk7oVCoKL6MhEvp4JeMyN9fuRfCR1WdyiCmuE3b5Lg0c2xBj28lYeSyAX6
pF2wSpH8XAZ2XdEZgvSkTkZQ2EQnFwfsSYNSL+MGYEmxC+1NLI+9zJA9NB1r7NGL
L1eZKEho/0xxKN3jRtKkN06HhacU/8MqqguxON4KxzmFs42608vu/JOg5ycYikaZ
fBmticRD5nb8b6hulsGiq6w1c3NXY5s/H6fJ5236hAfATGkV/6eY7jSsCGkfwuY6
KrpVoP8RvHaI1z2/6gkieFp5M2XVRgda3nAtK19zzI6/Jtny1gCbx6uCAJJj25h9
2RaJF8Wc6yp8O7WBpDn6+wAiPPlKmAPlQM1VM6JshM0+tJZ1LI/9VvtZkMZeS01g
h9nIhsvfkFIUWozWm8NBY8NDjiKmUnP5oPFrQhv1W7uCREZI0uOsnNX5Oh6TGdq8
JMr3qWsFQ6W+K2N7q8FS2KiqGQyOvQ/0Jd5Y9WMf8TqcJigTkif3DZJ9u6iKsH6J
VUC27JYneB5ZyxzkOMs7
=JOo6
-----END PGP SIGNATURE-----