The last release which contained petri-foo was stretch and upstream is going nowhere. I suggest to file a RM bug and if nobody reacts on this I am going to file one in a month.
- Bug#980023: petri-foo: FTBFS with GCC 10 Bastian Germann
- Bug#980023: petri-foo: FTBFS with GCC 10 Bastian Germann
- Processed: Re: petri-foo: FTBFS with G... Debian Bug Tracking System