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 335377F616 for ; Mon, 20 Feb 2017 22:50:06 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.mailfrom=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.helo=postmaster@NAM03-BY2-obe.outbound.protection.outlook.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.42.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.42.55 as permitted sender) identity=mailfrom; client-ip=104.47.42.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@NAM03-BY2-obe.outbound.protection.outlook.com designates 104.47.42.55 as permitted sender) identity=helo; client-ip=104.47.42.55; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM03-BY2-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A7PraNhV8EmIErXmYITmdmPw/7svV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZR2Dt8tkgFKBZ4jH8fUM07OQ6PG9HzVaqs/c6ThCKMUKDEBVz5?= =?us-ascii?q?1O3kQJO42sNw7SFLbSdSs0HcBPBhdO3kqQFgxrIvv4fEDYuXao7DQfSV3VPAtx?= =?us-ascii?q?IfnpSMaJ15zkn7P6x5qGNw5BgT74ZbJpMD23qx/Qv48Ym90xBLw2z07nuHJOcO?= =?us-ascii?q?NX3itCCGi+uTnR3I/k8oRq9S9Xuuln/IhKXL/3eas1V5RGBTIqPno/5cn38xTP?= =?us-ascii?q?UF3ctTMnTmwKn08QUED+5xbgU8Kpvw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C7AQA1Y6tYhzcqL2heHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgmU+ZCorBy0Hg1SKepEFH5MlhBsBK4V2AoMTFAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQoLCQodL4IzIIIeAQUjFVELGAICJgICHygQBg0IAQGJawEECaIcAgKLa?= =?us-ascii?q?YImiAcBB4NHAQEBAQYBAQEBAQEiCQGBAYdGCIJignaCKoI6gl8BBJBGiz4chli?= =?us-ascii?q?LK5EIkWYBgTs2gSFVUYRKEQyCAFYBigMBgQwBAQE?= X-IPAS-Result: =?us-ascii?q?A0C7AQA1Y6tYhzcqL2heHAEBBAEBCgEBFwEBBAEBCgEBgmU?= =?us-ascii?q?+ZCorBy0Hg1SKepEFH5MlhBsBK4V2AoMTFAEBAQEBAQEBAQEBEgEBAQoLCQodL?= =?us-ascii?q?4IzIIIeAQUjFVELGAICJgICHygQBg0IAQGJawEECaIcAgKLaYImiAcBB4NHAQE?= =?us-ascii?q?BAQYBAQEBAQEiCQGBAYdGCIJignaCKoI6gl8BBJBGiz4chliLK5EIkWYBgTs2g?= =?us-ascii?q?SFVUYRKEQyCAFYBigMBgQwBAQE?= X-IronPort-AV: E=Sophos;i="5.35,187,1484002800"; d="scan'208";a="261360362" Received: from mail-by2nam03on0055.outbound.protection.outlook.com (HELO NAM03-BY2-obe.outbound.protection.outlook.com) ([104.47.42.55]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 20 Feb 2017 22:50:04 +0100 Received: from BN6PR08CA0051.namprd08.prod.outlook.com (10.172.144.13) by BLUPR08MB423.namprd08.prod.outlook.com (10.141.79.22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.919.13; Mon, 20 Feb 2017 21:50:01 +0000 Received: from BN1AFFO11FD047.protection.gbl (2a01:111:f400:7c10::135) by BN6PR08CA0051.outlook.office365.com (2603:10b6:404:b9::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.919.13 via Frontend Transport; Mon, 20 Feb 2017 21:50:02 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BN1AFFO11FD047.mail.protection.outlook.com (10.58.53.62) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.919.10 via Frontend Transport; Mon, 20 Feb 2017 21:50:01 +0000 Received: from ITS-HCWNEM120.ds.vanderbilt.edu (10.1.154.70) by mailgate.vanderbilt.edu (10.1.140.93) with Microsoft SMTP Server (TLS) id 14.3.301.0; Mon, 20 Feb 2017 15:49:16 -0600 Received: from krypton.csb.vanderbilt.edu (160.129.138.225) by smtpauth.vanderbilt.edu (10.1.154.70) with Microsoft SMTP Server (TLS) id 14.3.301.0; Mon, 20 Feb 2017 15:49:39 -0600 To: References: From: Francois BERENGER Message-ID: <08226273-56e5-394c-a34c-f0ef24e4b24d@vanderbilt.edu> Date: Mon, 20 Feb 2017 15:49:39 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [160.129.138.225] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:129.59.15.81;IPV:NLI;CTRY:US;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(7916002)(39450400003)(39840400002)(39410400002)(2980300002)(438002)(199003)(54164003)(24454002)(53754006)(377454003)(189002)(6306002)(86362001)(47776003)(229853002)(50466002)(2906002)(66066001)(64126003)(4001350100001)(966004)(3846002)(230700001)(450100001)(65956001)(38730400002)(31696002)(83506001)(106466001)(6116002)(23676002)(88552002)(2351001)(53546006)(65806001)(33646002)(189998001)(92566002)(305945005)(50986999)(36756003)(7596002)(6246003)(110136004)(76176999)(2950100002)(5660300001)(356003)(246002)(54356999)(7636002)(626004)(75432002)(31686004)(65826007)(8676002)(6916009)(8936002)(7736002)(217873001);DIR:OUT;SFP:1101;SCL:1;SRVR:BLUPR08MB423;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;PTR:mailgate.vanderbilt.edu;A:1;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BN1AFFO11FD047;1:vPOQrWp/LSeTLissjmkuOA1w0Ej7leoBpHEzKK5H5Uto9udDl8DyB7n4nTzX3CQ1OSE+ovtL43RKzPg9P4G8wR3V+WQUVvUcKeTOGmxCxD8BMAUfSJVcKbEYI+Imi3xl2n3Al65hsAiTUuZmazhtUcH8Gib/Tj1Ub6wvyqwtECRId8iQhtkPm0b5hoCDMnfS7fIsY4T8OgzgYlJFHULYC+oL9r+MVbZXVPfpRrOvc5vht4WkKXgnqw+60pqjwz721P/AOWKFQ534tLzpEN8DIguUFic5E3/Mt8ocwaUrGs9D5SdviEe/OWhqsCS7pw7cxWPuHShSOWdL7EyfwLeU0FYgv88hJo2MGGXtsIOSHCPfAR+ZtLqvqIELYsHEdMytVzwowVjIHWjXp6mm8X/skHQIzVam1TCYkJe+1AmRvwKHcAUXooiOh+qqonPcqeW5jjaZB8w3Q8xxQIErdmjQLRYAb6uh2M8+bhlbjr1QXiEFn6ySIJDH5TOu7wa77PYnGsQFMLJ81gUUrpbhZe3Z6g== X-MS-Office365-Filtering-Correlation-Id: fba428d0-d913-43f8-a211-08d459da6c15 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:BLUPR08MB423; X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB423;3:kR4DG7PP85MutPOiItxcKoH1DbUG0H3kyLUYdqOGTcRnYQNw7KBExYFBIoAbLQBXSbk830AD4YX3sndkqlqw0MugqRRXvodL+Gz6nCp1T/eIIyvBTVku3muv4XYDCU7UDL6nV98NMuQxZj7tyEk6SxlWzPM9tCH1Z427JarslZeqktvzX6U5LKUltHnV51ptlpF4ZvejgkP6k5A39O70ZDqqCupjhQQ0xua5nLOi+w3yT2wzzYXU6iuB+k9QNV/vXJoo5HyIchuqdNnO88+bGXKaexKIKmiof2Yq0aZoRu/isjtgzKjIgM5ntwmiA1a+wKrS4xj6i9QKmNmQxN/HUzxEkEE2QlATRGt7RnBmiXcOBsXTJoWK/t5DHOQv7iEGupzqyFy5HtteSAsnWq7sqg==;25:GRXb/XjA3cEe5Fxk5V+kUA5hl5MWWQjjFUd1cHocet5e15kjRlWfBC0KAw1WR3ohUiregxlVZt8vxBll55l+yY82cncrpsQCgI8SC4LMnxbQdgTL0G+pkcipGcpY7QC2/wnpRp1H1GYcthgFGe0Lz6aKH6TdIQoyBDbH7Pkay36NZ5L1QWULGU0ZloilwfH/ZZpAYh3TF0IBpJu+++OpOHiL9ihD9EbLnNfyfPhbGrg9i5dMy3kB6GlyLjcL6k1daoDzd+UNpbdc7aKm/E+qPh09RHR+x4SoDFFM4dMbP/7Gc9wcU8RcEER05Oz7LOIlnugJrsfE0dPoDUsmYfHFmQlKfURcEBVABjcsNMK7KCHqmWlxhB3cox6g1tJnilKHLBmAH9lliHMPVKDmXXv7bRNxTUizNDOX4eNwqtd9INjOzKLkCJXyKDV8kaWttKKTw+7ol28eBA4eIsoj/u4M3Q== X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB423;31:aV3J29E8DMIVJ8z6x7N8orxGKgjJe8ihEq3o5CuLtFmLaSND+6x9qPGMYJwUWDjyQzAYXjrk4IZrpL3GxPxNSVh1Zvf8UPONFh3Zj4F2XNSTlQNRG6rhO5N+rqB3y1AkmBPWPjuhKfQB5418ZjtZxd5Nur2gXXJIthzOLwWIbiDz+Js3EfOeh6EJmbmBobpofPT05QadqpzDlNYm+gd1wCLMS2+MwhL/YxjffIBgnZJ9D2DKfUHckhGODx39nZvJhU55kMXXcF7w/JGOSupCMA==;20:YhkNJPaKvBLtP3aPPOqlcN/fFiPeE6wyu5DVH7Ycx+b9+bw1BUSlB2TNCyZyA3GcLenFgSH3Luvf3Z8qRVK3tDfzOec0qsBr0FWdVHkCWfulQzG4bvvnMcSbHiKFdMNI3Jb1BdAeREdW/ZzFqMzE3k7gqBMr+pQ375MuCh1QsjcPZw3u79SBuFkt05LqPfQYH55XgjQj/Ypik9LrSegltZH/lRADKR559t6ixRtBQHcqFaffoeGDgWTtyi5EV1m0lauuOjhxmZeh4d+p1RaosQTwtVyV0LsNQ71u1YfQHfiRLoDIzrXoQrfSrdCG0a+t42IKS2nTirFd7rSJyfNi8lQhk6II95Ebljw2fUlN5xVRUr8pYmSYL8h6fgSZbQQTMdfU3Cm62R9UWcssQUr5tjUDUSNWH9dfrChBrZYVBJ1iLZc8f7Irdwf7RMEiW0EytFjqJnhWNzg+7EDDBCw94IBX41e8gV8UqjsrJU9JORusGkANM2zU9sF2ggxcJr21 X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(166708455590820); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(5005006)(13018025)(8121501046)(13016025)(13023025)(13024025)(3002001)(10201501046)(6041248)(20161123555025)(20161123564025)(20161123562025)(20161123560025)(20161123558025)(6072148);SRVR:BLUPR08MB423;BCL:0;PCL:0;RULEID:;SRVR:BLUPR08MB423; X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB423;4:PJ5eBmO37voH79qvJCNHSfUgwIZocb300XG/iItnw4P9tPUZ5SrX9gRdTL6V63uezEFbPzyBiD2rZb4IEyGi6TQpX3M/SXbYXEZ1TBz0Wc3IkCw5W895z7W5v0QYfXPZ4lIx/HHC6o3PNechH2zuc/hy8eSPtTdFGFz8i3EXkbFmQW/+zk8ESSD8tKxhd80dzI6voxf+nNJ+ivqDNuTlzHVx/jvovmkqWS9721Zoyo22cUn8WtazVWDgsrATbmqMzXSt7Edd0C+bDMGxR7Bf+Ekm/LW7wY6lL3LSfQHtEHgW3AG7gbffv3cv3N7QI5NKYT8pk7Zd+ng9ofswPkNCnkz7dwt4q/2jlok6hK8ULKA6mb1snBRVu9SGH6o5dz57JjW0FZqZj6s+qB96v6Zr54Oa2tR8e1r+e8ew+7zKDZNh9XBi4wkVMp3KJn+rAU7c43hnn9q7PLi9Rva8M75Ci4B5QwyhkK7qjKu2Rrxhe6r3RW8Sk/3dRe18ZWM5Y1Q4aicrGh0ua7pwQEFb4TD7g/vhJyseOGCUV6YzTtOLMQYMGcju9HUX9z8kBop8QvJVvnzXj7B/iP65STCsJMRusDzHdrtRrfvIn2/EYaNkvaQulN7e4q52E43pr5GW8mNqyuJXYjh1pIXltbvmYRQS8757CaI9CBi9O+WpjQxxhRwnBU8Y13At2VB3i8k5e23Qj7FO36pRjRBjjzWB9DSpiTn2hbrKWU2tHz313MUi2Ws= X-Forefront-PRVS: 02243C58C6 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCTFVQUjA4TUI0MjM7MjM6c3h3YmNseE56T1dkeVpjMDNlMmxycERZZEk2?= =?utf-8?B?aUdaUWsva3NFV2FSSWU2QitEYXlyZTFHU1ZveE8waTl5enZseGorWU5vOUgx?= =?utf-8?B?akcyV1NpeG4vU3BaajRURSs3ME93R2xxbTRXWldSb1FJa0JRbWFBT2RmcnAy?= =?utf-8?B?SmJpMG9uRjFERDVwUnVFWEZtWjR1Y0VibXVXQmR1aUpvSmRDUlU1L0IxR3hn?= =?utf-8?B?Q3pUWkZtYlNZOUVVSzJKSGFKQ1Q4dnRwTGM3S1dLTi94dUFFSnZFRjJCWTJq?= =?utf-8?B?MUNtbUZnNDlyY2s3UjhQWEJWNXFKOFBFYTBQdXRSdndvSHBlV1BxVStCZkgv?= =?utf-8?B?UUl3OHlhWTBuVUJHcVA3RzZNYWdRc0ZKT01Kbkt1SE9XMVRZbUFPSVVBZ1hY?= =?utf-8?B?NjZrSnB5S2VXSlEzV1JZaDMrUDZzK0k3S1FGUlhyNkdScGdMWTJmcVNYbzNL?= =?utf-8?B?QWY1Ym9vT2F4dFRnVWJQQTNSQ0JUNHpXL29VV2NaWENGcVN1RHlXckJwajdC?= =?utf-8?B?aGpCbHVOZkUvMW5jZDNIblRzNzVLZXcvQVBKYlJOOEhWYzBXRmJCZE92Ty90?= =?utf-8?B?Q3R5U2pHK3kxUGxWUDQ2b2FCcVZsdnplei9Mdll0dnNlU1lJaVJRd3B5eUcr?= =?utf-8?B?b25XdVdEVEhCQzdhMHNMZjdnTDhNK3U1ck1UMVI2VXpNSXJ4azUzRDJuYkpz?= =?utf-8?B?MHViTGVGbDFYNHAzSlFLTVU4NVB6elZ2dHhtRENzTGtadFQ3MitZNEtzTjNj?= =?utf-8?B?SFEyUjZQdVdDUThQSEZQQjhQc1h4ZlhRcUxweDVtaEF4eGhZYnBINTRQNmVi?= =?utf-8?B?bldmZnBjSHBxSTlEMU1pTWpPZGdBMytXL3lmTDBSRDF6Um4zMldHSktqejNR?= =?utf-8?B?THd6R2FHNURGTUlYODdyVEtnTll0Q25ld3A5WkJ0UmJDSG9SUkpDbTV5Rko5?= =?utf-8?B?TklOQjRJbVNMbmdPWHBPZGpBc3FUajUzQ3M0VzBrTjZDWVJ0OU1Bc3FhZGV3?= =?utf-8?B?a2w1TDJIdjl4cmFkWm5ac3o1MjU4aUhKSWRDMTNhMGhzUjlYR3pYR203Y0VK?= =?utf-8?B?eWFwZGdpdCttaG5MeXZMaXpPUkFkU0s1aHQwWlpkODJ4Unk1TTAwRWROZCtY?= =?utf-8?B?M1o1TmJ5QnpQQXlUcUN4N0JIdUg3R3RaTFZKUy8yemhYdGpwMHJndTBZbExy?= =?utf-8?B?SFdQdXAyempWUGxRM0FiUzZtaUNldWpQd1F0T0ozQmVHUkthTWRIR20rNEJM?= =?utf-8?B?QmhweXEvSU83QXc1cWlzS0toOUd3UG8yUHJUTmVVR0lPcnAxSzV2RkMwRmtG?= =?utf-8?B?b2R2QVlYY0dxcjlHK1Z2UGdER29ZQXJ4aXRiMjhBUjBVZlg4Y2tXejJnaEdU?= =?utf-8?B?QXZudEt4eU1MdllYUFp1U1IrTmdlTm9mY1ZvYzEydFAyblQvUnBNazhvUkd5?= =?utf-8?B?VGZma1FkWHRtblFTOWkvZ0dmWHo1K2VxdDEzeFpXeCtuYU9ZN1ZYZCt3bTh1?= =?utf-8?B?WlJzb0I5eGFyYTMzMyticnhqTVFuVW5DTWtjMzdST3hmbVFDUnN1ME9wM29w?= =?utf-8?B?ZVExbVVsam84blhhcnkzTmNJaEZhZUVrR1dYSjdOL1NRbE5Cai85N1dKaDEv?= =?utf-8?B?YmkyYUg3c2tHWmx1VUFCeWM0NmZkM1V2SUpMeHhuOVNnWk5OWWUxR0xoSnhk?= =?utf-8?B?YXFhQm1KaGtXQlludVRLV0IwUVpkMmxHL1g4L2hrQXZXQTBicWRkeGNlNXdw?= =?utf-8?B?ajQ4S1N6SVJiSlQvb0h3SkhHcytCT2J3NzlaZm9SUThDaWpCWGYzZ1h6OUdF?= =?utf-8?B?bFB4cm1nc3JMWXkwbFB0bURoU1NqM3JGV2pJbkwra3BDUTZxWE55TEZOQTFR?= =?utf-8?B?Q1VBTEQxR3BwZ0dqeDlveWRGZkU2Y2h2ZGt2dGI4d3Z3Q1NwenRKWGt2NEJi?= =?utf-8?Q?8QQOn744zmeqGWyBoj60RmEhntcoo=3D?= X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB423;6:k2ECxW0mdMRlnEDhtJrGl94fyFNC7JroatiIynshhLi7zKmu2tk1Revl0+HmlEuEPQHLhkRof+mEW+bOOHzY+CqMVMFFm5fSBQ+yOTTKrd+v8wRwyRY741TCZBKfHMwlD6ByWaRGkBHO7Rj4AGQ+GIj/g4Bh64wQuL7UblJd/hruen4hHOS/n+2xXHwobQHE2n+KppOjVp21Nc75D/w98Sj+owIpHaCEkFRhzy7zMEMrHFPRZtqsrFRp4hvtUtNVP8HlUJJ5tGXAFs0/veccJVAshvaCK4evPfOhxf1td6sK4Mwehqp9H7nDW2LchieZX5qRMNlTnXbUwT8U4+U3Rg5gP9D7clJZK6qwiLqs5L3hzPw1nn5ajpj5Z/XgnYY3b5AjEcblyN16faIV5nNXnw==;5:/cBVTwKHlrLYEagsGIlj6IdFoZ+iHv6lM8ED2bm0E3ep/2fU75tAU6OUY7cQPVIe8B0f+mp0mdN1cDhaNBBfgGoA8Bs5pa6mI0S4nIwk0DhSt7S29GrWOUsPAIsPCnw9USdJlLCdDWD6zB+TPxOI5UZEYMn3FXoxkxJLvlY6PB0=;24:HL8JagwU5AzSoe9iu47x+Tghw+CcIJLQMVFv0QZvUu0a4lCFB/OmdnamS4zme9IEOiwKVbjY+b8IT3Mbky3H4wQtj89ImGKnGRqJ0CEDJog= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB423;7:C9M6uvwEmFi/9ErhAG9bT6hWr9KgkZLoDvC1WNakRjUDyRzUcHmw8FPLmpdOf1kjP5LD6J1T4V+vP5CCTfgou4a4Wg8tCcaYI4PlmfqAYfnFuzsh2SLcMopbpHP7fqdXAo7GOMeDNeDz1w9B/5s4SgndQmUcCz+oe/QZVZBNqxt9ArFvBWQDD2LBcfBLL+7jCMBgBzSl4KU4eJg/JcDNUledCKercb55atUtDKoD+B1HEthH0ZjWqDKYMzRPyGJZxdFfCE8iErmZI+oHE2D03UUJfQgBPZ+9qulfmrWXtU62LgQ14H4FWgA9Oc7SBS6wTKeHOKhJ1m6mrnzbDgIoJg== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Feb 2017 21:50:01.4374 (UTC) X-MS-Exchange-CrossTenant-Id: ba5a7f39-e3be-4ab3-b450-67fa80faecad X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=ba5a7f39-e3be-4ab3-b450-67fa80faecad;Ip=[129.59.15.81];Helo=[mailgate.vanderbilt.edu] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: BLUPR08MB423 Subject: Re: [Caml-list] Is the IRILL CUDF solver farm down? On 02/20/2017 02:47 PM, Gabriel Scherer wrote: > 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.) If you want to create a package quickly, there is fpm: https://github.com/jordansissel/fpm