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

Bug#680494: marked as done (Typo in package description)

Your message dated Mon, 27 May 2013 11:50:30 +0000
with message-id <E1Ugvwc-0005jF-Lx@franck.debian.org>
and subject line Bug#680494: fixed in hol-light 20130511-1
has caused the Debian Bug report #680494,
regarding Typo in package description
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.)


-- 
680494: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680494
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: hol-light
Version: 20120602-1
Severity: minor
Tags: patch

Dear Hendrik,

I found a small typo in the package description of hol-light while translating it via the DDTSS. It says "as well as for the Flyspec project", but the project is called Flyspeck[2]. A patch for the control file is included.

Regards,
Erik

[1] http://ddtp.debian.net/ddtss/index.cgi/xx
[2] https://code.google.com/p/flyspeck/

--- control	2012-06-12 07:34:41.000000000 +0200
+++ control.new	2012-07-06 12:57:13.267719215 +0200
@@ -33,5 +33,5 @@
  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 the
+ arithmetic as well as for the Flyspeck project, which aims at the
  formalization of Tom Hales' proof of the Kepler conjecture.

--- End Message ---
--- Begin Message --- 
Source: hol-light
Source-Version: 20130511-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.

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 680494@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: Fri, 17 May 2013 13:54:42 +0200
Source: hol-light
Binary: hol-light
Architecture: source amd64
Version: 20130511-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: 680494
Changes: 
 hol-light (20130511-1) unstable; urgency=low
 .
   * new upstream version revision 162 from 2013-05-11
   * fix typo in package description (Closes: #680494)
   * set prioity to extra
   * omit new elc file from package
   * adapt copyright info
   * add new patch include-compiler-libs for OCaml 4 compatibility
   * bump to standards version 3.9.4
   * improve debian readme
Checksums-Sha1: 
 cd564d8f801378c25f3ed1907c5d433d5d2ae93d 2023 hol-light_20130511-1.dsc
 fec413b1b6a40214af08b94244bae1e7ec479e9a 4098565 hol-light_20130511.orig.tar.gz
 99e44d6f93f0148de206cfc0817b8cbf6b710100 8481 hol-light_20130511-1.debian.tar.gz
 be2ca3a8dfefe1f728fc6e632528a4fd403e265d 4016756 hol-light_20130511-1_amd64.deb
Checksums-Sha256: 
 b85b8d8a3f8ff339b6ec486c3223fe2844e2d10ee2a0adfb3fc2d7681e483634 2023 hol-light_20130511-1.dsc
 b94332aafb2fb9b962922ac75f5f78cff6b23e878261cf3d4857600e87e83634 4098565 hol-light_20130511.orig.tar.gz
 b7da775e0ea6df8662212e53e48c6c55d5f834e5269cfafdbf109302c7032859 8481 hol-light_20130511-1.debian.tar.gz
 25519cd07e56e5af71b134fb91b70aa8b950f0c79b98eeeb14e1474cbcae86de 4016756 hol-light_20130511-1_amd64.deb
Files: 
 cf5348d9986ae9453f10416d9cdaa28b 2023 math extra hol-light_20130511-1.dsc
 61965788de94b0144f2cc7bb9674bac2 4098565 math extra hol-light_20130511.orig.tar.gz
 d78bc9942b25371a848ce00555c0e4ae 8481 math extra hol-light_20130511-1.debian.tar.gz
 c7a04f49595debac8053da320ef5f6a5 4016756 math extra hol-light_20130511-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJRo0aRAAoJEHhT2k1JiBrTUWUQAJhPeJLZzvqqWEqZsc314RFE
XyvF2cjMr7PK1JbM412OLTDyCNHNtQ+cDl5ihx9M4J/KEOtonxh9jqt3xJwINblC
Lu1Hu1X3Kcbhj8TkniVrQLhcd2xo8zlaoJWyt7PuIY7yi6xXgMwUHYncMTTyxNIl
ZqsyJRxXM3r5hev8v1ce8r06UT4ezZDpMBl4Qh3lorCmBNc/wa7Wt/8syJvN9GuU
NnCkOIKTVLt/RdGjRD3MKZHIiQ5kTObYCqUkRqBlvC9zpK+8lunH4hm3gJuNLWpq
S+f8HQIfLzaDkJmzgEKiHuaGfSQTmGljBD2nQqrdrxbHCuNDDjnDiTF3/Xrzgp2J
J5XhcFJ+1DZUAzEhxYhaaEHBf19ltB8S4+sJWGTkU8bsGH0s+dkfo4JkL4fehCMa
eFGs/QrAVelhRjmqO7TzgDF/ql9BFRjBO7S1H1gDcN3n3x5aA0sYOOooEVKgzTzg
tSnQWPCspVlK/AufTEuKG+AM9Pc/dJ9DosUj3Tatz+GAQspfJdFknW+ncCasV/lF
DdFyRPxZ2flgmzgOzb+XXBaY2NkkPnECUVLZa5sRyyjJFJRAO8KaLK3GmAD1/4to
jV4VdTBiExGMOp4tf6hCOYHHybfLUir52oKRH7jegxV6shzlSUkovQWwK5dh1eKh
/+Bpd+NufXNzuem4eobj
=mbIF
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: