Processed: Re: Bug#723045: binnmu: dolfin 1.2.0+dfsg-1

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 dolfin
Bug #723045 [release.debian.org] binnmu: dolfin 1.2.0+dfsg-1
Bug reassigned from package 'release.debian.org' to 'dolfin'.
Ignoring request to alter found versions of bug #723045 to the same values previously set
Ignoring request to alter fixed versions of bug #723045 to the same values previously set
> found -1 1.2.0+dfsg-1
Bug #723045 [dolfin] binnmu: dolfin 1.2.0+dfsg-1
There is no source info for the package 'dolfin' at version '1.2.0+dfsg-1' with architecture ''
Unable to make a source version for version '1.2.0+dfsg-1'
Marked as found in versions 1.2.0+dfsg-1.
> retitle -1 dolfin: FTBFS on several architectures
Bug #723045 [dolfin] binnmu: dolfin 1.2.0+dfsg-1
Changed Bug title to 'dolfin: FTBFS on several architectures' from 'binnmu: dolfin 1.2.0+dfsg-1'
> severity -1 serious
Bug #723045 [dolfin] dolfin: FTBFS on several architectures
Severity set to 'serious' from 'normal'

-- 
723045: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723045
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems