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 841AB7EE35 for ; Tue, 22 Mar 2016 11:20:31 +0100 (CET) IronPort-PHdr: 9a23:kyqB6RBx70iABVDYjL3QUyQJP3N1i/DPJgcQr6AfoPdwSP7/pcbcNUDSrc9gkEXOFd2CrakU26yP7+u5BSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbnusMSPKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4zVX4JkxwAHQ/DpDvgU5v8qC/9qaIp1y6BIszwCK5xUxy94q0tRBK+23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=goswin-v-b@web.de; spf=Pass smtp.mailfrom=goswin-v-b@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.17.11 as permitted sender) identity=mailfrom; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; 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@mout.web.de) identity=helo; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CUAQA5G/FWkwsR49RerS2KK4d7gXCGDQKBQTkTAQEBAQEBAQEQAQEBAQcNCQkhL0ESAYFZghUBAQQ6TwsYCSUPBSiIRQEVBLhwH4UYAQsBHYpihQiCX4IrBZdXjXqBWQGHVQqFWI8GIgOCURyBNokvgUABAQE X-IPAS-Result: A0CUAQA5G/FWkwsR49RerS2KK4d7gXCGDQKBQTkTAQEBAQEBAQEQAQEBAQcNCQkhL0ESAYFZghUBAQQ6TwsYCSUPBSiIRQEVBLhwH4UYAQsBHYpihQiCX4IrBZdXjXqBWQGHVQqFWI8GIgOCURyBNokvgUABAQE X-IronPort-AV: E=Sophos;i="5.24,376,1454972400"; d="scan'208";a="209434206" Received: from mout.web.de ([212.227.17.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Mar 2016 11:20:31 +0100 Received: from frosties.localnet ([134.3.242.84]) by smtp.web.de (mrweb101) with ESMTPSA (Nemesis) id 0MeBPe-1aQCi81WOM-00PvqG for ; Tue, 22 Mar 2016 11:20:30 +0100 Received: from mrvn by frosties.localnet with local (Exim 4.84) (envelope-from ) id 1aiJQL-0006YG-Ky for caml-list@inria.fr; Tue, 22 Mar 2016 11:20:29 +0100 Date: Tue, 22 Mar 2016 11:20:29 +0100 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20160322102029.GA24768@frosties> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:SOakgDaQOGnBdVQVyKX2Nt1hHH2X6LZqT8mM807SlREoFgk4HPd elyPBI+iY9MdPXdIR2VEy76JSdwYgmwR9eFHtr8pIFFGQuHTQNEW/EhkcKkY4QrO2Xrl309 YYsYxubS3/zHTaeKW7TEpVYvdMoIS+5yq0G4sbsSrpu6cYASP2AlKo2kUdjMZdosLVaLOpZ eyTRRzO56P0OXjliaXJUQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:vMTevvdER18=:EMNj8BTjUkqsGEXDXM42I/ wk+1Y6fneiqJjx9Ha6c/L8nIiUzuV1jW3beMdlGqacx1u77DsEkdc7UC+vXRiYC/HRX6mC/Sf +LntKyplJuncQ8BBo+7lMwtkz440oE/H2jNpIXpgnMH8UGFJ/djJF+IlbjMk2sGREc1+97Vff l4V7aXf68o10eRvbCwTKuItEZud3v6+6y63X2bA4ctSUDypA4AzpEPOZcAtInTgZ9oN75/rVC veBRX02G0zqcBsB8OyWqcICc891qCjsRaGLnedLM9SkKhz/MLKNmh0QU7Zrnr2L1GHq/+ulg3 sAAx62BtjmzeUwCpAxau9arel9CnWfUTOgfV5ehtRfIxxGPLw0bfryiNNN3GM4N9tiS1FGE8x Z87X4owMDeO/DEDb92O4SHqME05Zr1HB7SMl7HVfBE0OZS2Kam+GtjJYUIzV1lrdEPVZbnxSm o9ad5OVhpNARf9KUc1qZ4r7RE0OqIgZyLmgOdLX7n6OT27bb5vRz2abjR6cIamnJy1SsJ/ghl yZe6NOqPs+7evGU9bpAf76x0nOgj5INn7sUXl5fxz34ylwE7fjfZBLHrR9ETbzlIap2GhQbGX EtDiIgYbEiUmDpptieOocruXj79+Hzz+ttC2x2siQTGiSP0PmOIw2Ol1MSa0GxvrS/rZwLDgG 0WFwjfNbXpOThbKKG626p657ZJStLKLro8f2KMe1Iz2VoFXSJMDtDx9hL49WJtoQl5xgEYCkd ZSZB+veAffFFbakVufv5WFVY22gdq4f0lYH8mQWzaHdKF+EndZ1Jco/7YZg= Subject: Re: [Caml-list] ANN: ocaml-ctypes 0.5.0, a library for calling C functions directly from OCaml On Mon, Mar 21, 2016 at 07:42:05PM +0000, Jeremy Yallop wrote: > I'm pleased to announce release 0.5.0 of ocaml-ctypes, which is now > available on OPAM. Does anyone have an example of using ctypes with stub generation using oasis? MfG Goswin