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 277D07F734 for ; Mon, 21 Sep 2015 23:44:50 +0200 (CEST) IronPort-PHdr: 9a23:LJNjFh9p7Fw9Nf9uRHKM819IXTAuvvDOBiVQ1KB91+scTK2v8tzYMVDF4r011RmSDdmdsKMP07OempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRsiJ3o/vjqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVeD+fr8kZb1eFjUvdW4vt+PxshyWcZWVeHgrf2kJkxwAVwXJ8xD8HZL19yzxv+958CSGOtfxTvYyVCj0vPQjcwPhlCpSb21xy2rQkMEl1K8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=edwin+ml-ocaml@etorok.net; spf=Pass smtp.mailfrom=edwin+ml-ocaml@etorok.net; spf=None smtp.helo=postmaster@mail.etorok.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 62.210.252.135 as permitted sender) identity=mailfrom; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; 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@mail.etorok.net) identity=helo; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CBBQA4eQBW/4f80j5dFoMOVGm8VIMFhXIBAgKBOTsRAQEBAQEBAQGBCYIdgggBAQICQDgCAQ4LGAkTAw8JAwIBAgFFEwgCiC4JtlOFXI9WAQaKaoEGhRQXhBWNc4d2hRGHdoITmQc3LIFKAQuCLjszAQEBAYlpAQEB X-IPAS-Result: A0CBBQA4eQBW/4f80j5dFoMOVGm8VIMFhXIBAgKBOTsRAQEBAQEBAQGBCYIdgggBAQICQDgCAQ4LGAkTAw8JAwIBAgFFEwgCiC4JtlOFXI9WAQaKaoEGhRQXhBWNc4d2hRGHdoITmQc3LIFKAQuCLjszAQEBAYlpAQEB X-IronPort-AV: E=Sophos;i="5.17,569,1437429600"; d="scan'208";a="178747647" Received: from mail.etorok.net ([62.210.252.135]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Sep 2015 23:44:49 +0200 Received: by mail.etorok.net (OpenSMTPD) with ESMTP id f7a8f598 for ; Mon, 21 Sep 2015 21:44:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=simple; d=etorok.net; h=message-id :date:from:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; s=ml; bh=KM+gkmKyk7FcyF a4I6Vt2jEciqA=; b=Ad2jggivo0IUcLOGFObF+L4/51fFVw06DwS0kBj3ZQdn6m ZDxHnEgLmyE9Y31I/gqm0zef6WX11J4TeFvfhtz+Xdr9/4Zvj5HBUMR/3YIttYTt Zatyp3Rlg5M3FgmoQnqtLB9wdvbhRIQITpVUl/0aYfbmB2XqnHvZQ4invZ/vQ= DomainKey-Signature: a=rsa-sha1; c=simple; d=etorok.net; h=message-id :date:from:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; q=dns; s=ml; b=S41TqGTv mawV4CzzH9Qg4Dnrk6FGnoJKyY1bhhS7mag0H42ueWaAQsE472klkMSL5qkizNV/ DZPNQq7Ox46n5F25xZUDxWgtcSzVjoVvP6BGhc1GBZxtQmLWAgQu0vqyV/2Op2wM zQ9akoG1x2H4NwkCy3VvvTlsCAzwMYhUnkM= Received: by mail.etorok.net (OpenSMTPD) with ESMTPSA id 20111a9d TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO for ; Mon, 21 Sep 2015 21:44:49 +0000 (UTC) Message-ID: <56007A50.9050007@etorok.net> Date: Tue, 22 Sep 2015 00:44:48 +0300 From: =?windows-1252?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <20150921211906.77427.82608@magellan1.ze.tum.de> (sfid-20150922_001918_169221_4094C58F) In-Reply-To: <20150921211906.77427.82608@magellan1.ze.tum.de> (sfid-20150922_001918_169221_4094C58F) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Opis source code On 09/22/2015 12:19 AM, Florian Pichlmeier wrote: > Hi, > > i am looking for the source code described in the paper > "Opis: Reliable Distributed Systems in OCaml" > > 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 > it. That would be really great. The wayback machine has the literate source code as PDF, unfortunately not the .tar.gz though: http://web.archive.org/web/20111030100930/http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/opis.pdf Best regards, --Edwin