Processed: was never a bug
Processing commands for control@bugs.debian.org:
> fixed 720994 1:1.0-7
Bug #720994 {Done: Felix Salfelder <felix@salfelder.org>} [libppl0.12-dev] libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h
Marked as fixed in versions ppl/1:1.0-7.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
720994: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=720994
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: