Processing commands for cont...@bugs.debian.org:
> fixed 720994 1:1.0-7
Bug #720994 {Done: Felix Salfelder <fe...@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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/handler.s.c.13791084639147.transcr...@bugs.debian.org
