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