[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please give back ssreflect and aac-tactics on mips64el

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


Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurelien@aurel32.net                 http://www.aurel32.net

Reply to: