From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 8B8067ED7A for ; Fri, 14 Sep 2012 19:59:40 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.184; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of andre@digirati.com.br designates 187.73.32.184 as permitted sender) identity=mailfrom; client-ip=187.73.32.184; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@mta112.f1.k8.com.br designates 187.73.32.184 as permitted sender) identity=helo; client-ip=187.73.32.184; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="postmaster@mta112.f1.k8.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIBAK9vU1C7SSC4nGdsb2JhbABFhge1eyIBAQEBAQgLCQkUJ4JKHQEBODQCJgIiDQE7iBYJp21ug0IBBY86BoEhjT2CDYESlniETGCMYQ X-IronPort-AV: E=Sophos;i="4.80,423,1344204000"; d="scan'208";a="173248266" Received: from mta112.f1.k8.com.br ([187.73.32.184]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Sep 2012 19:59:39 +0200 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id 2ABFB80178 for ; Fri, 14 Sep 2012 17:59:35 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta112.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 47Ue2oszOITD for ; Fri, 14 Sep 2012 17:59:35 +0000 (UTC) Received: from [10.7.5.14] (unknown [10.7.5.14]) by smtpz.f1.k8.com.br (Postfix) with ESMTPA id DB569803AA for ; Fri, 14 Sep 2012 17:59:34 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.5.2 smtpz.f1.k8.com.br DB569803AA DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1347645574; bh=ULBmk6ylugydsGJY3e/46Qd1o5gQ186Ne+zGdLddg0k=; h=Subject:From:To:Date; b=PjJi/gRkw2FcpM5mZsZo5Pdcu6L4FR9Or6PBSCv9zTQremr92hiP0j4I6tZpDhG5k O1+9Y7EescApsXSpINfWRLHT8F4Evzbc6xBPf4VD33H8K3hAMUOAgbQSMZJ1oAo5Ts DwNwH2OuZfq5OaEozK9F0NH9S/w/K3tEWSGzWKgk= Message-ID: <1347645580.13892.16.camel@andre> From: Andre Nathan To: caml-list@inria.fr Date: Fri, 14 Sep 2012 14:59:40 -0300 Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.3-0ubuntu6 Content-Transfer-Encoding: 7bit Mime-Version: 1.0 Subject: [Caml-list] [ANN] OCaml-SPF 1.0.0 Hello I'm happy to announce the availability of OCaml-SPF 1.0.0, a library that provides OCaml bindings to libspf2[1]. The module allows SPF (Sender Policy Framework) verifiers to be written in OCaml. Github repostory: https://github.com/andrenth/ocaml-spf Forge download: http://forge.ocamlcore.org/frs/?group_id=317 ODB package page: http://oasis.ocamlcore.org/dev/view/spf/1.0.0 Best regards, Andre [1]http://www.libspf2.org/