maude does not build on 32-bit architectures

[Nilesh Patra <npatra974@gmail.com>]

Hi,

Maude(3.1) package in Debian fails to build on 32-bit arches with a common error: "fileOutcomes.cc:87:37: error: conversion from ‘Int64’ {aka ‘long long int’} to ‘const mpz_class’ is ambiguous"

The full logs can be found here for i386[1], armel[2], armhf[3] and mipsel[4]

[1]: https://buildd.debian.org/status/fetch.php?pkg=maude&arch=i386&ver=3.1-1&stamp=1604156507&raw=0
[2]: https://buildd.debian.org/status/fetch.php?pkg=maude&arch=armel&ver=3.1-1&stamp=1604157359&raw=0
[3]: https://buildd.debian.org/status/fetch.php?pkg=maude&arch=armhf&ver=3.1-1&stamp=1604157360&raw=0
[4]: https://buildd.debian.org/status/fetch.php?pkg=maude&arch=mipsel&ver=3.1-1&stamp=1604161469&raw=0

Please consider fixing this, or let us know if it is no longer compatible to build on 32-bit arches.

Kind regards

Nilesh