From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id KMPFNRUsT2biDAEAA41jLg (envelope-from ) for ; Thu, 23 May 2024 13:44:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id EGJoLxUsT2bbrwAA62LTzQ (envelope-from ) for ; Thu, 23 May 2024 13:44:21 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b="nRwFjve/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=foundation.xyz (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1716464661; 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=bLZaGmoH2UMcq0VpYpC0LEQRrijSNgeFMjTDwBm3LQk=; b=EbpUOAHSgGVqYhD+EEcycD17SDzqn17kiJXcZmw4OOtkYa6yTr85wE1bZ8OyR76RF1b4Lo V48EsumzA+EV265OfiKnEcgyo8cszOeAVtc46SbDSBanOf/2pd9K3nzkLaBSz06Wle3zmC j9304Mc9UV5iAicJDBRh42Net2j0hMQQZ0HjLy5E2hvfsW5ipcXl9y3AnDk0hr8kOuks9p wg9aKQi7sWRgNoN9nPt6saxGsuSbaGnhHq9pHnL7XBfUuRta+1eU+JO/IYITMgPEJ5V1M/ 68gdm+jsmODAycvt0vrDgrpoCRsamtMkNShx9XRDQfo8TgjLwhtgi4i09C0I7w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b="nRwFjve/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=foundation.xyz (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1716464661; a=rsa-sha256; cv=none; b=E1pT0N0Arija9Ko0Fs/yRSyNdiqoaw21zt1vnF/viWMNisfUAZj/o6klzccuCP3n+bh8r3 O/D141dcQAXpN8hDF1P43Yc8Oigh6Bk4Q89PzYXkEaEizI9h98pSLyi9bPTlpph6oZ9pOC uxRuh67RW2NJYd7YaxfwHb+JOnzwmmtWXkjVaCtlyN5mrjr4nSS/TcvhY9Dz5QhChYxDyz WZVuI5Kgwh3brv4Fckh0QMCUS82CvRZxILS3LbV2e7ETHLZnzFVSYVR8O8Y0qGD+T8sPXz WJSvt+tocc2C4189pB9y+J0Dhby//tsEPa+evDGXxjlmkpVczlkc/JYhDG84jQ== 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 123E874572 for ; Thu, 23 May 2024 13:44:21 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sA6rk-0005af-Vm; Thu, 23 May 2024 07:44:14 -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 1sA6rX-0005Za-HQ for guix-patches@gnu.org; Thu, 23 May 2024 07:43:59 -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 1sA6rV-0006yR-9b for guix-patches@gnu.org; Thu, 23 May 2024 07:43:59 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sA6rZ-0001i2-OQ; Thu, 23 May 2024 07:44:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71145] [PATCH 0/3] gnu: ocaml-sedlex: Update to 3.2. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 23 May 2024 11:44:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 71145 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71145@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ , 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.17164645846550 (code B ref -1); Thu, 23 May 2024 11:44:01 +0000 Received: (at submit) by debbugs.gnu.org; 23 May 2024 11:43:04 +0000 Received: from localhost ([127.0.0.1]:58958 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sA6qd-0001hY-9C for submit@debbugs.gnu.org; Thu, 23 May 2024 07:43:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:42674) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sA6qY-0001hB-7f for submit@debbugs.gnu.org; Thu, 23 May 2024 07:43:01 -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 1sA6qM-0005PR-0b for guix-patches@gnu.org; Thu, 23 May 2024 07:42:47 -0400 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sA6qK-0006rQ-70 for guix-patches@gnu.org; Thu, 23 May 2024 07:42:45 -0400 Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-354f14bd80cso1105910f8f.1 for ; Thu, 23 May 2024 04:42:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1716464561; x=1717069361; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=bLZaGmoH2UMcq0VpYpC0LEQRrijSNgeFMjTDwBm3LQk=; b=nRwFjve/afLvDN1HrOD1QpteJTHd3OJITnUZv0WrxVw+K1uxGlk+Uuucm6RFkJy1rM Uyg8I2+cXKdRuOtdcnPpyjYUd7S6wrJPc5szb+JpqDiL+6pZya5nS34f/OesK0H8OnL2 YZJgAdkkxSOGH9IDPgZ3WKGRpgAN0zFb0h2ryziO5Be6Dwew3cHaI7BNFE7cvSF0DSrX 8TsR1tidK3cpyIA2yUdX7x7Su0bv/y0Q4U0awWFKj3ZBVOnDotN5fOB0q5/ctIdhKn4T A/gPOvpKC061J/m1AWks66yxsl1IXVMe4P4lcQJlXK1yUb3JnrM9fzX9WAzel+4DKk0y s5Xw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1716464561; x=1717069361; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=bLZaGmoH2UMcq0VpYpC0LEQRrijSNgeFMjTDwBm3LQk=; b=T0oVlN9CY5M5MvS+Nib6CmsM1N3N6JjuOavPHSx3RHPuouz0ntAOwjVG8BPYrboQ/u U4tlAMVvQcQGBZjfzrf6H+coCtYe7RVCnTD2uNHj2clICGneq1hvPkE2v2iEGyCGUwsm l/Q2FpF0kzUqvccaGMRW2iZnG1uoPqewAMJ5Nv1muSd1s630cMVS4ZCZ/NKyCft045Vr G+3EK3v258YISBu5e6fVha3Pvt4sUABI3C/pJMdKEQOB1TiDfVXcg6aI5T1TkOyOiq+U CBs3A17c01qSDS2OtDWdtIqRpcIj43O0igSjo2nYQm6dAVnNyyv5pUCNe3nt7JcrbwiV NdOQ== X-Gm-Message-State: AOJu0Yxu5QwV54gv53Nx9AFwyF47Vsjh7YYaUTaiRb6wuKG3GUwDm0R0 FhYaGpz6P+t4if3EnPHZq2b6FosYHL/+MxtoTYjdVxGDFMQ8av7TGbzEIwsIQas3zq1d7fxQQuH c4uLong== X-Google-Smtp-Source: AGHT+IHJRc7wSxHgc4bsDFp9yjswTEFazZEd/Dl0FJShYK8yW0XU3hxYsSTywiPqFUK/rvzMjhI5ow== X-Received: by 2002:a05:6000:2810:b0:354:db7f:a6a8 with SMTP id ffacd0b85a97d-354db7fa7camr3498423f8f.55.1716464561421; Thu, 23 May 2024 04:42:41 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3502b79bdc7sm36417122f8f.22.2024.05.23.04.42.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 May 2024 04:42:41 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Thu, 23 May 2024 13:42:38 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=jean@foundation.xyz; helo=mail-wr1-x42e.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, 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: 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-Spam-Score: 3.94 X-Migadu-Queue-Id: 123E874572 X-Migadu-Scanner: mx10.migadu.com X-Migadu-Spam-Score: 3.94 X-TUID: g1jrvnO8TCoO This patch series updates ocaml-sedlex to 3.2 and refactors the package definition to use G-Expressions and to use the system's ucd package instead of manually downloading UCD files as the ucd package is kept more up to date. For now there's no package using ocaml-sedlex 3.2 as every package depends on the 2.x versions, so PATCH 3/3 is optional but at least useful for me for development. Jean-Pierre De Jesus DIAZ (3): gnu: ocaml-sedlex: Use G-Expressions. gnu: ocaml-sedlex: Use ucd package. gnu: ocaml-sedlex: Update to 3.2. gnu/packages/haxe.scm | 2 +- gnu/packages/ocaml.scm | 95 +++++++++++++++++++++--------------------- 2 files changed, 49 insertions(+), 48 deletions(-) base-commit: aeba4849b42b4d3ac75341ac4b61843c1fe48181 -- 2.41.0