Accepted hol-light 20120602-1 (source amd64)
-----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-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@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