From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id KIiME3CDKmVAOwEAG6o9tA:P1 (envelope-from ) for ; Sat, 14 Oct 2023 14:02:56 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id KIiME3CDKmVAOwEAG6o9tA (envelope-from ) for ; Sat, 14 Oct 2023 14:02:56 +0200 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 F241E61F8E for ; Sat, 14 Oct 2023 14:02:55 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b="Hy/cATlr"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1697284976; a=rsa-sha256; cv=none; b=Tvwbzq28Pn8DUTEaQRK8DTxKYv9R1g6X2XhRYygIp99zf0WYP+BDjcYtjyJWwJ2tPeFIO9 UeyTFs9qW3PP5LJuag9mlqp2/HER1dXg0xQ4gAYJTqzYe6UTexSWa+nX5T9H6lcvM5y5NC 6qN/Ysx2hiPeVjoawf68Lrpi8Oz00o9zchcQygu75DFHTKybtuLdVHFT+WDUQlY6xpYJ/x SEZJQxQ1nkLWiKMJBMRFG7dYVTQ7SnskblyAGQzIW6nqpLUfgBskOVEfCAwxLqZglSLEKQ lkArsvWySWdTOS0FAa/r9oTChx+9T2s6SjqgZoRuSHOJZQ4h7UBlX0x92T0LzA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b="Hy/cATlr"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1697284976; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=xjZhAJFwQ+rfJcwqGV5IXYdC9hs9xy9C2GBz6JAyPLg=; b=OCYYu8XhCvQ1NBXwkNJYHYrV4xeOf3M8wYlR9AENaut5NUBSnWEhjldvEV1oRZzzvbQ5Qq ++Xju9TwzkRya3KWBYVbhpfMCjP9e8q7ib53aRAPnC3rxN29BQJm37tyjxgvduku+F+D8E OeWOW/JzTNZwoj4LyyTzJX5rkJmmQvJ6Jv6Om7+ECX1kcpHT8ccvTTdIp/bk/GPmjh3KeI V1ZVcAI8b9Yrs2HjsZarpenX8DhcVBP64G2JVwZ5KSeQClc+zVjilELPjZ0vY5e0gY9qSt 996T5c0kOW/JjqAVrYSKhDHNou0M/Xv8RnYHL8TtzTzz8pHyWgwpAwMVSiXIvw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qrdLu-0005IY-3X; Sat, 14 Oct 2023 08:02:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qrdLs-0005Hv-Bm for guix-patches@gnu.org; Sat, 14 Oct 2023 08:02:40 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qrdLs-0001Iu-2o for guix-patches@gnu.org; Sat, 14 Oct 2023 08:02:40 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qrdME-0002va-GW; Sat, 14 Oct 2023 08:03:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66536] [PATCH 0/1] gnu: unison: Update to 2.53.3. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 14 Oct 2023 12:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 66536 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 66536@debbugs.gnu.org Cc: pukkamustard , Andreas Enge , Julien Lepiller , pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by submit@debbugs.gnu.org id=B.169728492211106 (code B ref -1); Sat, 14 Oct 2023 12:03:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Oct 2023 12:02:02 +0000 Received: from localhost ([127.0.0.1]:48037 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qrdLF-0002sx-J7 for submit@debbugs.gnu.org; Sat, 14 Oct 2023 08:02:01 -0400 Received: from lists.gnu.org ([2001:470:142::17]:54070) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qrdLC-0002sh-DU for submit@debbugs.gnu.org; Sat, 14 Oct 2023 08:02:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qrdKj-000574-ID for guix-patches@gnu.org; Sat, 14 Oct 2023 08:01:29 -0400 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qrdKg-00011E-S8 for guix-patches@gnu.org; Sat, 14 Oct 2023 08:01:29 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 4B3DE240028 for ; Sat, 14 Oct 2023 14:01:23 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1697284883; bh=Ro/14cmpUYMh0rwBbrA+/oMws0/e05hq5TV8qlOfsBE=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=Hy/cATlrW1vN/kW+RuN0njCgD+A9b3OLcJhI0yIgS1UTE2zPIn+zUJkjlLb1aH1j6 6T812pj87IYI0DR55QqCDIDPVF8VIO/AfaVsqKuSHkLHn0jeCvfDysi2ttYxoi6sLF Hveech1bIjtX7dJZs6YoMouAQ4wobSsHgEiz45uBKzEAl4Ujz+rZW5Ftaf6UOdMQAz CCnPl3kj6x3mQFDyH7NVUX3G1lBLep62wEmn4GYG2t83yCt8dduAoQYQNioRNMdrZR JTKLhftAFQHEip6fe2xunnkioAUh+kdx39DHsA6LV8VEyISXGycaVHzKDk+f7MnAH+ /FafynPjjzu6Q== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4S725t3x5Mz9rxG; Sat, 14 Oct 2023 14:01:22 +0200 (CEST) From: pukkamustard Date: Sat, 14 Oct 2023 12:01:12 +0000 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx1.migadu.com X-Migadu-Spam-Score: 4.10 X-Spam-Score: 4.10 X-Migadu-Queue-Id: F241E61F8E X-TUID: Cvd7HO0nZb11 Hello Guix, This updates unison to 2.53.3. Unison can now be built with OCaml 4.14.1 (instead of 4.09). We should now be able to remove all OCaml 4.09 (and 4.07) packages except those needed for the prospective bootstrap. CCing Andreas who I belive is a unison user. Cheers, pukkamustard pukkamustard (1): gnu: unison: Update to 2.53.3. gnu/local.mk | 1 - gnu/packages/ocaml.scm | 50 ++---------- .../patches/unison-fix-ocaml-4.08.patch | 81 ------------------- 3 files changed, 8 insertions(+), 124 deletions(-) delete mode 100644 gnu/packages/patches/unison-fix-ocaml-4.08.patch base-commit: 1328c4cca531318e3ed90c6aecb522a5b22a4bcc -- 2.41.0