paulstretch dbg symbols missing

[Jaromír Mikeš]

2016-10-31 13:00 GMT+01:00 Jaromír Mikeš <mira.mikes at gmail.com>:
> 2016-10-31 11:42 GMT+01:00 Mattia Rizzolo <mattia at debian.org>:

>> This suggestion of mine is totally orthogonal to the issue at hand.
>> Can you share the current state of d/rules?
>
> I just pushed changes of d/rules and d/paulstretch.install files to git

ping ;)

mira