Processing commands for [email protected]: > # unconfuse the bts - found+fixed in the same version > notfixed 811860 201409.0-1 Bug #811860 {Done: Juhani Numminen <[email protected]>} [mcrl2] mcrl2: FTBFS with GCC 6: no matching function for call to No longer marked as fixed in versions mcrl2/201409.0-1. > 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
