From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 919BD7FCE9 for ; Fri, 27 Jan 2017 17:40:15 +0100 (CET) Authentication-Results: mail3-smtp-sop.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@NAM01-BY2-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.34.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.34.73 as permitted sender) identity=mailfrom; client-ip=104.47.34.73; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM01-BY2-obe.outbound.protection.outlook.com designates 104.47.34.73 as permitted sender) identity=helo; client-ip=104.47.34.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM01-BY2-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AfXcjhBZZtuv7SCbIDDTVwpf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsmybnLW6fgltlLVR4KTs6sC0LuK9f2/EjxQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmsrQjctMYajIhhJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?AIOSQ58GHWkcxwjKNboBSupxBm34PZboWYOfVncq/BYN8RWG5NUttRWiBdB4+x?= =?us-ascii?q?aZYEAegcMuZCt4TzukUArRW+CwevCu3gxDBHiX3q0qM10uQsCh3G0Q46Et4SrH?= =?us-ascii?q?jZotX4OaEPWu611qnIyjDDYutW1zfn8ofIdAwuofaNXbJrbMHc1EYhGR/KgFuI?= =?us-ascii?q?qILrMC+b3fkKvmiV9epvT+SvhHIgqwFwuTij3NsjhpPSiY0L0FDL6yN5wIkrKt?= =?us-ascii?q?2iU0N7f8SrEJ1NuC6ELYt5WcIiQ2V0uCog1LIJpIO7cTEMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRIS13hGlmeL2hgxay9VKsyurmVsm71ltBsylLksHUu3wQyxDe5dKLR/?= =?us-ascii?q?R/80u71zuC2Brf5+NKLEwsiKbWKoItzqQtmpYNtUnPBDL6lUv1gaOMaEko5Oil?= =?us-ascii?q?5uL6abv8vJCcLZV7igTmP6QuhMO/BeM4PxAWUWWH/uqwyKDv8VTkTbpIkPE6i6?= =?us-ascii?q?7Zv4vEKsgBoa65HhNV3Z0k6xaiCTepzc4UnWEdLFJCZBKIkZTmO03PIPD/C/ez?= =?us-ascii?q?mVOskCp3x/DCOb3hBZbNImLfn7fmeLZx809cyAwtwtBD/59YF60NLf3pVkL+tt?= =?us-ascii?q?HUFBE0PgOuz+vlBthxzoYeVniOAq+dPqPSq1iI5uc3LumCfo8aojD9JOQi5/7v?= =?us-ascii?q?ln81g0MScbOy0pQJcnC3APJmI0qHbnr2mdoBD30FvgwjQ+P0kl2NSj9TZ3KuX6?= =?us-ascii?q?4m+D40FZ+mAZ/ZRo+xmLyBwDu7HppOa29aEF+MFHPoe5yAW/cNcyKSPtRskicE?= =?us-ascii?q?VLikU48uzwuitA78y7p9L+rb4DcUtZz51Is92+qGwRo78DgxC8WGz0mMSXt1ly?= =?us-ascii?q?UGXWll8rp4pBlT0F6F2q95mLRyOOZ+wdxkaE9uO4TVyed9Csu0UUTLc82ETlmr?= =?us-ascii?q?WP24CDc9Q8g7wtsSJUtxBoPx3Vj4wyO2DupMxPSwD5su//eFgiD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AaBQAEd4tYhkkiL2heHQYMGQYMgmYlA?= =?us-ascii?q?QEcZCorBzSOSZBxl1oBJYRsgRACgmUUAQEBAQEBAQEBAQESAQEBCgkLCh0vgj0?= =?us-ascii?q?BBgICAQEHghkGOFFRHzgGDQgBAYldAQShWAICjg2IBAEHgmQBAQEBBgEBAQEBA?= =?us-ascii?q?R0FCQGIRgiHd4UZAQSJCYckiyQblTGNIZFDAYE6NoFuToRNgguHGSqBBgGBDAE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0AaBQAEd4tYhkkiL2heHQYMGQYMgmYlAQEcZCorBzSOSZB?= =?us-ascii?q?xl1oBJYRsgRACgmUUAQEBAQEBAQEBAQESAQEBCgkLCh0vgj0BBgICAQEHghkGO?= =?us-ascii?q?FFRHzgGDQgBAYldAQShWAICjg2IBAEHgmQBAQEBBgEBAQEBAR0FCQGIRgiHd4U?= =?us-ascii?q?ZAQSJCYckiyQblTGNIZFDAYE6NoFuToRNgguHGSqBBgGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,296,1477954800"; d="scan'208";a="211179969" Received: from mail-by2nam01on0073.outbound.protection.outlook.com (HELO NAM01-BY2-obe.outbound.protection.outlook.com) ([104.47.34.73]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 27 Jan 2017 17:40:13 +0100 Received: from BY2PR08CA0083.namprd08.prod.outlook.com (10.163.62.179) by BLUPR08MB424.namprd08.prod.outlook.com (10.141.79.24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.860.13; Fri, 27 Jan 2017 16:40:10 +0000 Received: from BN1BFFO11FD008.protection.gbl (2a01:111:f400:7c10::1:125) by BY2PR08CA0083.outlook.office365.com (2a01:111:e400:58a4::51) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.874.12 via Frontend Transport; Fri, 27 Jan 2017 16:40:10 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BN1BFFO11FD008.mail.protection.outlook.com (10.58.144.71) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.874.2 via Frontend Transport; Fri, 27 Jan 2017 16:40:09 +0000 Received: from ITS-HCWNEM120.ds.vanderbilt.edu (10.1.154.70) by mailgate.vanderbilt.edu (10.1.140.92) with Microsoft SMTP Server (TLS) id 14.3.301.0; Fri, 27 Jan 2017 10:39:41 -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; Fri, 27 Jan 2017 10:39:42 -0600 To: References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> From: Francois BERENGER Message-ID: <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> Date: Fri, 27 Jan 2017 10:39:42 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 In-Reply-To: <20170127142246.919C212146E@mcclellan.cs.miami.edu> Content-Type: text/plain; charset="windows-1252"; 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)(39410400002)(39450400003)(39830400002)(2980300002)(438002)(199003)(189002)(356003)(110136003)(64126003)(3846002)(31686004)(4001350100001)(6116002)(7596002)(83506001)(107886002)(2950100002)(38730400001)(2351001)(106466001)(31696002)(23746002)(50986999)(305945005)(88552002)(76176999)(54356999)(189998001)(2906002)(6916009)(36756003)(5660300001)(33646002)(8676002)(450100001)(50466002)(86362001)(65806001)(8936002)(47776003)(66066001)(65956001)(6306002)(246002)(7736002)(7636002)(65826007)(230700001)(626004)(92566002)(75432002);DIR:OUT;SFP:1101;SCL:1;SRVR:BLUPR08MB424;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;PTR:mailgate.vanderbilt.edu;A:1;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BN1BFFO11FD008;1:Q2Efj9ABzrF86ooA/trEK5GO66HioEFuea4EQbbyfELKDdj2vUl3CsHCvJUv+YCpJWwGn2NbRUA3K4yQTGEOT/I4UUX4AqVTeiG1Q/rq4UalPxWXOdBU8wJNNJhDvE3OYufLybvDmX3Vdnxat5PGRHJbtJ85plozZigpKDJadlg0PxhMMFas8p5BQ/9VROn9YZa70RCkfaQSwtcLruIFrkMeCuu6qUKFNkGQ2EYkv033X1LCGvaFzbM5Qc7b5mFBwt8V+zgU33m8/2WodIO/JHKESDpKUnOltax6VqkBEy5/prStlERTIhmAC8vsgGMPyztp4VrEd7NX+dgjGa0i2Ko5XCZF1lsQliJf75w662pSy5RHaP8A+T4NCe0pbOT8BVxDaKVHbuKMu6vYTY70Vq40BUh814ifpExnHV8PXTqOPNV6KjxkwnJNdeXwHmQ7bw68lR3SpYZlSgxtIQl0+k5/xK3/E69R0SujNCjUFSSQEvzzcz6kaqEyPNYBlZvX X-MS-Office365-Filtering-Correlation-Id: 82518990-d9cb-4424-1620-08d446d32864 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:BLUPR08MB424; X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;3:M9iO56ec7oqniXK7UtYN/oLNGRuHJ1UcOUBV1D68MnQYY3xm2FUOHHiuMKVXE5JBPNuvfuC3O4S0aaVpmju+TCkwBRPgyKYfToZOjAMDe7oUvLWAg/96/rvkxplyPYhja7blmkyfbqmxZSXRx7HYXKeL5IhjvBx9FDPx3pgot612OtTVQ5/SF8EtqFEvHtfmBKd7xotu8iQedbKM3TP+2qo0NLiqBBx0lFuKnyr/+GEj+444BLGg2/FSt8pGRlO4B6A4H5dV6rHo9WG910gZt/dLdh4vD9Yyc5ItjQ7czgH1mcOl8+hpktkC+rAuu4ZsRylHZMDCS7Q3MGwmPv3evhClfSJCcUTN/uOcEl9UW8K6RKOL65MnGrHyu6Kon/i8j5zkuHxcHDw6J9bTNCEhJA== X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;25:TRCBHCGwFsN929CK47Bi0yIlv746PukEx0MaKns8Wt8s0gVB3VPn1xZh4rLiap/vesCyhADRz2TSTsSBeojKXR8dcUkgBAw3T72YRwa518hK9cDqf552eaWm7oUejPJHZtAj2s1NsbxJfw+3LEKx95/zNgFVvyk019JZTEykbiLdpkQs4ckJD4bRC3gdhHslT4Z+sAE34XIjN1ZEs0wj+9Cu9d0cfHmCm17PHW6QX1Zabtj/F4JBMvQqOb/YfXyiEWGRng8KpdWQfOp9xFblb16S8OOHia0BhfUOEixxT3SgEkHJ4v3eGOPaa/4HShj1A5nNyO/2JeZb0x5mhJTX2i8ms5dfnIGA3H/r1NUGW/tIrRPDRAg/F8GK3m2pU609oHLgKSlEIIrSOlmsCdTwq9Q8BFlNQrMlFp1Gm+yiiww8b/TseNsM1hLEPZRcPZ8K3kULIA3l01aJnPSd6Eixu8hCgHcWhueBcQDt19UYyIW2rg96zlDEJzCmUx/Aw1b3Up4Gja0yfQzzZUiMIT164VhiwhNK/NHAiUHUk3oWZT5JGTYAWRQXFhSM5sqxIcTpa3CqWn1CPNIyd+KGk7vnHKP79b2HNN0yzZ55g/IMrM3m1yaZkZam2S6FsMv6yYA3GYadk8Q8No0YGNEoO1Yq/cJspfRkSdUtTJVjznBNEizuO+hYwm+L9bflJKm1R8a/zyObHqnQOW0lxfuw6oqjlfQyH/H22t1LNjfV0Ux1a5muDJrGUFrrfc52FR4dXP26jxIWLme3c3Nf96J/dizAhz+XjZW4OSGlJSNHgXck0tgPoZPs4eKK9L1BLSJ09JCvg4GtvUGm5S7+WWCXpvJOVQ== X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;31:f8ru0zY+iZ2AXVyCxtmkJYU8/2kKK5/ubQvuDFNOnPfEjnkYwlIvaevUTZH1l1jQZEuGDE4PvXhD+S1eVlqbweU9sxy2iQsMjQjiJGHFJLzp/SiBVfiNlpXKNL2BxQvjvhfJMIR+6eY+oMBdK7tSnKz0Cwgcuy2u0z9aWUGolnuaygEcmJVAesR0C0sfxJAVPf1NycNbWuTwV8FJKswq67hEC/tnG/dDaPXAWRXMLzYUxDCDqiF059drysiK0k95UK4NwVVNI+nhGc7G199oDIfMAXw5mtQnWBFPFwwcDIs=;20:0I45vpH5udpLwWcMkxRiXJRBXinQEMYg7xTXymgGvAgFG4JY9ZdM6l2k4T4lUL+V4pz6M1sH4hNxiDCPMrWoRCK0edyoHnVg1PIcBwaTaThXjB5UjZNCkenFMjfrBcT1mCkNCmUX46odVO7dZh+cEuwEBoVOtRSJBQHBNLxmRnuQiPMeTYMRhak3N5sYnlIw+S2rdlWNWuCNcygZrO29dguUtyvXw4ZUnj8o4E2ZP1LwGXUXjjeCusC3FUA/tZMP78nftTvNILJh/RstWQrzi8BqGPAIngN6XnNtziz47fAiZVyS/MNQlFiu9vW28eNa8sqcjBNFVIawMiL+1om1k5MUoZHZJFJf7e+nMGJxUCpCluuh3MsOzMq400H8orOmZms6bR7LZkjPr64jllVcPHPh41Y2lFcIe/Ro59YijL/gyaT8EcQt8en1KT6xw+BIT4XCXLc6719ODieycX+wqj8/kYj0OuvMvq/YZZDzFxMcSrx+kQj09m9BJNZmrZ15 X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(13023025)(5005006)(8121501046)(13016025)(13024025)(13018025)(10201501046)(3002001)(6041248)(20161123555025)(20161123560025)(20161123562025)(20161123564025)(6072148);SRVR:BLUPR08MB424;BCL:0;PCL:0;RULEID:;SRVR:BLUPR08MB424; X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;4:k3G9233rfowKmwP0dJuFvq41f9I5VOAXTBQ0Vhq9mmVi4Ae1NGn1XtKpXlrQ15ZRMHl7L/Buuxue5A+jIYiDMzDOUafcptM5/SLNLKROIfJRQeBXAELtCwadsFCUcE4Yfyk5k/2Gplh4U+VC5uLN670Caun+fQCsA3GWJVYWRd9ppyBHj5ektmTz9cfKAdPPzOk5wt1XfSOA0zeuPScksU8xi5B2k9IDUihqKGef3MvZw6Jn4KLBKRNA6fYKTKGB+ktUyxt5efkd5R9gXCHfST5D9TYvFzdG32/6nmkj70Sct0MWCpGhUza8n2Oyzz2BovqHXFPSgX/wdg2h+/aoLiX+sfPAhkRVSWX/slOtIDXtmajrzr2uUcK9zZWS4LonygIffq9lSOpTw2JwuLZ1Ls1Yc7tdSMXKIusjVc+iRcAZ7DktZKhU1m5bsN/xxCdOHwwDQRZ7Sw0yG86XrCKStue4i48t4J0VJR9i1nwLFPDmU3QQcMb9aXNduTNRmDuN/dwLW5eI6LlP2PglVdmeqD1eJID5qjdKG8KO5JcSP42W1IJnUM3+zZTTorgXnus0rtqNCBfuXM+rZKfHMn7HRYajr5p1zmSSLbOIkYaQ7/LRFbj2RWD8lquJTg4N3SAK5E3DluzB7tEY52Ofbr7yBg== X-Forefront-PRVS: 0200DDA8BE X-Microsoft-Exchange-Diagnostics: =?Windows-1252?Q?1;BLUPR08MB424;23:rTV3MP/vI2WWcXQIi37/h46zNhqFwFpKWLeIXh?= =?Windows-1252?Q?SQ3wq9LyAeQPri1H3UyILvNfYAzD0NUyE/0ACjTmyjaPYfslDqOB92hj?= =?Windows-1252?Q?68ehYPgSPqTfBFVh4Nyoq7fQPZZfjwr3USQH6r4RBWA8Jsgr4hJsO+7H?= =?Windows-1252?Q?QqPHkDl6dscB8d9q7ne7uZJbDKAerCGxcunXIl6GUecDX1nNHWorjmyy?= =?Windows-1252?Q?mM/VmSodvQg4Quko8Ki1fPpK+zCz+GqfjmfMinWiX2oov86zaog/bOjK?= =?Windows-1252?Q?keq7VsV0ve3JzzwkScRxaEf1HZMXBVe+eAtwXfoGx/vRfBd3C6ENYRD5?= =?Windows-1252?Q?bpgMPZtohdE8+jPmZlL1mykotdwC3RIUCfYB/bZ1PHnQExmHM115hORY?= =?Windows-1252?Q?hlSnxY3otvZAR5Nh9d3h3heKifIMHa0Ymh1dQalq8riiAZ5T0ceZhxBe?= =?Windows-1252?Q?b3h4tqA+ZYOH/A6Ce4Asn+1BNcvUxhZQVB5bAc31ra6L90tGiJNRcLSa?= =?Windows-1252?Q?VPQGz6VjcHMBpu+xifvaT8H0o9T4TkjBUItgP+I1eo+pSawDyn14JBpX?= =?Windows-1252?Q?hxkTIccYzRwtJ9VrDC0je2kdPwbf65Ma6gqTk7heaXN0Kz/Fajro+Zvm?= =?Windows-1252?Q?u6EJG4vxjAsZLzQgpLj/THtguIP2x5Hgu6c1relPYNFd+6osjo1C0ehj?= =?Windows-1252?Q?gj2js6A/xJcFn7osFBSd+dQWjWAhQAae87RFffSJch6jGPvbvpwUGP/F?= =?Windows-1252?Q?CT7LRbSvusYyqS8F7cb0GAg2oSF7qMrBVhUddxT5+AeHA/o6j8PJF5dY?= =?Windows-1252?Q?XP41TW+Y4E89KWw9B1+qI/vFRmBZwBERr27WqXOozPtLEJYU2RR4o7GH?= =?Windows-1252?Q?8qdTEztiUcBuV8N/cVnlYWxyzJjFnxstksBBVgKJmUwanMDVAuch9uWG?= =?Windows-1252?Q?2Av84Lmjeap2JVJcwLkJcjBD/7MmYmEJ04pr9UB0EJkFbbiqtxNHQjkH?= =?Windows-1252?Q?jgL4eKsEmOnSgdmuXGzkZAzxNZl/fdgPkAlPwBAmu6ppdQHWjAT89gzx?= =?Windows-1252?Q?yKGbfKW7J/G3Nz5pCMRgSfR1UEI8KPNnX1BItWmyV9r/PLpBFXTnVK5r?= =?Windows-1252?Q?yXlD6csj65/d2uO2q8H2vJF3w7iWN0iVRehcCP0MGVGOKdMYvzJ06qRh?= =?Windows-1252?Q?ncOswXQitiVwAXe79D638aviCViTpDluWcOV+Lu4BwULt8VZLBnsUm94?= =?Windows-1252?Q?YEYBRuOQ841k9szrP0RodYrcseYHD7x0jJM+WeZ+L7mtIAOIl6hieCWc?= =?Windows-1252?Q?yQ6V7B2EB2fGK0qDx2xqO/p47nlR/lL02ymzNGqZV8Q5Kvv/oxncsBgO?= =?Windows-1252?Q?q/msHMzIQ5?= X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;6:LYi1NtmASgCkjCeuHQPvWMdDpsD694yeamoNxXX7veR2hhjFP2dQRM9MKznVxwaE0wY7q/Rm9qsNVgY/wWmCMa2E9Embqi6vU1Wkz4KCd1satgOwPwg6uCLEOQE179colQJuWfejLK9STlhyXV/Zm3zPDEu4aRwZnp3XOGF+mtQljhBaL5JZ/egm4Up+9a+Z2bo8B6nzQeFkYYvi7OQNCWweYwDhkdSiVKGi272V2f5QA9xwPJV+HQa/yk0vRR3w3FftMVUOMPyFV5z+eVK/ytEI4qMAkVTI7SHbY9sk2S4q/oCB2vjDjqocoBR8kt31B5yn1KFRJYu5hPxn/v0+3B72XB0OKxKusUvi0FbEeeB/uIAdBk6wjT4PmP8YOGeV0PIrYpaeLqmhHzjzQc0M08BdzelHtbHDnXK2KvHCSYs=;5:hshtraXOqioUQzZf7NHdx8nV4rnNxU0b3ovBJL2B1io3LuJ9ChAm7lDTuJY3xfZWFFpaaatU5CwFjSqg9iBnZDqx/9tpLIUlNahi9xXWO3Zv+eL+XN6NsoW3oGYcYtaZHMMMamH+NuXzkS0qn6iYgQ==;24:oqiiMVjQ0MJIQe5SUIN0u/wd4AuOXayUAjZ2jMBN8p4v1TTrNr2L1QLj84BmU1J5UByS8QkRFQuvt8MhGOXwDChwpckyiDzGo+pm5bm0I8U= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;BLUPR08MB424;7:iezXMtqmIclRK6TvRJ09iNIqUATPYfCcy7BpPJ77z7xXbMJWNYE+xtrebUpj1mlLcOevj+3Kc4Psd4/f3dw8HvLR5y+Dtx9NGKVLZneb/sTGoblL1uodzxO9JfkmLIr5zmxOxeS/VTA6pUA7YjUc+BFdTrnt7/e2ZU8lY9wELpZvzzhnSWWohXtlMQvNv053g57ODOxRsJjxHnMqHuxqaSdPTaFFcEwC5kDyu8tXQQZiL7xSgdSfAO0SFbhFxxShrl1imcaJLPiJsm25z8+TrQKbzkL2JgYb8ShTo1mWX4aISEae0RVN+PL6xH5Zj2qM2heq4SrizwNwrMnQQmQAU0+ArbVr2c8aoIRrdFTx7pvqNx8Uj5Hc8oqWTVFJn1jQ0zai9aWdX4730ULvhar8uImP3DJC32UaKK0G67CZ+rZnNgk75kickBy9ygt2mHd4CgToka11J3V2D6c39SfmRQ== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Jan 2017 16:40:09.3122 (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: BLUPR08MB424 Subject: [Caml-list] where are we on the Hoogle for OCaml front? Hello, Do we have a hoogle[1] equivalent that is in production for OCaml? I mean something that would index all source code available in opam and allow queries by type signature or keyword? Currently, I use ocp-browser but I still feel like it's a temporary and not super efficient measure. I don't know how to do query by type signature with it. And many packages don't install their doc so you cannot see the doc for each function. At list for the stdlib it works (inside ocp-browser you type List.map then spacebar, for example). When I was an Haskell programmer (for two months, a long time ago), I felt Hoogle was the biggest productivity enhancer (you don't reinvent the wheel, just find which one you need and use it). Regards, F. [1] https://www.haskell.org/hoogle/