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

To: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (why for {536104})
Subject: Processed: setting package to why-examples libjessie-ocaml-dev libwhy-coq why, tagging 536104
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 07 Jul 2009 21:27:04 +0000
Message-id: <[🔎] handler.s.C.124700171225205.transcript@bugs.debian.org>
In-reply-to: <1247001702-1333-bts-dogguy@pps.jussieu.fr>
References: <1247001702-1333-bts-dogguy@pps.jussieu.fr>

Processing commands for control@bugs.debian.org:

> #why (2.18.dfsg-5) unstable; urgency=low
> #
> #  * Rebuild against latest Coq package, Closes: #536104.
> #
> package why-examples libjessie-ocaml-dev libwhy-coq why
Ignoring bugs not assigned to: why-examples libjessie-ocaml-dev libwhy-coq why

> tags 536104 + pending
Bug#536104: why: binNMU-unsafe relationships between arch-any and -all packages
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: Processing of jocaml_3.11.1-1_amd64.changes
Next by Date: bin-prot override disparity
Previous by thread: Processing of jocaml_3.11.1-1_amd64.changes
Next by thread: bin-prot override disparity
Index(es):
- Date
- Thread