Hi, [EMAIL PROTECTED] wrote: > * Drop ia64/arm arches
Maybe should we also drop alpha support? "spiral voice" recently listed a number of ennoying bugs on this arch: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=335578 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=338148 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=345793 (in particular, native compilation of coq fails). Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
