[Debian-med-packaging] Processed: Re: Bug#1067957: [[maude-bugs]] [EXTERNAL] Re: Maude fails to build on armhf

[Debian Bug Tracking System]

Processing control commands:

> severity -1 wishlist
Bug #1067957 [src:maude] FTBFS: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is ambiguous
Severity set to 'wishlist' from 'serious'

-- 
1067957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067957
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems