[Debian-ha-maintainers] Processed: found 678489 in 3.0.0-4, user debian-qa at lists.debian.org, usertagging 678489 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 678489 3.0.0-4
Bug #678489 {Done: Colin Tuckley <colint at debian.org>} [mixmaster] mixmaster: Fails to install
Marked as found in versions mixmaster/3.0.0-4.
> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was debian at abeckmann.de).
> usertags 678489 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 682191 20120718-1
Bug #682191 {Done: Kilian Krause <kilian at debian.org>} [fex] fex: fails to upgrade from squeeze: mv: cannot stat `/usr/share/fex/lib/fex.pl': No such file or directory
There is no source info for the package 'fex' at version '20120718-1' with architecture ''
Unable to make a source version for version '20120718-1'
Ignoring request to alter found versions of bug #682191 to the same values previously set
> found 662198 2.4.1-2
Bug #662198 [libcvc3-2-dev,libcvc3-5-dev] libcvc3-5-dev and libcvc3-2-dev: error when trying to install together
There is no source info for the package 'libcvc3-2-dev' at version '2.4.1-2' with architecture ''
Marked as found in versions cvc3/2.4.1-2.
> found 662200 2.4.1-2
Bug #662200 [libcvc3-2-jni,libcvc3-5-jni] libcvc3-5-jni and libcvc3-2-jni: error when trying to install together
There is no source info for the package 'libcvc3-2-jni' at version '2.4.1-2' with architecture ''
Marked as found in versions cvc3/2.4.1-2.
> found 649068 rgmanager/3.0.12-3.1
Bug #649068 [resource-agents,rgmanager] rgmanager and resource-agents: error when trying to install together
The source rgmanager and version 3.0.12-3.1 do not appear to match any binary packages
Marked as found in versions rgmanager/3.0.12-3.1; no longer marked as found in versions rgmanager/3.0.12-3.1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
649068: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=649068
662198: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=662198
662200: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=662200
678489: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678489
682191: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682191
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems