-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 10 Jun 2012 21:59:35 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120602-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: hol-light - HOL Light theorem prover Changes: hol-light (20120602-1) unstable; urgency=low . * new upstream version revision 146 from 2012-06-02 * remove holtest-dependency-hint patch * refresh remaining patches Checksums-Sha1: e3cd1d3d5486c9167998925289d0348cab7c430d 2026 hol-light_20120602-1.dsc 636ebfe299c67d65fc39980622af786f52d0d321 3831362 hol-light_20120602.orig.tar.gz 6edb7e4156679c8292e984b3a811ffb51b51e0ac 7995 hol-light_20120602-1.debian.tar.gz fb122b2c114f041926cad346ca99593cf2d6ea29 3763446 hol-light_20120602-1_amd64.deb Checksums-Sha256: df47462670c7bdae0a7129ddb45f514382a145e53a9ebc210123be141c14fe67 2026 hol-light_20120602-1.dsc fd333f2f8fe0a82d181e0e8e61b0cc5ec68a622cb55003e6daa9703b74bc5f21 3831362 hol-light_20120602.orig.tar.gz d4004c08d6dbc2a034e73eea92cfc0457116d75f335ee0914303fecaed887a31 7995 hol-light_20120602-1.debian.tar.gz 6d6dd15c978fdaca48747d4ec0007422b18db6b0ade72d9808d0e0320b71b7d0 3763446 hol-light_20120602-1_amd64.deb Files: b9729ff198e2a3a3320e7e21df3d0021 2026 math optional hol-light_20120602-1.dsc 9dfb0e9309f7d60fba21d96fcdf026c9 3831362 math optional hol-light_20120602.orig.tar.gz 2ff3844be749776e96f9113383a31165 7995 math optional hol-light_20120602-1.debian.tar.gz f633de4dd5f208a293a3438cc25a7df2 3763446 math optional hol-light_20120602-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJP1tuFAAoJEHhT2k1JiBrT9BgP/1rIRCY6SBARqeE/cW8wQlQ1 EEYW0De2Lg7CFuz2w/2fLxHkGPgTk3NAeVC7+/744fem+yiSU0N9TTYjxwWdTgRP 6otSpuEALpzWX55rO4XSx8gGn8cRdmqkASixA6aFRIkZSHLql8Iirbkrzef9d/Mq C1S3x66NhEja7k+46iryCBAiCYAa7T4bROFzi/cymPMvF1thjhBGsK7qmzH76K/p NvvD1NB5I7JAHvwEIsP8bKtoLjKn1uVzjAVtTJ3r8FnAqr7gdXyWqAlXnV5tghV/ wqcSsezFGtIpYU/RoftHBV9mNdmUlwCDwqC3hFuBD5v9U3xV1BqYRK5NNs/Ylao5 4Hd3uTVN/qq5bQ8YwCzjGQSyCd8z+YLrW/qRK84AJVw0nRwJSu9vNmppDWlwnQR7 ZUYuV0mt1AjE3dI4LYz1V0qi1koc+t8lPd2b3UqUHw0hrHdvJD5+0pIs9YlN8qDx zrl99n1MtO/Y3/A9Ds3jfla3NsODrWx/d7MdLuyAjU1oJWNOud37rhHArn+2l1lS xxg/eJG4SzZRAxLnVurpIbIkOgq4cnvyFrO1qvydNy2hxQcGymEoqsZVcpn+NqAt X+GXW6V1exQcD+HxiGdnqghMcKij/6be1GfL5LncNCAeh2jLJjAAvssd7C3qPVON 5pLyn3m6T8d3god5c+vA =RwYI -----END PGP SIGNATURE----- Accepted: hol-light_20120602-1.debian.tar.gz to main/h/hol-light/hol-light_20120602-1.debian.tar.gz hol-light_20120602-1.dsc to main/h/hol-light/hol-light_20120602-1.dsc hol-light_20120602-1_amd64.deb to main/h/hol-light/hol-light_20120602-1_amd64.deb hol-light_20120602.orig.tar.gz to main/h/hol-light/hol-light_20120602.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sekpe-0005yu...@franck.debian.org