Back to hol-light PTS page

Accepted hol-light 20130511-1 (source amd64)



-----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-----