Processed (with 1 errors): We are debian-science

To: Lionel Elie Mamane <lionel@mamane.lu>
Cc: Lionel Elie Mamane <lionel@mamane.lu>, brucker@member.fsf.org (owner of 494491 for {494491}), <wnpp@debian.org> (wnpp for {494491})
Subject: Processed (with 1 errors): We are debian-science
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 11 Aug 2008 12:03:08 +0000
Message-id: <[🔎] handler.s.C.12184560849258.transcript@bugs.debian.org>
In-reply-to: <20080811120122.GA25844@capsaicin.mamane.lu>
References: <20080811120122.GA25844@capsaicin.mamane.lu>

Processing commands for controlbugs.debian.org:

> user debian-science@lists.debian.org
Setting user to debian-science@lists.debian.org (was lionel@mamane.lu).
> tag 494491 +field..mathematics
Unknown tag/s: field..mathematics.
Recognized are: patch wontfix moreinfo unreproducible fixed potato woody sid help security upstream pending sarge sarge-ignore experimental d-i confirmed ipv6 lfs fixed-in-experimental fixed-upstream l10n etch etch-ignore lenny lenny-ignore.

Bug#494491: ITP: isabelle -- Generic theorem proving environment
There were no tags set.
Tags added: 

>
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: Bug#494491: ITP: isabelle -- Generic theorem proving environment
Next by Date: Bug#494595: marked as done (ITA: libnet-daemon-perl -- Perl module for building portable Perl daemons easily)
Previous by thread: Bug#299324: ITP: emacs.app -- The GNU Emacs editor on GNUstep
Next by thread: Bug#494684: ITP: vboxgtk - simple GTK frontend for VirtualBox
Index(es):
- Date
- Thread