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 C3D0B7F616 for ; Mon, 20 Feb 2017 21:47:56 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f171.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.220.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.220.171 as permitted sender) identity=mailfrom; client-ip=209.85.220.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f171.google.com) identity=helo; client-ip=209.85.220.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qk0-f171.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjQp0exxNB0qjsPzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+sXIJqq85mqBkHD//Il1AaPBtSGrasewLON7ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhDexe65+IAu5oQnMuMQbgJZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8JwgqxVow+vqQJjzIPPfIGZKOBzcr/Bcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF+sPMvxDoInnplsBsx++DhSxCuzzyj9HmGX20rMg0+88FgzG0xYvEMkUsH?= =?us-ascii?q?TVstr1ML0eUfupw6nI0zrDde1Z2S3m5YjHdxAuu/CMXbZqfcXNzkkvEhrIg1ON?= =?us-ascii?q?ooLrODOV0/4Cs2md7+d4UuKgl3QoqwR1ojS1wccskIbJipoUylDe9CV5xII1Kc?= =?us-ascii?q?e/SE5hbt6pFoZbuSKCN4ZuXM8uX2VltDw5x7AGo5K3YjYGxIg9yxLCafGLbo6F?= =?us-ascii?q?6Q/5WumLOzd3nndldaq/hxms9UigzfXxVsyu31ZLqipJi8DMtnMR2xDK5MiLV/?= =?us-ascii?q?lw8lq71TaA0ADT7e5EIUQqmqbBN5EhxbswmoISsUTFACD2hF37gLGKekgg4OSl?= =?us-ascii?q?6OTqbq/4qpOCK4N4kBzyP6YzlsCnBOQ3KAkOX2yV+eSm073j+FX0QLpQgfItiK?= =?us-ascii?q?nZsY7VJcABqq6iHwBV0pgs6wyhADe8y9kYknwHI0hEeBKDlYTmJ1bOIPXgAfel?= =?us-ascii?q?n1usiCtrx+zBPrD5HprCNH3DkLP4cbZ56k5c0xYzwMtE55NUD7EBOOj8VlXwtN?= =?us-ascii?q?zeFB85Mha7z/zpCNVnhcsiXjeEC6qdeL7JvEWTrrYkKuyIIYsUoyrVKv4/5veo?= =?us-ascii?q?g2VvynEHeqz88pIdcnG1GrxdKEWUe3f2yoMOGG0Qvwc6CvfhiFCYXCR7aHO7Xq?= =?us-ascii?q?Z67TY+XtH1RbzfT5yg1eTSlBywGYdbMzhL?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AgDiVKtYhqvcVdFeHQYMGQYMg0k/g?= =?us-ascii?q?QkHg1SlGIorhBssiEAHQxQBAQEBAQEBAQEBARIBAQEICwsKHS+CMyCCRx0BGx4?= =?us-ascii?q?DEhAPAiYCJAERAQUBIhuJTgEDFQ6eBINDP4wDggQFARyDCQWDXQoZJw1Vgz4MH?= =?us-ascii?q?gIGEnmFQYxJgl8FkEaLPoIChHKLKYFjjyeRWxQegRU2gSEgFB9qhDMRDIF/IjU?= =?us-ascii?q?BixABAQE?= X-IPAS-Result: =?us-ascii?q?A0A3AgDiVKtYhqvcVdFeHQYMGQYMg0k/gQkHg1SlGIorhBs?= =?us-ascii?q?siEAHQxQBAQEBAQEBAQEBARIBAQEICwsKHS+CMyCCRx0BGx4DEhAPAiYCJAERA?= =?us-ascii?q?QUBIhuJTgEDFQ6eBINDP4wDggQFARyDCQWDXQoZJw1Vgz4MHgIGEnmFQYxJgl8?= =?us-ascii?q?FkEaLPoIChHKLKYFjjyeRWxQegRU2gSEgFB9qhDMRDIF/IjUBixABAQE?= X-IronPort-AV: E=Sophos;i="5.35,187,1484002800"; d="scan'208";a="214124832" Received: from mail-qk0-f171.google.com ([209.85.220.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Feb 2017 21:47:55 +0100 Received: by mail-qk0-f171.google.com with SMTP id s186so105721830qkb.1 for ; Mon, 20 Feb 2017 12:47:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Xhh3R7UVJCxeTOExlktI23l714qB8W1+RxShiZkHauI=; b=fe72FjQSNHT56LU6MWlVyxoOTkKGDh1aZEiG3x4x7F5Q3GRjZISCAuivnPxCsm/jvP rnSEAdaP5PYjtUXsPtmQyeb9fMK5DjR/10RIjdzX9+tU+zFjNOnJrLM4LhLmZJJPpIR5 mF499dvUHSq1pY2kZnOxC7L+OpS6Vy4LTyeB/CZYkzmMDdUckLyeGmeeAygkz+a2X2cG ysS8tERQ9C3BNPKEpvK5DgQ780oRGP/3scDC3UwFFoE86Pbu7J6DoQQw6BhYvgk1IFb4 IVp/eQ5NZvqWEBMZ8TTOKfF/Exf/gThT9KzbkrCjrqTWL5+WRlULY4Wxl5f4n3yhBcvd ubeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Xhh3R7UVJCxeTOExlktI23l714qB8W1+RxShiZkHauI=; b=qmuhxVJ6JxeNpCHaeDo1EqSoaldI2yxJuPR+VLJpCKIwwtwiOHwr8kudmaRb5lcnMh w6H3bl/aAPh6yFx67AAKyTLLVp5sGkk8YbVWr0NfNg760rlr6vEo8m5fF+ppM9oz8NfE DUrvV2VD7QQx5uAfe6WkfF8N7BNumZG4XYAeRTflzHjkeRosnLKrNBXvMriFBaRTtA2d QhRsDNfYBwSizV8PoJj+COiwsQusUHQFRaZ7r/hMKUyORNheQgfTT9AUiYHtho6H7aPw Eeg65ZWJecn/gg9+3G+ei0XZBb4b70Y8ZH8OQwHKSNXRiCm8oETLed7BmzUrcsBSj4iF QK8g== X-Gm-Message-State: AMke39nXW8nWxBdSiaECjqV161y4Io2Btp/vQAn1qdvLYGrL0xI/KhsLakT+FVwsY5TGa3XViPGvwsguqffFqQ== X-Received: by 10.55.16.67 with SMTP id a64mr22288302qkh.226.1487623674647; Mon, 20 Feb 2017 12:47:54 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.177.154 with HTTP; Mon, 20 Feb 2017 12:47:14 -0800 (PST) From: Gabriel Scherer Date: Mon, 20 Feb 2017 15:47:14 -0500 Message-ID: To: caml users Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Is the IRILL CUDF solver farm down? Hi all, Would anyone know when the IRILL CUDF solver farm should be back up? http://cudf-solvers.irill.org/ https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html#UsingexternalsolversintheCloud This is a very useful service to me, so thanks to everyone working on this. (The reason why I have a use for this is that no decent CUDF solvers are packaged for Fedora 25, in turn because they tend to emit warnings on recent GCC versions -- the OCaml Debian packagers did the work of fixing them, but new Fedora packages have to be devised. I planned to take this as an occasion to learn Fedora packaging, but never got the time to do it.)