Bug#980023: petri-foo: FTBFS with GCC 10

[Bastian Germann]

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.