From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E6D4E8239C for ; Wed, 6 Dec 2017 21:29:06 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AIAU9Sx/YnReRuP9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0e0cTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47TeVDInX2z8TNXXzy3dU8s?= =?us-ascii?q?fry0ScbuiJG83uW2vpnSeBkA0DG0ZLc3KBStsS3QsNMXiM1sMPB1ghzCq35Mfe?= =?us-ascii?q?lKgG9lO1+Xtw37+9278ZBk6Std/fQs651uS6L/Kos1V7AQNyghN3gw7cvt/U3C?= =?us-ascii?q?SwWIznQRSGlTiQZPBxDA5Rf8GJv85Hip/tFh0TWXaJWlBYs/Xi6vuuIyEEfl?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CsAgBFUihah0rASNldHgEGDIQjA20nh?= =?us-ascii?q?AKZG4FXNo4DiwcHAyOKbkMUAQEBAQEBAQEBARIBAQEIDQkIKC+COCQBgm8yGWg?= =?us-ascii?q?CXwEMBgIBAQWKHgELp2MRgSaCJ4pWDAEWD4NSggpUgxQLhhuEVT2CYwWKRY56i?= =?us-ascii?q?T6BDnIDgkaCK4ECkByJDgWHTQKNAYEQiEKBOjZIgShMJBQ6gikJCYJQgXR3AYl?= =?us-ascii?q?sAQEB?= X-IPAS-Result: =?us-ascii?q?A0CsAgBFUihah0rASNldHgEGDIQjA20nhAKZG4FXNo4Diwc?= =?us-ascii?q?HAyOKbkMUAQEBAQEBAQEBARIBAQEIDQkIKC+COCQBgm8yGWgCXwEMBgIBAQWKH?= =?us-ascii?q?gELp2MRgSaCJ4pWDAEWD4NSggpUgxQLhhuEVT2CYwWKRY56iT6BDnIDgkaCK4E?= =?us-ascii?q?CkByJDgWHTQKNAYEQiEKBOjZIgShMJBQ6gikJCYJQgXR3AYlsAQEB?= X-IronPort-AV: E=Sophos;i="5.45,369,1508796000"; d="asc'?scan'208";a="304301432" Received: from mout.kundenserver.de ([217.72.192.74]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 06 Dec 2017 21:29:06 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue101 [212.227.15.183]) with ESMTPSA (Nemesis) id 0LbItu-1elboZ23uU-00kyJL; Wed, 06 Dec 2017 21:29:05 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C3212DC05D; Wed, 6 Dec 2017 21:29:04 +0100 (CET) To: caml-list , ocamlnet-devel@sourceforge.net From: Gerd Stolpmann Message-ID: Date: Wed, 6 Dec 2017 21:28:54 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="CWKK5QVE5ptP2aWTqTXO3hJc2RNUrqlTS" X-Provags-ID: V03:K0:X0Q1rVrs2ciKjZKVVt3EFPlYINr1i7m/cIukbMx5t2kn4uTjAdO b3Cqn1eXlBvuyuz+qKB+Kd7dORLXaTZm/pAtGUCa55fdhEkuFGZee4ThXyQbLEzbySv485j /SVzgTPqgejfYRl0ouMJM0p2getJ/Sa39gjH8afKBDBEK/YkAFD26v/siQ/VvOSqSjflMR2 +rurLBVBRn6S1VyDBz+lQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:3cqhD9byyY8=:9jv6QCCBbx2D3Z+AxZzlhz QxdSYDtVc3KQ+uV38uCnu/feA+QflLs7UW1uMtraWwgqb3LKPw4OVuUyG04jl0Oof+2vfKgws +tZpFSWGVjkraCJjiFjnxif57CxhNTg1rcx7SnlyzuNptn9pE5LZzBKJzrFwCFgCx/gx/3+8d u5LWVH7GSX5KQN2+ArlFheGkVOrmKwvZD4hQmOo2nmMzkVV7mOJgh+r74G0BYT2Rw2Em5+LXR sH9UQco4anYu2hb6YxFOKoMCm9io7Oa7guLVAQI5rUgJEBnyB3vQMSkIFdhfRf7y7KSoEeGf0 1B2dPXpx+w/AVeZw23LnWRWuFrXW2BsM3kEqnhwZpwP4GfHdtkTHrl64DhQ3ixnaJ/Gm1XxHN CG6VmWfyVyf24ld1oAp20n4hiQPkm68acM0bn40zv1T5to61KnRaWO6rLOE51+qZv0FiXssil RIH3HQ9UZIqVoAguMcBvOmKIxvf1HSphMgldDUYLHXpZle2HJKWqkVn2dlmm+IRRaNakWJV9u oWxOzRCvmQGtYF3VtGMg3TJoXO6KE3FvKeoc61s+1TkmKpC+RmKXSBSKdv19YiyyVeeb84ZyB 7cokkn6oVk7AgY+lmKKoWPdgNcIuVK7s+qZblxoOwoMpxXFFFta/GkqgSdIgOhwCdArbJS0cZ FcP47nFTXgL/qO529qhHN1W+VPhI0d+vFHJ9ySkcJd3gVI4TxjfGSTAe+QTYkVU5A4wIg9FcF v2gLuF6I+HpDFQwTLpWtNGpbaBYXEP0OADMrYQ== Subject: [Caml-list] [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 To: caml-list , ocamlnet-devel@sourceforge.net Message-ID: 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 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 ------------------------------------------------------------ --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--