From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 044B17EE64 for ; Wed, 8 May 2013 13:02:17 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ygrekheretix@gmail.com) identity=pra; client-ip=209.85.220.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrekheretix@gmail.com"; x-sender="ygrekheretix@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ygrekheretix@gmail.com designates 209.85.220.42 as permitted sender) identity=mailfrom; client-ip=209.85.220.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrekheretix@gmail.com"; x-sender="ygrekheretix@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f42.google.com) identity=helo; client-ip=209.85.220.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrekheretix@gmail.com"; x-sender="postmaster@mail-pa0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMFAKcsilHRVdwqm2dsb2JhbABRgz6CdYkgsnUBAgEBAgF7Fg4BAQEBAQYLCwkUKIJgBgEbHgMSECk1EQEFAYguAQMOAQyhC4J2jD2CfoRmChknDViHUgEFDI4KgS+DPwOJF4VliC0BgSaOKj+EQQ X-IPAS-Result: AiMFAKcsilHRVdwqm2dsb2JhbABRgz6CdYkgsnUBAgEBAgF7Fg4BAQEBAQYLCwkUKIJgBgEbHgMSECk1EQEFAYguAQMOAQyhC4J2jD2CfoRmChknDViHUgEFDI4KgS+DPwOJF4VliC0BgSaOKj+EQQ X-IronPort-AV: E=Sophos;i="4.87,632,1363129200"; d="scan'208";a="13587181" Received: from mail-pa0-f42.google.com ([209.85.220.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 May 2013 13:02:15 +0200 Received: by mail-pa0-f42.google.com with SMTP id bj3so1251425pad.1 for ; Wed, 08 May 2013 04:02:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:date:from:to:subject:message-id:x-mailer:mime-version :content-type:content-transfer-encoding; bh=LsIuvlBl5oF4TI1zdnOO7jRXBMbbvuiPpvKimlBRMZk=; b=Tii1HBj765KTtBZ5gT7u5tCXMTwfc5WG9VyFIcY+41KWtv7xCYRgteH3H+SWP+RMbk 3Ys6ZT6RXiec+V10EiTQJ9eoH8EZRI+zUUWmGhOL+UYiEOODvBz1bCpcFkN4U9FWut4T /uR1Y5hjQedkYSJTeW/1/pbnKidCie3zEkvHqnFQzqNQUH/ABkoA3fNZOwHhScCbo/Wx zNWftJlXj5W6bcXcjjXIlfTTOYITKmJYVVPRPl8+2SYMO7QBatg93TXFyiRg6UO1FWtH AiQ1otqmVUHAPwWqGhUJX0Vc2KXOLcAdiKCRLuqY1j7+3dBAkBb2Q6wNH3ug2y1M2N3X ryWQ== X-Received: by 10.68.130.34 with SMTP id ob2mr7000213pbb.134.1368010934058; Wed, 08 May 2013 04:02:14 -0700 (PDT) Received: from kiwi.local.tld ([182.55.248.104]) by mx.google.com with ESMTPSA id sq9sm7447665pab.5.2013.05.08.04.02.11 for (version=TLSv1.2 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 08 May 2013 04:02:13 -0700 (PDT) Date: Wed, 8 May 2013 19:02:10 +0800 From: ygrek To: caml-list@inria.fr Message-Id: <20130508190210.8a0cfc8be47be02689f4386f@gmail.com> X-Mailer: Sylpheed 3.3.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: [Caml-list] [ANN] extlib 1.5.4 Hello, New release of extlib is out - fixing installation problems only. Get it as usual at http://code.google.com/p/ocaml-extlib/ -- ygrek http://ygrek.org.ua