Bug#573978: libgmp-ocaml: Wrong conversion from int on 64 bits computer

2010-03-16 Thread Jean-Christophe Filliâtre
Hi all, I confirm that I maintain this library when I feel a need for it - that is, when I actually need to use it. I can fix this bug when I have time, or JC can fix it. I already made a fix in my own version but I'm not 100% sure it is ok. I would prefer having David checking and applying

Bug#458267: missing variable OCAMLDEPOPT in configure

2008-01-08 Thread Jean-Christophe Filliâtre
Dear Mehdi, Thanks for reporting this bug. It is now fixed in our development version. Best regards, -- Jean-Christophe Mehdi Dogguy wrote: The problem is in the configure script. It checks if ocamldep.opt exists or not and save the result in $OCAMLDEP. Then, when it comes to ocamldep,