Bug#856234: upstream patch

[Frédéric Bonnard]

Control: tags -1 patch
Control: forwarded -1 https://github.com/GaloisInc/cryptol/issues/542

--

Hi,

Adrian opened a bug upstream about this issue : https://github.com/GaloisInc/cryptol/issues/542
Upstream committed a fix as Edmund explained : https://github.com/GaloisInc/cryptol/commit/3caa3a8e829ed2ce23cb1a734ecf37f4e74de659
I understand it's done a bit differently than what Adrian proposed.
At least, it compiles on ppc64el.

Regards,


F.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: fix-923592.patch
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20190520/1bade7c9/attachment.ksh>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20190520/1bade7c9/attachment.sig>