From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id mEdeKzAIvF9qOAAA0tVLHw (envelope-from ) for ; Mon, 23 Nov 2020 19:06:24 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id qK0tJzAIvF99HQAA1q6Kng (envelope-from ) for ; Mon, 23 Nov 2020 19:06:24 +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 421A1940341 for ; Mon, 23 Nov 2020 19:06:24 +0000 (UTC) Received: from localhost ([::1]:37548 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1khHAM-00032F-CB for larch@yhetil.org; Mon, 23 Nov 2020 14:06:22 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:42338) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khH9Y-0002za-6N for help-guix@gnu.org; Mon, 23 Nov 2020 14:05:35 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:40782) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khH9S-0000lt-HD for help-guix@gnu.org; Mon, 23 Nov 2020 14:05:29 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id F1C78D43; Mon, 23 Nov 2020 20:05:21 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id FZ1OkLu8BXnZ; Mon, 23 Nov 2020 20:05:21 +0100 (CET) Received: from jurong (p200300dd5748a200c7839f6f86b80aec.dip0.t-ipconnect.de [IPv6:2003:dd:5748:a200:c783:9f6f:86b8:aec]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 1C2EDAA5; Mon, 23 Nov 2020 20:05:20 +0100 (CET) Date: Mon, 23 Nov 2020 20:05:18 +0100 From: Andreas Enge To: help-guix@gnu.org Subject: Unison with non-Guix machines Message-ID: <20201123190518.GA7180@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Received-SPF: neutral client-ip=185.233.100.1; envelope-from=andreas@enge.fr; helo=hera.aquilenet.fr X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_NEUTRAL=0.779 autolearn=no 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: , 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=none; dmarc=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.51 X-TUID: O1/+NAi3GEbh Hello, after the recent move to a newer ocaml version, I cannot unison any more with my work machine, which has unison version 2.51.2 (ocaml 4.07.1) instead of our new unison version 2.51.2 (ocaml 4.09.0) This raises error messages of this kind: Fatal error: Server: Fatal error during unmarshaling (input_value: ill-formed message), possibly because client and server have been compiled with differentversions of the OCaml compiler. (there are weird languages out there!) Previously, I had somehow managed to copy a statically linked unison to the other machine (which does not run Guix). Do you have a tip on how I can obtain such a version? Possibly with Guix? Or do I need to compile it by hand? Andreas