[Debian-med-packaging] Bug#1067957: FTBFS: error: call of overloaded ‘__gmp_expr?=( time64 t&)=?UTF-8?Q?’ is ambiguous

[Andrey Rakhmatullin]

Source: maude
Version: 3.2-2
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/fetch.php?pkg=maude&arch=armhf&ver=3.2-2%2Bb1&stamp=1711717901&raw=0

In file included from timeManagerSymbol.cc:64:
timeActions.cc: In member function ‘void
TimeManagerSymbol::getTimeSinceEpoch(FreeDagNode*,
ObjectSystemRewritingContext&)’:
timeActions.cc:43:41: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is
ambiguous
   43 |   mpz_class nanoSeconds(timeValue.tv_sec);
      |                                         ^


-- System Information:
Debian Release: trixie/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'unstable'), (500, 'testing'), (101, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 6.7.9-amd64 (SMP w/4 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=ru_RU.UTF-8, LC_CTYPE=ru_RU.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled