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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2E1B37F734 for ; Tue, 22 Sep 2015 07:50:41 +0200 (CEST) IronPort-PHdr: 9a23:TgrqDRfOXDv+iGigvqp4Sq+SlGMj4u6mDksu8pMizoh2WeGdxc+5Yh7h7PlgxGXEQZ/co6odzbGG7+a7CCdRsd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDuvcaCKFQYzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9Er1dhaU/nYXTkkRlxNJBUCFsEC7Dd/NtX6winRnRiqtEMHpTLZ+EWCv47hqTlztjGIAPDc89Enalstqi6Edph+98Vg3yIfRZMSRNeFiVqLbZ9ITA2RbDehLUCkUSK24aJEOBuxJBedTr434qloDt1H2UQeoA/nuwzkOnn793ak/3uUsCynDzRA9GpQCvSKH/53OKK4OXLXtn+HzxjLZYqYThG7w Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=florian.pichlmeier@mytum.de; spf=None smtp.mailfrom=florian.pichlmeier@mytum.de; spf=None smtp.helo=postmaster@mailout1.lrz.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of florian.pichlmeier@mytum.de) identity=pra; client-ip=129.187.255.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian.pichlmeier@mytum.de"; x-sender="florian.pichlmeier@mytum.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of florian.pichlmeier@mytum.de) identity=mailfrom; client-ip=129.187.255.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian.pichlmeier@mytum.de"; x-sender="florian.pichlmeier@mytum.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailout1.lrz.de) identity=helo; client-ip=129.187.255.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian.pichlmeier@mytum.de"; x-sender="postmaster@mailout1.lrz.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CaAABv6wBWnIf/u4FdFoNiaYJkqXePfngBDYF/hXUCgTs4FAEBAQEBAQEBEAEBAQEBCAsJCSEugh2CBwEBAQIBAQwXOwIOEAsJAhgCAgkdAgJFAhAGARISiAcDCggNmUSdK49DA4RwDCCBIoVRg3eBBoRaOoJpgUMFhXwMj10BgRuDdYdzghiGaZIfAh8BAYRDcQEBAQGJaQEBAQ X-IPAS-Result: A0CaAABv6wBWnIf/u4FdFoNiaYJkqXePfngBDYF/hXUCgTs4FAEBAQEBAQEBEAEBAQEBCAsJCSEugh2CBwEBAQIBAQwXOwIOEAsJAhgCAgkdAgJFAhAGARISiAcDCggNmUSdK49DA4RwDCCBIoVRg3eBBoRaOoJpgUMFhXwMj10BgRuDdYdzghiGaZIfAh8BAYRDcQEBAQGJaQEBAQ X-IronPort-AV: E=Sophos;i="5.17,571,1437429600"; d="scan'208";a="178797541" Received: from mailout1.lrz.de ([129.187.255.135]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 22 Sep 2015 07:50:40 +0200 Received: from lxmhs65.srv.lrz.de (localhost [127.0.0.1]) by mailout1.lrz.de (Postfix) with ESMTP id 3nKsDw0DX1z1xw4; Tue, 22 Sep 2015 07:50:40 +0200 (CEST) X-Virus-Scanned: by amavisd-new at lrz.de in lxmhs65.srv.lrz.de Received: from mailout1.lrz.de ([127.0.0.1]) by lxmhs65.srv.lrz.de (lxmhs65.srv.lrz.de [127.0.0.1]) (amavisd-new, port 10002) with ESMTP id y1QkkvHNyW0P; Tue, 22 Sep 2015 07:50:39 +0200 (CEST) Received: from andromeda1.ze.tum.de (andromeda1.ze.tum.de [129.187.39.15]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mailout1.lrz.de (Postfix) with ESMTPS id 3nKsDv0Wwrz1xvX; Tue, 22 Sep 2015 07:50:38 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable From: "Florian Pichlmeier" To: "=?windows-1252?Q?T=F6r=F6k_Edwin?=" , caml-list@inria.fr In-reply-to: <56007A50.9050007@etorok.net> References: <56007A50.9050007@etorok.net> <20150921211906.77427.82608@magellan1.ze.tum.de> (sfid-20150922_001918_169221_4094C58F) Date: Tue, 22 Sep 2015 05:50:38 -0000 Message-ID: <20150922055038.80172.8494@andromeda1.ze.tum.de> Subject: Re: [Caml-list] Opis source code Hi Edwin, thats perfect, thanks a lot FLorian T=C3=B6r=C3=B6k Edwin wrote: > On 09/22/2015 12:19 AM, Florian Pichlmeier wrote: >=20 > > Hi, > >=20 > > i am looking for the source code described in the paper=20 > > "Opis: Reliable Distributed Systems in OCaml" > >=20 > > According to one of the authors the source code got lost > > due to a hardware failure. Maybe someone on this list > > has downloaded the code prior to this and want to share=20 > > it. That would be really great. > >=20 > >=20 >=20 > The wayback machine has the literate source code as PDF, unfortunately no= t the .tar.gz though: > http://web.archive.org/web/20111030100930/http://perso.eleves.bretagne.en= s-cachan.fr/~dagand/opis/opis.pdf >=20 > Best regards, > --Edwin >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 >=20 >=20