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 D16A57FA56 for ; Thu, 24 Jul 2014 16:10:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8CANYS0VNKfVK2m2dsb2JhbABZgmp2UwTJOYhPFhABAQEBAQYLCwkUKYQIFCgGARQlAw0FJjQFIAEFAQE0CRmIDAMRAQQDBZk4gxNqkCuLBicNhz8BBQ6PWoMYgRgFhXWVPYFTjFWEKkGBaoMQagE X-IPAS-Result: Aj8CANYS0VNKfVK2m2dsb2JhbABZgmp2UwTJOYhPFhABAQEBAQYLCwkUKYQIFCgGARQlAw0FJjQFIAEFAQE0CRmIDAMRAQQDBZk4gxNqkCuLBicNhz8BBQ6PWoMYgRgFhXWVPYFTjFWEKkGBaoMQagE X-IronPort-AV: E=Sophos;i="5.01,724,1400018400"; d="scan'208";a="72689014" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jul 2014 16:10:19 +0200 Received: by mail-we0-f182.google.com with SMTP id k48so2774340wev.13 for ; Thu, 24 Jul 2014 07:10:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:subject:message-id:mime-version:content-type :content-disposition:user-agent; bh=J/NDa+8mrZnR/CGNUqsZKZcw5ON5KK4lpXDxIyNL2TA=; b=r1SkDOki2ESk26Zo5Ps0B6Dnv5Z40bjTqnZdBlPEumPbKuZdRG7K8rkeH7bDbzsCSI dQr5KSa/AfMVQpZDaA1e0j0yhCTSlkcQLPFuZcS/QKPXGU8poMXebI4vtFOW2Qkubztb nj+DNoz+t2MuqT3RtuF3xFRpyFYI2xN6NpDm+r/kLZFZAcpbe+LqNamy1Ck70VZ+JJd/ /2ISfjJxdVorLMgSzhfLbEHy5U5/see/8JTgBQTxrT6+4+WNa/XaH29AoG8kQeiV7SLC SKM/BIAg21gg0asTwwwgCbREYelcbQ2CUE0gKHCKeJRhGfscxtDwBGFUdBmcqbFqjF++ lGhA== X-Received: by 10.194.158.226 with SMTP id wx2mr12615019wjb.107.1406211018185; Thu, 24 Jul 2014 07:10:18 -0700 (PDT) Received: from traveler ([2001:660:3013:3:2ad2:44ff:fe6d:65df]) by mx.google.com with ESMTPSA id dn3sm23462820wib.12.2014.07.24.07.10.16 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 24 Jul 2014 07:10:17 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1XAJip-00050D-I3 for caml-list@inria.fr; Thu, 24 Jul 2014 16:10:15 +0200 Date: Thu, 24 Jul 2014 16:10:15 +0200 From: Roberto Di Cosmo To: caml-list@inria.fr Message-ID: <20140724141015.GA19029@traveler> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] [RFC] User criteria for dependency solvers This is a gentle request for comments on the user criteria language accepted by dependency solvers used by package managers like Opam (see [1] for more details). You will find in [2] a summary of the current language, with some use cases, and a few proposed extensions to it. It would be particularly interesting to have feedback on the expressivity of the language: if there is some feature that is really missing for some use case you may have encountered or envisioned, this is the right moment to suggest it. You may answer off-list, and we'll try to have a final proposal ready for the OCaml meeting in september -- Roberto [1] http://www.irill.org/videos/OUPS-2014-07/Meetup_OCaml_package_Managing_Roberto_DiCosmo [2] http://www.dicosmo.org/Articles/usercriteria.pdf ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 3020 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3