[ANN] ocamlnet-4.1.5

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--CWKK5QVE5ptP2aWTqTXO3hJc2RNUrqlTS
Content-Type: multipart/mixed; boundary="9Uj7Kg95n3TH5iHM4sJL3ikFudaTsjhU9";
 protected-headers="v1"
From: Gerd Stolpmann <[email protected]>
To: caml-list <[email protected]>, [email protected]
Message-ID: <[email protected]>
Subject: [ANN] ocamlnet-4.1.5

--9Uj7Kg95n3TH5iHM4sJL3ikFudaTsjhU9
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Content-Language: en-US

Hi,

there is now ocamlnet-4.1.5 available:

- compatibility with recent versions of the nettle library

- the cmxs files are now installed and you can load ocamlnet as plugin
 =C2=A0(most work from Jaap Boender)

See the project page for download, documentation, a detailed changelog,
and the mailing list:
http://projects.camlcity.org/projects/ocamlnet.html

The repository has been moved to
https://gitlab.camlcity.org/gerd/lib-ocamlnet3

opam follows soon.

Gerd

--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    [email protected]
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------



--9Uj7Kg95n3TH5iHM4sJL3ikFudaTsjhU9--

--CWKK5QVE5ptP2aWTqTXO3hJc2RNUrqlTS
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEDD3jJ6xcCmoYHoi4Bozhv1ksHlMFAlooUwYACgkQBozhv1ks
HlOuswf/apVYqklKZDbwuMWZmkZ0Ro6+4UYFse8Jmk9Rdt+fl7mAudsQpUFFhr/5
cAhwJKs1R3xLQrsb06PW+0EQXblf7c1NAFmHZGpyZW2gtLactxzsWGCt9b6K/fBH
MzODmruR2CVve5UwKoyKHxVBtg6Koz60WVozTG2R+M8fWvQtmEHzKgf7Y+D7mh+e
LXykkRhLeTODFaAhdfjbskLiNVWNaz9MQyc8o0GsfgjoN40c7DFeaNSirSk13DVi
ndG8DSraJfTmBMT/+jpOLRPVhiS3pthefjV92NsM6o41Iu8Lefacby1DUzhNMAwy
KCBHBSMHvnD64sjvdAnaCbO8tzPtDw==
=yo3C
-----END PGP SIGNATURE-----

--CWKK5QVE5ptP2aWTqTXO3hJc2RNUrqlTS--