On 2016-12-30 16:36, Enrico Tassi wrote: > Hello, both packages did fail to build because the buildd pick coq > 8.6-3. Now that 8.6-4 is built (and installed) on mips64el, the build > of these two packages should work. > > gb ssreflect_1.6.1-2 . mips64el > gb aac-tactics_8.6.1-1 . mips64el Done. -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurelien@aurel32.net http://www.aurel32.net