caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [ANN] findlib-1.9.5
@ 2022-06-12 20:12 Gerd Stolpmann
  2022-06-12 20:17 ` Daniil Baturin
  0 siblings, 1 reply; 2+ messages in thread
From: Gerd Stolpmann @ 2022-06-12 20:12 UTC (permalink / raw)
  To: caml-list

Hi list,

findlib-1.9.5 is out, fixing some scripting errors in the version 1.9.4 
from last week.

For manual, download, manuals, etc. see here:

http://projects.camlcity.org/projects/findlib.html

An updated OPAM package will follow soon.

Gerd

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] [ANN] findlib-1.9.5
  2022-06-12 20:12 [Caml-list] [ANN] findlib-1.9.5 Gerd Stolpmann
@ 2022-06-12 20:17 ` Daniil Baturin
  0 siblings, 0 replies; 2+ messages in thread
From: Daniil Baturin @ 2022-06-12 20:17 UTC (permalink / raw)
  To: caml-list

Thanks for maintaining it!

On 6/12/22 23:12, Gerd Stolpmann wrote:
> Hi list,
>
> findlib-1.9.5 is out, fixing some scripting errors in the version 
> 1.9.4 from last week.
>
> For manual, download, manuals, etc. see here:
>
> http://projects.camlcity.org/projects/findlib.html
>
> An updated OPAM package will follow soon.
>
> Gerd
>

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-06-12 20:17 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-12 20:12 [Caml-list] [ANN] findlib-1.9.5 Gerd Stolpmann
2022-06-12 20:17 ` Daniil Baturin

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).