Re: [Pkg-ocaml-maint-commits] r4635 - in /trunk/packages/ocaml/trunk/debian: cdbs/ocaml-docbase-template.txt cdbs/ocaml.mk changelog control native-archs policy/chapter-progpack.xml policy/ocaml_packaging_policy.xml

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

gildor@users.alioth.debian.org 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.