From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q47DHxmg007396 for ; Mon, 7 May 2012 15:17:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsCAITKp0/U4xEIk2dsb2JhbABEoHiSICIBAQEBCQkLCRQDJIIMAQEEAW4LBQsFBhgNIUUSBhMJCAGHbgMGCQeweAOJXYp/hiAEjWMXiRWSHIFUBw X-IronPort-AV: E=Sophos;i="4.75,543,1330902000"; d="scan'208";a="142834435" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 May 2012 15:17:53 +0200 Received: from office1.lan.sumadev.de (dslb-084-059-065-244.pools.arcor-ip.net [84.59.65.244]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis) id 0MW4Oi-1Sgkzh0FkO-00XKvk; Mon, 07 May 2012 15:17:53 +0200 Received: from gps.dynxs.de (localhost [127.0.0.1]) by office1.lan.sumadev.de (Postfix) with ESMTP id 3BBA6C00D0; Mon, 7 May 2012 15:17:52 +0200 (CEST) Received: from 84.107.248.22 (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Mon, 7 May 2012 15:17:52 +0200 Message-ID: In-Reply-To: References: <79dddad4294fbcdb2d408a58bf75ced9.squirrel@gps.dynxs.de> Date: Mon, 7 May 2012 15:17:52 +0200 From: "Gerd Stolpmann" To: "Gabriel Scherer" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.21 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 X-Priority: 3 (Normal) Importance: Normal X-Provags-ID: V02:K0:jv+0u7U0eQEjtznYVxWdBtZF6coUCLOVCnCU1ujEg4d qyCs5cG2yzQfmB+7YPUZsUf5VLhS4i00n9ucAzvlSWp/MlTKg8 Msa/HsAAvAdEAiKZ20ZshFRItyxxWDCxHQe2BR8Tb/o1HtZRdk Jvu0CH1I6jbSOALSdt9j9m7OixVNSPizjWlrpADyQpKsgHFt4l nIWL4BSpU0Ji4OROJ76yxo8Zm7s/jficDULyB/pq9TVZVLnyev It682Lckdcm3oL/5cPIR8bObN22oJfeQC2S2CDUsGJDutnj/0W wqROsiT85Q11QvZesu4zFZhLJ1YIUwringpjc+X5VMcruDaYQS xnqAI1c0Ua4U0yz8CvuHaPUQJoeHN/6CncqJ1cFsvBOPbowYHJ M+BM1taj5m4Ag== Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q47DHxmg007396 Subject: Re: [Caml-list] [ANN] findlib-1.3.0 > Thanks for the good work! > > Just a remark: I have sometimes considered sending a bug report for > findlib (actually each time the bug was in another place), and did not > know where to send them. On the (otherwise excellently polished) > camlcity wepages there is never any mention of a bug reporting > process. No bug tracker, no mailing list, etc. > > What is the recommended process to report issues? Send them to the > caml-list (as is often done), or send them privately to yourself (as I > assume it must also be done)? It would be good if you made that > information available on the webpage. In total there are so few bugs with findlib that a tracker would not be worth it. Most "bugs" turn out as user problem, feature request, or conceptual limitation anyway. So, send these things to me directly. I also updated the projects page with a hint. Gerd > > On Mon, May 7, 2012 at 2:46 PM, Gerd Stolpmann > wrote: >> Hi, >> >> I just released findlib-1.3.0, featuring: >> >>  - Fixes for ocaml-4.00 (especially topfind) >>  - Emitting an error if the configuration file does not exist. >>  - Emitting a warning if the selected toolchain does not exist. >>  - camlp4 is referenced by "+camlp4" in META. >>  - including the sources for the documentation in the tarball. >>  - License change (simplification) for num_top_printers.mli. >>  - Fix ocamlmklib wrapper: processing contracted args (like -L/dir) >>   correctly. >>  - Many wrappers get a new option -passrest instructing to pass all >>   remaining options on the command-line unchanged to the invoked tool. >>  - Prettified -help output. >> >> It covers a lot of bugs or suggestions I got from users, thanks for this >> (even if I sometimes don't find time for a response). >> >> Download, manual, and more information at >> http://projects.camlcity.org/projects/findlib.html. >> >> Gerd >> -- >> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de >> Creator of GODI and camlcity.org. >> Contact details:        http://www.camlcity.org/contact.html >> Company homepage:       http://www.gerd-stolpmann.de >> *** Searching for new projects! Need consulting for system >> *** programming in Ocaml? Gerd Stolpmann can help you. >> >> >> >> -- >> Caml-list mailing list.  Subscription management and archives: >> https://sympa-roc.inria.fr/wws/info/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > -- Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you.