Processing commands for cont...@bugs.debian.org: > forwarded 902618 > https://gforge.inria.fr/tracker/index.php?func=detail&aid=21687&group_id=999&atid=4012 Bug #902618 [src:why] why: needs porting to why3 version 1.0.0 Set Bug forwarded-to-address to 'https://gforge.inria.fr/tracker/index.php?func=detail&aid=21687&group_id=999&atid=4012'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 902618: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902618 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems