From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id cIVMEyhNvl9JJgAA0tVLHw (envelope-from ) for ; Wed, 25 Nov 2020 12:25:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id TwJFDyhNvl9/NgAAB5/wlQ (envelope-from ) for ; Wed, 25 Nov 2020 12:25:12 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 58EED9403E8 for ; Wed, 25 Nov 2020 12:25:11 +0000 (UTC) Received: from localhost ([::1]:33612 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1khtrA-0005mp-PP for larch@yhetil.org; Wed, 25 Nov 2020 07:25:09 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:48182) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khtqj-0005kv-Mq for help-guix@gnu.org; Wed, 25 Nov 2020 07:24:41 -0500 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:36793) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1khtqi-0003kY-8X for help-guix@gnu.org; Wed, 25 Nov 2020 07:24:41 -0500 Received: by mail-wr1-x42a.google.com with SMTP id z7so1730945wrn.3 for ; Wed, 25 Nov 2020 04:24:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=TcTSIk92oWLPw08kp1bBipOC4Rxbp5MXbLe/8r1D5xU=; b=RqoVpg9K/5Uvz6mmruo+bUYgn3FKLctOfbB2B3MruXMXyYYsRfXox3lqhBta4rTlBO aNZ6IkrBS79sdW2LbqxLV4khg9YjuEMX3THbkifat2UiEXfxc3OanxAqkadvQ/0P8Exh tk4oVyxwPzLFj61+79CTHF1nafHAR9ajUXI4qbGRDv7pYXtYLi2k08WqzRsY3AhvsHZK 0LmZc5L1rCaD+wgJP4OC7rs86A42oZ1RkEfw+EWaEqx+Tm9YkR6aDgwGY4pNZizA5Dh/ wKaR6MV9WT2FPZGen0t/h75cizbeCqcQR9aT/ZOE5Dwzdg9SOrHWgtjeCgjn+simnfIC dvqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=TcTSIk92oWLPw08kp1bBipOC4Rxbp5MXbLe/8r1D5xU=; b=MT8rWvMtUO2jcX3bd+5inkn1MQDVlxSK9whL2Vsqq+mHTWbTSmrPw2+b3xbBBco6D4 Lt/wSOKjDFbdEWm0l10gPplar+akPgTnbf8N5GIBTRkB04E9sobUvfixISv9MwtBaMF7 geAh0S96vVbP3DK9xidN9I/vFttblyseSncEahh0KxqVraVMyIqdS3jYlW99JdAVTBDe dAlw/Uq0T15PyG0J4GxzHJo/n/4JQGcQddPd/P6GIfvtQPf1pYtJw8sWm34dDx567Zv4 +K4fJwQGlGq92YxnUbNl2RM3atR1nXp2qzw2A8AjqPf06ijCnu823g+YYFFxyYE5gw0u LIlQ== X-Gm-Message-State: AOAM530Z7Ofyy7oPGQsii+wbHrQy6iWHb59qXfv+oee2hPPsBbBghxVP m4ElV+yyMB6k8VXAnDesrss= X-Google-Smtp-Source: ABdhPJzogtxmklQISD8hA8UtrX4MX3mQ1D+czf/p2ft7xc7a9mofHAoht7ddP1D4emyKF++zHMpeig== X-Received: by 2002:adf:d0c6:: with SMTP id z6mr3947918wrh.10.1606307078784; Wed, 25 Nov 2020 04:24:38 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id a9sm4450981wrp.21.2020.11.25.04.24.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 25 Nov 2020 04:24:38 -0800 (PST) From: zimoun To: Efraim Flashner , Julien Lepiller Subject: Re: Unison with non-Guix machines In-Reply-To: <20201125073250.GE1755@E5400> References: <20201123190518.GA7180@jurong> <87k0ubqg8y.fsf@systemreboot.net> <20201124102434.GA7149@jurong> <86mtz7t4rc.fsf@gmail.com> <20201124105317.GA11053@jurong> <20201125073250.GE1755@E5400> Date: Wed, 25 Nov 2020 13:20:04 +0100 Message-ID: <86d001tyq3.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::42a; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=gmail.com header.s=20161025 header.b=RqoVpg9K; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: Rgo6gDt5Sg/w Hi, On Wed, 25 Nov 2020 at 09:32, Efraim Flashner wrote: > I suppose other options are to provide a unison-with-ocaml407 package or > to create a static output for ocaml with the static build and not just > static libraries. >From my point of view, in the short term, the OCaml 4.07 packages should be removed, maybe even the OCaml 4.07 compiler; keeping only the last one 4.11 and the previous one 4.09. It reduce the burden and the user can always use the variants via the =E2=80=9Cguix time-machine=E2=80=9D. All the best, simon