-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 24 Apr 2012 20:40:39 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120423-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: hol-light - HOL Light theorem prover Closes: 663754 Changes: hol-light (20120423-1) unstable; urgency=low . * Initial release (Closes: #663754) Checksums-Sha1: ae87464cb654c8abdc227b53db6b431e86a99772 2029 hol-light_20120423-1.dsc 45320c33707e22af6af3bfa1c936249a82624d7c 3703879 hol-light_20120423.orig.tar.gz 67729c0731ecbfb33c204c0969622923d8e6dcda 10320 hol-light_20120423-1.debian.tar.gz 12ab49ae21c628a99e3a87f3ed3774cedc318e1e 3633580 hol-light_20120423-1_amd64.deb Checksums-Sha256: 56b9271a2b3ca6c7f79d03c47cfb697dce424d46729a2e76841d2117c0ad2b12 2029 hol-light_20120423-1.dsc d98bc3a924f96014303d126b6a0d9b181eca013304c216000626c76fe449b9b7 3703879 hol-light_20120423.orig.tar.gz 457b80917b2d3301fb305a174d76c3de9d15d7007021bad9fb7d627abea7d341 10320 hol-light_20120423-1.debian.tar.gz 49c35a58521aaa9c6c787fa40687d4e91cf45fce4e2399a6c652f345bdf9a40b 3633580 hol-light_20120423-1_amd64.deb Files: f3fcb6fbff1260275c027f7c8cd37229 2029 math optional hol-light_20120423-1.dsc 752293089a203687c98cb3414795da00 3703879 math optional hol-light_20120423.orig.tar.gz 808d78a3b9a3c07d20d84d28862057ee 10320 math optional hol-light_20120423-1.debian.tar.gz 44b6dd1219f30a64c57a42ea49d75109 3633580 math optional hol-light_20120423-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPmYl3AAoJEHhT2k1JiBrT2kMP/At6mvCh+PRmi71N2YDl2iLW /9UWcHn9XkEqobuCwWfnKG2yd98lCtLVfF8Gx4l81by7akzTvhj0d00xc0lumb+q za5bHxcZ3Nga11wrk9LYDfyw9+4shKgroE2iwP+uClOJJer92QGFkQWu8TVm526H TORryUOSGEt09EnHxH0H0Jhmq+rOayS9EzGO4ip4nijALcqz1N+02AUIV8cQxvj/ VYqh/Oey66pYb2b4ylBgFWajcLIDPBtAcE/cuuX47oFXvv/Qe5FC4jGiezuGP2rP ckd41sStxykimwYl1DXREDP6zlFWjp87WJzDawHHKuhXE2b+YIL4yb6ksXG4o7rv yfDmD0qedNm+YpalTYxNvVKWOBi9hlJZDf787KKOdOohfJNn888Ml3WOCOBxYr2u P3UhqdmlIaE2iJ9kzBXwX4cpuI5w1RH7B7pFRBt6LPNHvZoMyKI6k13EJlnSRAs2 Z/k3RNlNthcSfT8GujO9Xn3V18CMNWxO5yJ+N7rCnTGlL404vtQGdQF5UfZjAyXb ZaMNAy3IL7l5qdtQnGdahFo7lPdJhvLG/1YEQUyANxqesacbqxh2+B38FYln7eIq Xp6F5NutwkDk4B92h6c4ze717xJPaTuCuldpdUnML4g4UxPqgeaFB/xl0jmW9pRK IFy4791rWaeDI3ZUk3mF =iKgR -----END PGP SIGNATURE----- Accepted: hol-light_20120423-1.debian.tar.gz to main/h/hol-light/hol-light_20120423-1.debian.tar.gz hol-light_20120423-1.dsc to main/h/hol-light/hol-light_20120423-1.dsc hol-light_20120423-1_amd64.deb to main/h/hol-light/hol-light_20120423-1_amd64.deb hol-light_20120423.orig.tar.gz to main/h/hol-light/hol-light_20120423.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sviq6-0002y1...@franck.debian.org