Processed: fixed 815725 in 12.6.3-4, notfound 815725 in 12.6.3-4

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 815725 12.6.3-4
Bug #815725 [src:trilinos] trilinos: FTBFS on non-amd64 64-bit architectures
Marked as fixed in versions trilinos/12.6.3-4.
> notfound 815725 12.6.3-4
Bug #815725 [src:trilinos] trilinos: FTBFS on non-amd64 64-bit architectures
No longer marked as found in versions trilinos/12.6.3-4.
> thanks
Stopping processing here.

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