-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 17 May 2013 13:54:42 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130511-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 Closes: 680494 Changes: hol-light (20130511-1) unstable; urgency=low . * new upstream version revision 162 from 2013-05-11 * fix typo in package description (Closes: #680494) * set prioity to extra * omit new elc file from package * adapt copyright info * add new patch include-compiler-libs for OCaml 4 compatibility * bump to standards version 3.9.4 * improve debian readme Checksums-Sha1: cd564d8f801378c25f3ed1907c5d433d5d2ae93d 2023 hol-light_20130511-1.dsc fec413b1b6a40214af08b94244bae1e7ec479e9a 4098565 hol-light_20130511.orig.tar.gz 99e44d6f93f0148de206cfc0817b8cbf6b710100 8481 hol-light_20130511-1.debian.tar.gz be2ca3a8dfefe1f728fc6e632528a4fd403e265d 4016756 hol-light_20130511-1_amd64.deb Checksums-Sha256: b85b8d8a3f8ff339b6ec486c3223fe2844e2d10ee2a0adfb3fc2d7681e483634 2023 hol-light_20130511-1.dsc b94332aafb2fb9b962922ac75f5f78cff6b23e878261cf3d4857600e87e83634 4098565 hol-light_20130511.orig.tar.gz b7da775e0ea6df8662212e53e48c6c55d5f834e5269cfafdbf109302c7032859 8481 hol-light_20130511-1.debian.tar.gz 25519cd07e56e5af71b134fb91b70aa8b950f0c79b98eeeb14e1474cbcae86de 4016756 hol-light_20130511-1_amd64.deb Files: cf5348d9986ae9453f10416d9cdaa28b 2023 math extra hol-light_20130511-1.dsc 61965788de94b0144f2cc7bb9674bac2 4098565 math extra hol-light_20130511.orig.tar.gz d78bc9942b25371a848ce00555c0e4ae 8481 math extra hol-light_20130511-1.debian.tar.gz c7a04f49595debac8053da320ef5f6a5 4016756 math extra hol-light_20130511-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRo0aRAAoJEHhT2k1JiBrTUWUQAJhPeJLZzvqqWEqZsc314RFE XyvF2cjMr7PK1JbM412OLTDyCNHNtQ+cDl5ihx9M4J/KEOtonxh9jqt3xJwINblC Lu1Hu1X3Kcbhj8TkniVrQLhcd2xo8zlaoJWyt7PuIY7yi6xXgMwUHYncMTTyxNIl ZqsyJRxXM3r5hev8v1ce8r06UT4ezZDpMBl4Qh3lorCmBNc/wa7Wt/8syJvN9GuU NnCkOIKTVLt/RdGjRD3MKZHIiQ5kTObYCqUkRqBlvC9zpK+8lunH4hm3gJuNLWpq S+f8HQIfLzaDkJmzgEKiHuaGfSQTmGljBD2nQqrdrxbHCuNDDjnDiTF3/Xrzgp2J J5XhcFJ+1DZUAzEhxYhaaEHBf19ltB8S4+sJWGTkU8bsGH0s+dkfo4JkL4fehCMa eFGs/QrAVelhRjmqO7TzgDF/ql9BFRjBO7S1H1gDcN3n3x5aA0sYOOooEVKgzTzg tSnQWPCspVlK/AufTEuKG+AM9Pc/dJ9DosUj3Tatz+GAQspfJdFknW+ncCasV/lF DdFyRPxZ2flgmzgOzb+XXBaY2NkkPnECUVLZa5sRyyjJFJRAO8KaLK3GmAD1/4to jV4VdTBiExGMOp4tf6hCOYHHybfLUir52oKRH7jegxV6shzlSUkovQWwK5dh1eKh /+Bpd+NufXNzuem4eobj =mbIF -----END PGP SIGNATURE-----