Hi Steve, On Fri, Apr 06, 2018 at 09:00:44PM -0700, Steve Langasek wrote: > The attached patch fixes the trivial portability issue in why3, and as seen > at http://autopkgtest.ubuntu.com/packages/w/why3 the tests are now passing > for 0.88.3 on all architectures where they previously passed. Thanks a lot for the patch. Applied and forwarded to upstream -Ralf.