Processing commands for [email protected]:

> # Mon Jul 27 08:03:13 UTC 2009
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> #
> # Source package in NEW: fim
> tags 532261 + pending
Bug #532261 {Done: Michele Martone <[email protected]>} [wnpp] ITP: 
fim -- Fbi IMproved - a scriptable image viewer for the framebuffer, ascii art 
library, and X
Failed to alter tags of Bug 532261: can't find location for 532261.

> # Source package in NEW: coinor-cgl
> tags 509871 + pending
Bug #509871 [wnpp] ITP: coinor-cgl -- Cut Generator Library, a library of 
cutting-plane generators
Added tag(s) pending.
> # Source package in NEW: ode
> tags 534256 + pending
Bug #534256 [ode] provide a variant of libode1 with single precision
Added tag(s) pending.
> # Source package in NEW: ode
> tags 462629 + pending
Bug #462629 [libode0-dev] libode0-dev: Please supply a pkg-config file.
Added tag(s) pending.
> # Source package in NEW: ode
> tags 534177 + pending
Bug #534177 [ode] Please provide single-precision library as well
Added tag(s) pending.
> # Source package in NEW: agda-bin
> tags 537705 + pending
Bug #537705 [wnpp] ITP: agda-executable -- Commandline interface to Agda -- a 
dependently typed functional programming language and proof assistant
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)


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to