Processed: setting package to why-examples libjessie-ocaml-dev libwhy-coq why, tagging 524054

To: "Mehdi Dogguy" <Mehdi.Dogguy@pps.jussieu.fr>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (libwhycoq for {524054})
Subject: Processed: setting package to why-examples libjessie-ocaml-dev libwhy-coq why, tagging 524054
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 20 Apr 2009 21:48:03 +0000
Message-id: <[🔎] handler.s.C.12402639358517.transcript@bugs.debian.org>
In-reply-to: <1240263930-3569-bts-dogguy@pps.jussieu.fr>
References: <1240263930-3569-bts-dogguy@pps.jussieu.fr>

Processing commands for control@bugs.debian.org:

> #why (2.18.dfsg-3) UNRELEASED; urgency=low
> #
> #  * Make a long description for libwhy-coq, closes: #524054.
> #
> package why-examples libjessie-ocaml-dev libwhy-coq why
Ignoring bugs not assigned to: why-examples libjessie-ocaml-dev libwhy-coq why

> tags 524054 + pending
Bug#524054: libwhy-coq: the long description isn't really descriptive
There were no tags set.
Tags added: pending

>
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: calendar_2.01.1-5_i386.changes ACCEPTED
Next by Date: Processing of pkglab_1.4-1_i386.changes
Previous by thread: calendar_2.01.1-5_i386.changes ACCEPTED
Next by thread: Processing of pkglab_1.4-1_i386.changes
Index(es):
- Date
- Thread