Your message dated Sun, 07 Apr 2024 11:07:36 +0000
with message-id <e1rtqn6-0076uk...@fasolo.debian.org>
and subject line Bug#1067957: fixed in maude 3.4-1
has caused the Debian Bug report #1067957,
regarding FTBFS: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is
ambiguous
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1067957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067957
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: maude
Source-Version: 3.4-1
Done: Nilesh Patra <nil...@iki.fi>
We believe that the bug you reported is fixed in the latest version of
maude, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1067...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nilesh Patra <nil...@iki.fi> (supplier of updated maude package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 07 Apr 2024 16:28:11 +0530
Source: maude
Architecture: source
Version: 3.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Med Packaging Team
<debian-med-packag...@lists.alioth.debian.org>
Changed-By: Nilesh Patra <nil...@iki.fi>
Closes: 1067957
Changes:
maude (3.4-1) unstable; urgency=medium
.
* Team Upload.
* New upstream version 3.4 (Closes: #1067957)
* Refresh, update patches
* Drop patch file
* Update Builddep from libncurses5-dev => libncurses-dev
(former is a virtual package)
* Bump Standards-Version to 4.6.2 (no changes needed)
* Remove copyright for superfluous file
Checksums-Sha1:
250e0c8f7b749f5e31ef7711821d820d27e6f6a8 1387 maude_3.4-1.dsc
fdd386d89b978a5193aacde26dd6cf883d1f360a 2660916 maude_3.4.orig.tar.gz
097237c3d76b0684126108440fbbeb6655ba49a7 6544 maude_3.4-1.debian.tar.xz
9ffc04f6d2744686754642346a6bafacd5b97959 6883 maude_3.4-1_source.buildinfo
Checksums-Sha256:
8612b0072ed70f01b992528ce4a18f76c96aab52b264f475c7420ecd4b57a55f 1387
maude_3.4-1.dsc
2175845809a1dfcf0da4d4adf709cea4b933859d3d37e012b4edb09f97514fca 2660916
maude_3.4.orig.tar.gz
91cd6595e04bb058cdc6154cd86931dfd2ec88d6dc207744fa5f3f2df2b36764 6544
maude_3.4-1.debian.tar.xz
b4fc1988fcf65b4ba0add7d0dab72f59618e385b633fd133d7217f635d92b0e4 6883
maude_3.4-1_source.buildinfo
Files:
b5bf1b95c73d39781a97482170561b0f 1387 science optional maude_3.4-1.dsc
97c92148c42d6b78efc645d64f00e910 2660916 science optional maude_3.4.orig.tar.gz
0421b2f2d2854aa2d3d3cd0acdd4b824 6544 science optional
maude_3.4-1.debian.tar.xz
bfa4e93dc509ca214d09cbdd980e0260 6883 science optional
maude_3.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iHUEARYIAB0WIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCZhJ8wAAKCRAqJ5BL1yQ+
2kLbAP4y5OnBa6kxFk+YBJ57lGilrViQ5AZUW1ED1Mh5WOJ7JgD9EtjYA9j826Bq
nJGNoRaO4PcoWIKkTTtqr6dimydG+wU=
=RzXW
-----END PGP SIGNATURE-----
pgpdT77eAsOOC.pgp
Description: PGP signature
--- End Message ---
