Bug#624533: [mingw32-ocaml] please provide mingw-w64-ocaml

2011-10-08 Thread Stephen Kitt
Hi, On Fri, Apr 29, 2011 at 12:20:17PM -0500, Romain Beauxis wrote: > Thank you for this very good report and for trying. I will make sure > that I take this in consideration for the next upload. I was about to file a similar bug (as maintainer of mingw-w64 rather than a user of mingw32-ocaml) wh

Bug#624533: [mingw32-ocaml] please provide mingw-w64-ocaml

2011-04-29 Thread Romain Beauxis
Thank you for this very good report and for trying. I will make sure that I take this in consideration for the next upload. Actually, if you are interested in maintaining the package, I would be pleased to add you to the uploaders. Romain 2011/4/29 Török Edwin : > Package: mingw32-ocaml > Versio

Bug#624533: [mingw32-ocaml] please provide mingw-w64-ocaml

2011-04-29 Thread Török Edwin
Package: mingw32-ocaml Version: 3.12.0+debian2 Severity: wishlist --- Please enter the report below this line. --- The current mingw32-ocaml uses the old gcc-mingw32 package. In unstable we have gcc-mingw-w64 lately which can build both win32 and win64 binaries, and is based on a more recent GCC (