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 CBC8A7F0BA for ; Wed, 1 Feb 2017 10:25:46 +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=212.227.17.13; 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.17.13; 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.17.13; 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=3A8LOKchELqeUpow/A5UZ+Lp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76r8ywAkXT6L1XgUPTWs2DsrQf2raQ7f6rADdYqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LW1/pTQbi1MhSGhevV1JxyzqUPWrMZFr5FlL/MexwHF6kBUfO?= =?us-ascii?q?BOwGpuIxrHnhDy4e+/8YRvtj9MvPY58sdGV+P2cvJrHvRjED06PjVtt4XQvh7Z?= =?us-ascii?q?QF7X6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B4AQAJqZFYhg0R49RdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAmBCY5bnguINoINKoV4gkZAFwEBAQEBAQEBAQEBEgEBAQgLCwodL4IzGYJ?= =?us-ascii?q?5JIFRCYltAQmuV4szDBcPhVqKeYIADIMNBYkFklaBUwKFEo1oh2eGRgKKXIglI?= =?us-ascii?q?QNtdB4UhQ+BbXQBiBwBAQE?= X-IPAS-Result: =?us-ascii?q?A0B4AQAJqZFYhg0R49RdHQEFAQsBGAEFAQsBhAmBCY5bngu?= =?us-ascii?q?INoINKoV4gkZAFwEBAQEBAQEBAQEBEgEBAQgLCwodL4IzGYJ5JIFRCYltAQmuV?= =?us-ascii?q?4szDBcPhVqKeYIADIMNBYkFklaBUwKFEo1oh2eGRgKKXIglIQNtdB4UhQ+BbXQ?= =?us-ascii?q?BiBwBAQE?= X-IronPort-AV: E=Sophos;i="5.33,319,1477954800"; d="asc'?scan'208";a="258352027" Received: from mout.kundenserver.de ([212.227.17.13]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Feb 2017 10:25:46 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue101 [212.227.15.183]) with ESMTPSA (Nemesis) id 0MWRp4-1cxeOA3L10-00Xe17; Wed, 01 Feb 2017 10:25:44 +0100 Received: from e130 (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 10117DC05D; Wed, 1 Feb 2017 10:25:44 +0100 (CET) Message-ID: <1485941134.4686.34.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: omake@lists.ocaml.org Cc: caml-list Date: Wed, 01 Feb 2017 10:25:34 +0100 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-fdgU++iNnRshs1GpUjN7" X-Mailer: Evolution 3.18.5.2-0ubuntu3 Mime-Version: 1.0 X-Provags-ID: V03:K0:EAcPMwsWhfgzQWat3Rc5ONXs+18Xy2Bv0F3p7LNIaXbBCkT+aPA fzDFqaZelPloe7FQfNqR3ZIxyyCSmVJJerLicklWMamVrFYTINrj7cinL/otTFAOxeZYZhL YHkF08NinUzyHvuJhHMO+H0uLvh7Iz8cxZFTz0SIWGEAs2DsLW6L0Fcc5DonM2hClqOMNlk k4eRWIuk76g9Ouf/ud+Zw== X-UI-Out-Filterresults: notjunk:1;V01:K0:7GQ+8QOTYhU=:ezSPAdog4U0tk6Cr3CS+hu E98n1ZSN6K0jWNsUssqRgCVKkJXfvqiW11QSLTeXTmOp9LZ+F3uXd0+SRrvdDjYSlqqTEvT2R x9j2qDyG5K6GtORdAYPdszgIN8HjS5c5e4PNj4o3kfYInGRiJoia1W6RqAfpCby+CCRiSiDm5 wA0uhHPmcxYn6usBIU587slt/lxL4iBdnBkHQUZ+jKDA6kyCPZhPMD7LxrqRI6iYleifYpd0j ta4zAzFmnlFIw0cnzFnzrsOtiEZGTrVKdEVVebn3QsEjB58pkaH/L8NPuP5VkW/EZcihGgKAT jYandz23O8RuOd7ZWorHRAFQi8yPsECZHmpKh7Uc87XDj2R9oiaWkkH53RpD2aNVie+teaPCk mEtGkZboaTCB1xUg16FVtx8EwLr4rgAsaHD9ZT0A2cjT65iA+Sfla/1xeID6FLrU5w81dSNEC rOFXXN8NM6sAedxSpSRLCLRgdN6i+71L1Uh/yVk6PMik3FkaRO09qKsyW/iox6eYknuO7s3C5 YrXw9jJaF/QviSWlQ9ZZZZHOqcsVIqN+GlWTGo3VjBpcMNVs2flb0auWQH3/xw0e5QpedjzCk 4wx8+WQZAKeJtd/Ph+bFyZ1q6i/QGjY9SMYRxHyFv+RKXLMSJKPfGLT9cXMWZOQeOjQK8vnEG yEBij13Nbx6mcegsj3/HKCFHZoMkVsvRTjCD4JefXXZBtS93Cw4pjPzhjGNv/ZDJeQbA= Subject: [Caml-list] [ANN] omake-0.10.2 --=-fdgU++iNnRshs1GpUjN7 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Hi, it is my pleasure to announce omake-0.10.2. This is mainly a bug fix release: =A0- fixing build of omake on bytecode-only system =A0- (again) fixing "rm -rf" on Windows =A0- omake defaults now to the C compiler used by OCaml =A0- building the omake documentation is now optional =A0 =A0(even if hevea is installed - could be non-working) =A0- fix inotify on Linux (for omake -P). Note that it is =A0 =A0still not working on Mac. =A0- fix recognizing case-insensitive filesystems on Mac =A0- fix the OCamlPackage macro when a pack is created =A0 =A0and no pack-level mli file is present =A0- omake now ignores the env vars PREFIX, BINDIR and =A0 =A0LIBDIR at install time The new homepage is now http://projects.camlcity.org/projects/omake.html.=A0 See there for all the other links. The opam package will be updated soon. The old homepage omake.metaprl.org is no longer updated (I don't have=A0 access, and don't know how to take it down). 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 ------------------------------------------------------------ --=-fdgU++iNnRshs1GpUjN7 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 v2 iQEcBAABCAAGBQJYkamOAAoJEAaM4b9ZLB5T0jEH/3eLxK9L+mNSwZUL3QjgK8uz Sir5AIk86cTZErN+wcvVmtoc4gel0pWCH9ZWMbqCjXkkyFvckUnatjOh5mC8UuqG 9RzCO2bZCvWVA4LfuKLRLW+RNPcnc8ioEW8G0H/Vpggyabr5J74vhSiUTKGn4muI qBa9ToDQLtQ7R9Lu50g6obeMOiX1gLahxccz7cZ+dEDnB11OQ3qjosSesjK+jemK YAWXLqBasl37GZ1TDbfx7QuTGBLguTetU3ZIDNa+cE0O7FiVsARCs08KudVeo5UH OVVKhSTMODbXss+zIV3FpNUZBEZBZXDYKXxDY1SU2NFbTlNidTFvQr3Gj1b2RGk= =R+Lx -----END PGP SIGNATURE----- --=-fdgU++iNnRshs1GpUjN7--