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