[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#663754: marked as done (ITP: hol-light -- HOL Light theorem prover)

Your message dated Sat, 19 May 2012 12:32:54 +0000
with message-id <E1SViq6-0002Y4-G3@franck.debian.org>
and subject line Bug#663754: fixed in hol-light 20120423-1
has caused the Debian Bug report #663754,
regarding ITP: hol-light -- HOL Light theorem prover
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
663754: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=663754
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Owner: Hendrik Tews <hendrik@askra.de>
Severity: wishlist

* Package name    : hol-light
  Version         : 20120312
  Upstream Author : John Harrison
* URL or Web page : http://www.cl.cam.ac.uk/~jrh13/hol-light/
* License         : HOL Light licence
  Description     : HOL Light theorem prover

 HOL Light is an interactive theorem prover for Higher-Order Logic
 with a very simple logical core running in an OCaml toplevel. HOL
 Light is famous for the verification of floating-point
 arithmetic as well as for the Flyspec project, which aims at
 formalizing Tom Hales' proof of the Kepler conjecture. 


The upstream author very much appreciates this packaging
initiative. He is going to provide hints about which svn version
should be packaged (there are no normal releases of HOL Light).

--- End Message ---
--- Begin Message --- 
Source: hol-light
Source-Version: 20120423-1

We believe that the bug you reported is fixed in the latest version of
hol-light, which is due to be installed in the Debian FTP archive:

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



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 663754@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Hendrik Tews <hendrik@askra.de> (supplier of updated hol-light package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


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

--- End Message ---
Reply to: