Processed: gmp/experimental still doesn't build on x32

Fri Mar 8 02:00:04 UTC 2013

Processing commands for control at bugs.debian.org:

> found 698000 gmp/2:5.1.1+dfsg-1
Bug #698000 {Done: smr at debian.org (Steve M. Robbins)} [src:gmp] gmp: Patch for X32 support
Marked as found in versions gmp/2:5.1.1+dfsg-1; no longer marked as fixed in versions gmp/2:5.1.1+dfsg-1 and reopened.
> thanks
Stopping processing here.

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