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 9CA417EC6E for ; Fri, 20 Dec 2013 12:20:01 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.bauer@lmsintl.com) identity=pra; client-ip=195.245.231.151; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.bauer@lmsintl.com"; x-sender="christoph.bauer@lmsintl.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christoph.bauer@lmsintl.com designates 195.245.231.151 as permitted sender) identity=mailfrom; client-ip=195.245.231.151; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.bauer@lmsintl.com"; x-sender="christoph.bauer@lmsintl.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail1.bemta5.messagelabs.com) identity=helo; client-ip=195.245.231.151; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.bauer@lmsintl.com"; x-sender="postmaster@mail1.bemta5.messagelabs.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4DAJ0ntFLD9eeXemdsb2JhbABZgkd8VaZlklGBGhYOAQEJDQkJPIIsLV4BDHQmAQQbiAAJoiKOFgEBmkCOYYNbgRMEnwKMZYFvgik X-IPAS-Result: Aj4DAJ0ntFLD9eeXemdsb2JhbABZgkd8VaZlklGBGhYOAQEJDQkJPIIsLV4BDHQmAQQbiAAJoiKOFgEBmkCOYYNbgRMEnwKMZYFvgik X-IronPort-AV: E=Sophos;i="4.95,520,1384297200"; d="scan'208,217";a="49864168" Received: from mail1.bemta5.messagelabs.com ([195.245.231.151]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Dec 2013 12:19:55 +0100 Received: from [85.158.139.35:24038] by server-15.bemta-5.messagelabs.com id 4E/E9-08490-AD724B25; Fri, 20 Dec 2013 11:19:54 +0000 X-Env-Sender: christoph.bauer@lmsintl.com X-Msg-Ref: server-4.tower-179.messagelabs.com!1387538317!27126989!1 X-Originating-IP: [217.110.84.214] X-StarScan-Received: X-StarScan-Version: 6.9.16; banners=-,-,- X-VirusChecked: Checked Received: (qmail 22653 invoked from network); 20 Dec 2013 11:18:38 -0000 Received: from unknown (HELO KAIP-EXHUB01.lmsintl.com) (217.110.84.214) by server-4.tower-179.messagelabs.com with RC4-SHA encrypted SMTP; 20 Dec 2013 11:18:38 -0000 Received: from KAIP-EXMSG01.lmsintl.com ([10.2.100.91]) by KAIP-EXHUB01.lmsintl.com ([10.2.100.90]) with mapi; Fri, 20 Dec 2013 12:18:36 +0100 From: Christoph Bauer To: caml-list Date: Fri, 20 Dec 2013 12:18:30 +0100 Thread-Topic: OCaml 4.00.1 for HP-UX and AIX Thread-Index: Ac79dEKL/1qGruCPQ7mkzFJ3FmkpCg== Message-ID: <9A8556989A396A408C72088C69EDE56308BD747EBA@KAIP-EXMSG01.lmsintl.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: de-DE, en-US Content-Type: multipart/alternative; boundary="_000_9A8556989A396A408C72088C69EDE56308BD747EBAKAIPEXMSG01lm_" MIME-Version: 1.0 Subject: [Caml-list] OCaml 4.00.1 for HP-UX and AIX --_000_9A8556989A396A408C72088C69EDE56308BD747EBAKAIPEXMSG01lm_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Dear list, there is an update for the ports of OCaml 4.00.1 to AIX and HP-UX. This is = the last update of both ports. http://ocaml-ports.geschenker.net/ocaml-hpux.html http://ocaml-ports.geschenker.net/ocaml-aix.html Enjoy, Christoph Bauer --_000_9A8556989A396A408C72088C69EDE56308BD747EBAKAIPEXMSG01lm_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Dear list,<= /o:p>

the= re is an update for the ports of OCaml 4.00.1 to AIX and HP-UX. This is the= last update of both ports.

<= /o:p>

http://ocaml-ports.geschenker.net/ocaml-hpux.html=

http://ocaml-ports.geschenker.net/ocaml-aix.html<= /o:p>

Enjoy,

Christoph Bauer

<= /html>= --_000_9A8556989A396A408C72088C69EDE56308BD747EBAKAIPEXMSG01lm_--