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 7DB0A7FF13 for ; Fri, 4 Mar 2016 14:49:49 +0100 (CET) IronPort-PHdr: 9a23:7xY6Th1FgTcf6MxdsmDT+DRfVm0co7zxezQtwd8ZsegTKfad9pjvdHbS+e9qxAeQG96LtLQb1aGL7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZvpnL3us7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqAQWD8vNmRw4MzwqTHCSxGO7z0SSDNFvABPBl3q4Qv2FqzttS/is+N73mHOPMv4Spg7VC6uqrx3TxvwjS4BMXg1/TeE2YRLkKtHrUf59FREyInObdTNOQ== 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=212.227.126.135; 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=212.227.126.135; 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=212.227.126.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BwAADRkdlWlYd+49RdhAxtiDWEd5sNikqHNQENgWkXCocjOBQBAQEBAQEBARABAQEBBwsLCSEvgi2CcIFiEwmIHQEJnmGefQiFH4d5hDwLQIEnBYdaj0eBJAKEOIgKgU1ghncEhU8ChyOHLx4BAYF4DFKBUWkBiSEBAQE X-IPAS-Result: A0BwAADRkdlWlYd+49RdhAxtiDWEd5sNikqHNQENgWkXCocjOBQBAQEBAQEBARABAQEBBwsLCSEvgi2CcIFiEwmIHQEJnmGefQiFH4d5hDwLQIEnBYdaj0eBJAKEOIgKgU1ghncEhU8ChyOHLx4BAYF4DFKBUWkBiSEBAQE X-IronPort-AV: E=Sophos;i="5.22,535,1449529200"; d="asc'?scan'208";a="205841542" Received: from mout.kundenserver.de ([212.227.126.135]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Mar 2016 14:49:49 +0100 Received: from office1.lan.sumadev.de ([188.110.5.208]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0Mhqzr-1aGAMJ3AY7-00MthU for ; Fri, 04 Mar 2016 14:49:48 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 46783DC05D for ; Fri, 4 Mar 2016 14:49:48 +0100 (CET) Message-ID: <1457099387.13827.112.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: caml-list Date: Fri, 04 Mar 2016 14:49:47 +0100 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-hLsXJN57WBxDkdE/7D9n" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:WZAl+Pr8oYQltlrr4I2bOvFTO0tVD61HR2WZShA9LXPnzejK006 TRvmWdca6qPuWXlsVmR5mtDg5eEzuvp0/BSvECQQCrKFToq0MICPnaCAtYZDI5kopDHCZ9V ZEvIXXJwtb0J6dPT4xoxqIn6q1pfZ9i0F39V+435/sLry9PFVnJ1EYTVIYmwdp829nzrRy+ 6xgTnllh1eW6DrWBBP/7Q== X-UI-Out-Filterresults: notjunk:1;V01:K0:Xea5yQwIiRw=:+7KHRzbqeN5MPMKvBo2DDw sNJ/cioVaMEtUq6YFuv9EEV7iVjMWsHwxLbeoO76dvgQQ/PFmkhhzOFbEdEj6TaTaqvjnmOLe SETi5v0k89xxxlDTiD0t8zR7KzVKeEqfVNtDtq8Gj9V6GPBxkj+bCCC6lNsB7Kr7gPtOxOa/w 1+OtAgQKlVCO/WsGTXQlu3mTWhG3k+Oezc3YxxGc+YUk8f43+s9Ql6loCbMoKD0tkQeLl8tzz 58lsNOSjwI/+BY9uoEsxHyGKJm7SOlNQvOxg0uIpA+r0dh9Y7tRJFOyS37Egu2A7k41nuV4G1 +LEoP8WpVRnDEyH4OPcoph3WReCx8k9GeBKzbq8ufDmfAfQMsBIa2RPul7FfQgbxW+Dp9oswU dFmnAwlulVUWYRuhs0kSXs29Bmu6FzZFrZ+XDonaNWmoM2pbkJh7SkUTB4eou+XQVELmXD+Ia GLtiDqohzSq5Ssa9qAxkvwakgW/j3W6QHV/q9k0Sy65FEWbh/plhARmX+4V2yadirbqFdV5rt IIq4Acunpty5BNbQzDq2L3JrVNXDLHUlTVXDt9W7hQza+AAVYQeQffFIcjFaiFSmqMXNk7HXf reAM2/otK/n/gNnZih4JvhVXMTjlS8sRuSKKgmmiep+lznHFc7l9xqtrN2C+9XJuJPz4gJ+++ Pz7sGEDIcwBlFkIBkX1Q3ktxT7jJEYfqCAXnD7HGDHCxI4P++T1fjS7z6vNwUU+77k5E= Subject: [Caml-list] [ANN] xstrp4-1.8.2 --=-hLsXJN57WBxDkdE/7D9n Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable The xstrp4 library has also been ported to use -safe-string. Yet, it is still a camlp4 preprocessor. http://projects.camlcity.org/projects/xstrp4.html 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 ------------------------------------------------------------ --=-hLsXJN57WBxDkdE/7D9n Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJW2ZJ7AAoJEAaM4b9ZLB5TIDYH/jApE5fjmwLgnvwAKITylSnb QHWKCrx7vVZfEiIOvanJD1jaLc0anI+A8k+bVVGi6C7Yk4S2Xbh19BtCOIFneZkM U+UCRTihlX/UzlI6G874zbO7tIXRlFNj4pnlnWV9LHAvB9Juqa+bCFFWiri1MC+I KC7A70qRBDhgcbJnVZKcFWqHs1xNKUWUxqQU17Fyke8diZvN2/g/FxlBWI7x6ahU PAS2+dNZX3OFEHnbMrLNUuxAuc9Pc2KiKhLMalUS7M7pQ9cOVP5ZU721izG6vrtm iZotFP5ue9g03ToWiYelNWviw0bdBK6pl0ZWacYjDPb6aAk1p/Xi8bq7oe5X2rE= =OY0l -----END PGP SIGNATURE----- --=-hLsXJN57WBxDkdE/7D9n--