Processing commands for [email protected]: > fixed 811860 mcrl2/201409.0-1 Bug #811860 {Done: Juhani Numminen <[email protected]>} [mcrl2] mcrl2: FTBFS with GCC 6: no matching function for call to Marked as fixed in versions mcrl2/201409.0-1. > tags 811860 - buster sid stretch Bug #811860 {Done: Juhani Numminen <[email protected]>} [mcrl2] mcrl2: FTBFS with GCC 6: no matching function for call to Removed tag(s) sid, buster, and stretch. > thanks Stopping processing here.
Please contact me if you need assistance. -- 811860: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811860 Debian Bug Tracking System Contact [email protected] with problems
