Accepted hol-light 20120423-1 (source amd64)
-----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-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@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