Processed: closing 518741

To: Samuel Mimram <smimram@debian.org>
Cc: debian-bugs-closed@lists.debian.org (bug 518741 done for {518741}), Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (coqfloat for {518741})
Subject: Processed: closing 518741
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 16 Mar 2009 10:50:16 +0000
Message-id: <handler.s.C.123719639027565.transcript@bugs.debian.org>
In-reply-to: <1237196382-1233-bts-smimram@debian.org>
References: <1237196382-1233-bts-smimram@debian.org>

Processing commands for control@bugs.debian.org:

> close 518741 1:8.2-1.2-1
Bug#518741: coq-float: FTBFS: Error: Attempt to save an incomplete proof
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug marked as fixed in version 1:8.2-1.2-1, send any further explanations to Lucas Nussbaum <lucas@lucas-nussbaum.net>

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

Prev by Date: the new "ocaml" section
Next by Date: Bug#519916: ocaml: shouldn't be kfreebsd-amd64 also native architecture
Previous by thread: ocaml-res_3.1.1-2_amd64.changes ACCEPTED
Next by thread: Bug#519916: ocaml: shouldn't be kfreebsd-amd64 also native architecture
Index(es):
- Date
- Thread