Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 538398

To: Stephane Glondu <steph@glondu.net>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (coq for {538398})
Subject: Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 538398
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 26 Jul 2009 07:42:04 +0000
Message-id: <[🔎] handler.s.C.124859342632249.transcript@bugs.debian.org>
In-reply-to: <1248593420-1397-bts-steph@glondu.net>
References: <1248593420-1397-bts-steph@glondu.net>

Processing commands for control@bugs.debian.org:

> #coq (8.2.pl1+dfsg-3) UNRELEASED; urgency=low
> #
> #  * Update README.Debian (Closes: #538398)
> #
> package coq-theories coqide coq libcoq-ocaml-dev
Ignoring bugs not assigned to: coq-theories coqide coq libcoq-ocaml-dev

> tags 538398 + pending
Bug #538398 [coq] coq: The description in README.Debian about proofgeneral is old.
Added tag(s) 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: advi 1.6.0-14 MIGRATED to testing
Next by Date: [Karmic transition to 3.11.1] Issue with ocaml-libvirt and ocaml-gettext
Previous by thread: Bug#538398: coq: The description in README.Debian about proofgeneral is old.
Next by thread: [Karmic transition to 3.11.1] Issue with ocaml-libvirt and ocaml-gettext
Index(es):
- Date
- Thread