Processed: That bug is fixed

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 702898 4.0.1-2
Bug #702898 [libfplll-dev] libfplll-dev: Missing libfplll.a
Marked as fixed in versions fplll/4.0.1-2.
> --
Stopping processing here.

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