On Tue, Apr 29, 2014 at 6:31 PM, Emmanuel Bourg <[email protected]> wrote: > > Is this normal? > No, I get a different error. I tried in two different envs. Here is the build output: http://paste.debian.net/96431/
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/CAPqGMfL=TFararJaXFNCVhK-d5h=etvhansscfk_x6s8g9n...@mail.gmail.com

