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.
Package: why3
Version: 0.88.3-1
Severity: grave
Tags: patch
Justification: renders package unusable
User: ubuntu-de...@lists.ubuntu.com
Usertags: origin-ubuntu bionic ubuntu-patch autopkgtest
Dear Ralf,
The 0.88.3 version of why3 has been blocked for a while from being included
in the upcoming
2 matches
Mail list logo
