-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 20131026-1b1 Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Standards-Version: 3.9.4 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/hol-light.git Build-Depends: camlp5 (>= 6.0.7), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0) Package-List: hol-light deb math extra Checksums-Sha1: 7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2 33c1a45025499dfceb797bf2f8f3e5220063c350 8687 hol-light_20131026-1b1.debian.tar.gz Checksums-Sha256: 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2 41f0c12995f38f357a44479d090ee8778946f491f4ed6801acbee3ea14f74160 8687 hol-light_20131026-1b1.debian.tar.gz Files: cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2 4d4de94cd81e39d320583050aacde04b 8687 hol-light_20131026-1b1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJS8qG5AAoJEIxPDyvAFXjJz3AP/j8urUcRgE3tpRiLftP3MKTG tzzWt8y1Ezu6orKXy5wKiVhZ4rxcke4kC/CCVqGyfnoAJvZyx9308EqXOI6SU0nZ e8D5zerQkBy8KfxdyfwEBjOmoZ4EyTbB73foscyQiZ2NqlQiUBAfwfe2fi1d5kHv KCLyBtVXrxtWJplmg0sMcOtL6ss1ibySLLy4vS0XOHytQYFRijgtsy6FHCa7SCMU ur2uOaUCaRI88TTTKlT6npT7LHdkMB33TRXrcCzLjyRqqC00wtJ2R0ux1XHc2IRe WgFSUeqO78xbm0JyCx/97OqQMneThcZ0gnGR790Pn6rMvZq46VWBg+aXtmimWEQu WPBVjpcixxyUI4EKMhrdy5Zk/RwUkulHMH+zO/lraa7nLz4GwQMk9F73/xl0Qmn8 aH4ysD2JmAvjU3Bydrm4TGEDJ2kvm0G+tlUdafU8hB+5SzxKWLWxpqQlyRF2ExQT S9jtkIk3wGfK0xgyqoPyBDS3+hJbPhTgOvMHSMmpAroK+ExwwlIEA+7rju0LxVeK vwtu7GIQP9GtfW5Fq2nCOl3Y1A60prbNFv646S8YcVbVe9Nk9a1B+mWKLV+86xuH mpMSeBsLCFiEHZG8gJfz7bgWIKiEkzyFP6HIco2q1K5rcMTcKiyAy/g+wLQZHHhD aw95kTGzoB1gL0TgMtEJ =cksy -----END PGP SIGNATURE-----