Back to hol-light PTS page

Accepted hol-light 20120530-1 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 31 May 2012 10:12:15 +0200
Source: hol-light
Binary: hol-light
Architecture: source amd64
Version: 20120530-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 (20120530-1) unstable; urgency=low
 .
   * new upstream version revision 141 from 2012-05-30
   * remove patches that have been applied upstream:
       adapt-holtest-for-debian and pa-j-makefile-fix
   * adapt debian/copyright
   * simplify debian/rules
   * add patch holtest-dependency-hint
Checksums-Sha1: 
 07e017c9ed395f5647109428850a97bae39ef56f 2026 hol-light_20120530-1.dsc
 0e732dd6c2f77d8aa89aaf9d911ebf09f268cf66 3814901 hol-light_20120530.orig.tar.gz
 938438083b1c4985c849085fd6937f22ff3ee7c1 8190 hol-light_20120530-1.debian.tar.gz
 29d565be45e42418281cc25d4b47cb47a47655f8 3741736 hol-light_20120530-1_amd64.deb
Checksums-Sha256: 
 dc7ced42e44b86e8615ac63613c0e51b3df8df6c0b9f953fc6cdf38b551d0a9a 2026 hol-light_20120530-1.dsc
 ceacb91d3615d2ed2a29b0370ccf7a32f2c6826a1424078f787832e17b7e2c6f 3814901 hol-light_20120530.orig.tar.gz
 09715bf94c69b916ac5cd864df2d09700ada3fcfbf88640120d97ce983d67974 8190 hol-light_20120530-1.debian.tar.gz
 502c36566aa125a4e1f75625aeb088e7acb71d7a7aca43b2a2990911f4d380e4 3741736 hol-light_20120530-1_amd64.deb
Files: 
 f08b8d4b4ed0e322433ee8e982765cf8 2026 math optional hol-light_20120530-1.dsc
 54644c664c8bea7e9342485a372b6c7d 3814901 math optional hol-light_20120530.orig.tar.gz
 1ca813b82773c8e47aceb7bb39e78161 8190 math optional hol-light_20120530-1.debian.tar.gz
 a12a2e080809064f88840e093934d039 3741736 math optional hol-light_20120530-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJPzGzeAAoJEHhT2k1JiBrTBuAP/0u8sMGwDT8E3dR7o0v/pu4J
Qz8MlvVpjU0QYK2fg26mH79q70kaboY82jRLOm4ZIlpmA6AfRbbJuXBisd5kkPgG
DMuqgqkI4h/VRVMPyCxQ/xFZkcw6XAIXab6it8xZeHcduumNJotLT1iRH9LupOH5
o4ZxrcYXqBPgBJ3214s6rStShPEcz5oHX8jkGE77VOpK9GiTTBWfCNRc6NT0atqw
/qXq7C07DK8lrK5v2eZdvPzuyMrbalp8/+f4ugkcdNmMnwNzDFlAihMn5MaPHADs
ObszfOg4Fn8U/8cXaOhuRACJPAIpjwm2R38+puA+zG5xAD0+sEXVX125pot94vsy
Y9wC0orOFIr1bKLxh4sYSlFAM5CHgNro3a4S6Dj2Ske8H+Ldi+/wUBCg0CbXARMC
IuSpe1L/VBi58QgWQ24Ed8L3gDLxQ9sEteP7YPpzNse2N6xYm+K9P60Q9RWv+jig
b37cM83p5dpbUwABoSwnseRKDGzwTGcfJFSlQ23zHOP+jodOPsulkCkbKO6jit2t
d1fIcs7Qsu7sWQxo4CmpJsYoG973AC5UM0mpHiW6MOyKzcI0tYMaa9RGkDnOj2yK
wN7VelC57tefnVPzhK4c6ABKQJSWJb1vBGIu/GMJsyTodqXJB+Wlns56Lhrz/PTR
M30lKxjXpm7fJQOz0nIu
=4Zua
-----END PGP SIGNATURE-----


Accepted:
hol-light_20120530-1.debian.tar.gz
  to main/h/hol-light/hol-light_20120530-1.debian.tar.gz
hol-light_20120530-1.dsc
  to main/h/hol-light/hol-light_20120530-1.dsc
hol-light_20120530-1_amd64.deb
  to main/h/hol-light/hol-light_20120530-1_amd64.deb
hol-light_20120530.orig.tar.gz
  to main/h/hol-light/hol-light_20120530.orig.tar.gz