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 CF16B7EFC0 for ; Thu, 24 Dec 2015 23:44:53 +0100 (CET) IronPort-PHdr: 9a23:uIYVJhE9W+MzMOTN/690SJ1GYnF86YWxBRYc798ds5kLTJ74os2wAkXT6L1XgUPTWs2DsrQf27SQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0YLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyserAvBzHBS+O/WdUBm4flx4NBwne8Dn7WI3wu230rLw5kGOfPNf/Qr0zQnGu4rlmTDfsiTwbLHgp/WfPkMtygalH5hW7qFY3l4vVeoiaOf1lO6/QY94ebW5ARdpKETxMBJumaIkCBPZHOvxX+drTvVwL+De3AwihANTFXjlagn6+iaEz1eUsFUfMwQEmDdYPmHnOttzpNb4PXKa+zP+bnn34c/pK1GKlu8DzeRc7rKTJBOoofA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BXAACQdHxWm0pWN0pehAxuiFi0dAENgWQigj2DMIFYFAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CMVY1AiYCSRYBGognBAqucJFiAQEIAQEBAR+BAZJHL4EbBZcGhT2IF4FWSoZxDoVSAopHg3QgAQGCaYFkhj0BAQE X-IPAS-Result: A0BXAACQdHxWm0pWN0pehAxuiFi0dAENgWQigj2DMIFYFAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CMVY1AiYCSRYBGognBAqucJFiAQEIAQEBAR+BAZJHL4EbBZcGhT2IF4FWSoZxDoVSAopHg3QgAQGCaYFkhj0BAQE X-IronPort-AV: E=Sophos;i="5.20,475,1444687200"; d="scan'208";a="158391191" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Dec 2015 23:44:52 +0100 Received: from [192.168.0.2] (cpc92878-cmbg18-2-0-cust146.5-4.cable.virginm.net [86.16.52.147]) by smtp.webfaction.com (Postfix) with ESMTP id 2953220B9C31; Thu, 24 Dec 2015 22:44:49 +0000 (UTC) Date: Thu, 24 Dec 2015 22:44:48 +0000 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: OCaml List , "=?utf-8?Q?mirageos-devel=40lists.xenproject.org?=" Cc: matthew.thomas.gray@gmail.com, Raphael Proust Message-ID: X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: [Caml-list] [ANN] Ptime 0.8.0 Hello,=20=20=20 It's my pleasure to announce the first release of Ptime, described by: Ptime has platform independent POSIX time support in pure OCaml.=20=20 It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion=20= =20 with RFC 3339 timestamps and pretty printing to a human-readable,=20=20 locale-independent representation. The additional Ptime_clock library provides access to a system POSIX=20=20 clock and to the system's current time zone offset.=20=20 Ptime is not a calendar library. Ptime depends on the `result` compatibility package. Ptime_clock depends= =20=20 on your system library. Ptime_clock's optional JavaScript support depends= =20=20 on js_of_ocaml. Ptime and its libraries are distributed under the BSD3 lic= ense. Homepage: http://erratique.ch/software/ptime API docs: http://erratique.ch/software/ptime/doc/ As usual feedback on the API is welcome and could still slightly change bef= ore stabilizing on a 1.0.0 release. Thanks to Matt Gray for a suggestion about the system time zone offset API = that led to better handling of unknown timezone offsets in the library (RFC= 3339 has a convention to represent them). Finally my thanks to Rapha=C3=ABl Proust who provided lodging while this wa= s being worked on this summer. Happy 1451606400, Daniel P.S. The package has been tested on Darwin, Linux 32-bit and 64-bit, it hop= efully works on other posix compliant unices out of the box, report if not.= Ptime_clock is not yet supported on Windows. It will be at some point; con= tributions to make that a smaller timestamp are welcome.=20=20