X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:10:08 +0000 Resent-Message-ID: <handler.70567.B.171405056910950 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by submit <at> debbugs.gnu.org id=B.171405056910950 (code B ref -1); Thu, 25 Apr 2024 13:10:08 +0000 Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 13:09:29 +0000 Received: from localhost ([127.0.0.1]:60674 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyqq-0002q5-QC for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:09:28 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56970) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyqe-0002nf-LA for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:09:20 -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 <jean@HIDDEN>) id 1rzyqH-00083o-0o for guix-patches@HIDDEN; Thu, 25 Apr 2024 09:08:49 -0400 Received: from mail-wr1-x434.google.com ([2a00:1450:4864:20::434]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <jean@HIDDEN>) id 1rzyqF-00025E-9U for guix-patches@HIDDEN; Thu, 25 Apr 2024 09:08:48 -0400 Received: by mail-wr1-x434.google.com with SMTP id ffacd0b85a97d-343d2b20c4bso712700f8f.2 for <guix-patches@HIDDEN>; Thu, 25 Apr 2024 06:08:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050524; x=1714655324; 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=fXQCpmo/NVsnAm4KirbVEQCVSbPI8YEjl97XAPDNNeQ=; b=CZjnj6hsrAeWunpIXl1OWswbul15nM1y3nQLtNUSgqE9tcl/+A0ukqX8NhD4IRGqQm IAa/hKPYOIrBW3NGeBtdCNW2emhmnssxbkzyzjMI15eI1/G+o37chfNKl3WdmIcNSxPG 9gl/6VlOzQAdWZ/Hkd85LQ/jTZkF+BnGc0LY5Mdl6iM0S/UibD9cREBEnwyaWnWLivpQ En4FbjkkQvl94WWBmw8Qn5rzEnHryCDiIzbezeLRsAA+pPLQ5qCNNLRm9kbrQBNaOETr Gc42weVRqgxa9J8sklzYV/AirbsHsReSX41hAHBrv3OtObEA0z1wVQGlfLNNppKIyuIe Guxw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050524; x=1714655324; 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=fXQCpmo/NVsnAm4KirbVEQCVSbPI8YEjl97XAPDNNeQ=; b=OnMzOSknIij1vJOZNcOIExYpqCDN1BXxVydEX9FouzUOA+9cpoz03OtT6mML9PRki0 J4jK3GtpotgzysBmr/YKOnfGP1781/ddoF1oJqH8S9iEO5ikJsTlG4kJhH87fXkplemg HEQi2ZFxS/dmjym0tXrLSq3mOoumc4h0M9Mzl7pkJ6vjVmll/rE+xmdwp7n7yLIryn4X sfP6CxjQMe8q4vbF4ER2HVmgy4oB7IFR61FOPKfrQlWuFgywa5WDY/AHUIocDqdjEn7E MLGrQCi9L1rsM8RXahjOkt+xOSiKclCDna5bRhaW1oQgH7B8Krn2sfoaTB0RvJh7HZ7Y gacA== X-Gm-Message-State: AOJu0YyczyfAn4ozVhTbdEi0e/my7L4wWNuBpq5/rD2MMUey7GsaVD+a WGLpmRrOENjEBMonbIkU2aCMdVabXaKpw5TskOVLZ0xC2vUAeGWwYyp759VeDHBGF1dNS6Cxdk+ L X-Google-Smtp-Source: AGHT+IGyGvmRy6iwTJuJmAnVl0zGQzotBn8ffSnrB5PNLKKPy7u6YLWFB25L/yd/yiLzwE4amuMNWQ== X-Received: by 2002:adf:f487:0:b0:345:d9ac:cd5b with SMTP id l7-20020adff487000000b00345d9accd5bmr3667942wro.65.1714050523535; Thu, 25 Apr 2024 06:08:43 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id m7-20020adfe0c7000000b00349c54d6cefsm19954218wri.54.2024.04.25.06.08.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:08:43 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:08:40 +0200 Message-ID: <cover.1714050321.git.jean@HIDDEN> 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::434; envelope-from=jean@HIDDEN; helo=mail-wr1-x434.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-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.0 (/) This package updates Frama-C to 28.1 and its dependencies. An error was fixed by moving the ocaml-lablgtk3-sourceview3 native-inputs to propagated-inputs as it was needed by frama-c to properly perform syntax highlighting on C code. Also the why3 package was updated and a couple of propagated-inputs inputs were added to enable extra features and also to enable the integrated IDE (also using ocaml-lablgtk3-sourceview3). Jean-Pierre De Jesus DIAZ (7): gnu: ocaml-lablgtk3-sourceview3: Fix inputs. gnu: coq-flocq: Update to 4.1.4. gnu: why3: Update to 1.7.2. gnu: why3: Use new style. gnu: why3: Enable extra features. gnu: Add ocaml-unionfind. gnu: frama-c: Update to 28.1. gnu/packages/coq.scm | 5 +-- gnu/packages/maths.scm | 81 ++++++++++++++++++++++++------------------ gnu/packages/ocaml.scm | 28 +++++++++++++-- 3 files changed, 75 insertions(+), 39 deletions(-) base-commit: e5c130c0f90a7dacc8d223eee494a1b1105dd94a -- 2.41.0
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Subject: bug#70567: Acknowledgement ([PATCH 0/7] frama-c: Update to 28.1.) Message-ID: <handler.70567.B.171405056910950.ack <at> debbugs.gnu.org> References: <cover.1714050321.git.jean@HIDDEN> X-Gnu-PR-Message: ack 70567 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70567 <at> debbugs.gnu.org Date: Thu, 25 Apr 2024 13:10:09 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. As you requested using X-Debbugs-CC, your message was also forwarded to Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlata= n Hellseher <sharlatanus@HIDDEN> (after having been given a bug report number, if it did not have one). Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 70567 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 70567: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70567 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:13:12 +0000 Resent-Message-ID: <handler.70567.B70567.171405078513287 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405078513287 (code B ref 70567); Thu, 25 Apr 2024 13:13:12 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:05 +0000 Received: from localhost ([127.0.0.1]:60688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyuA-0003Or-13 for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:03 -0400 Received: from mail-wm1-x335.google.com ([2a00:1450:4864:20::335]:45417) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzytz-0003MX-2D for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:46 -0400 Received: by mail-wm1-x335.google.com with SMTP id 5b1f17b1804b1-41b5dc5e101so2831635e9.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050735; x=1714655535; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=ZZx322dy4o7J04ua65yAdNg97PEC2HZdKkQapv3JAZU=; b=gRc6fXYSIJ5ev0hjI5GLygmMabR71Jz7rQD6oeP/lSXwh9gBvrs1SwIRX+ZSGBGyTx DiG0m8UMRu3B22YHP+m+vlvExOWAqP1WP1vYnW3wi+7La/Chc2dcT8zjXeKOJyup+8Ze cZoAqJoMJuOxYwO+YMwSX0j88yz/kltt9jDJE7enCsF2rYkEtlzz5/4sCiH9YkzSH/nj vYP+H7lG51hM4DGWpRJEj1eM3pd0TsFytO6LG98EfmZdDgV/mbB+md6aEJQUZ9/7w2kB XRhG8JJoizi6QSFeS5va+L8cy5EUE4tYWsbNbot/40MdKt3BuvXcjNWUO4+CaE03l/9o 7JGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050735; x=1714655535; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ZZx322dy4o7J04ua65yAdNg97PEC2HZdKkQapv3JAZU=; b=Tfaz7sElb/l5XTbo+VP/SpbdwUt/4K8U5YZ+GHcrTv9KMXylpqVmCHdFu46BWLbN9d nGG/EekEyNZRfZDD9FUrnSmlcnYNTQBrHm3M/rPYwQRNJrQJ7V+IzB6q/vU0Q81aHbpP H1KwDcKOYzauT9pSLGAnDl8NRKdwNaD1V0UfuEwbHFIr7hXChjYs7tFt3ObVbBwjckaM Wo6kAyu/ZtGuReeaD1CPk8N2S8JOW3Z30jeqdDgWYGfXNQwkhGehQKS620N23eyu8oaJ I3/qqOiErMW/HQaU95v+iZbU5eLaeV0Sn87/+8NIiH8OaIrgoTx99jYx9PS0VwcXAGJK lwAQ== X-Gm-Message-State: AOJu0YyVz8t/4GBITS3Hz+sA1tBCdzmFAHHhJ/UyDy+gZx98N9aUHSEi 7LWbKc9s+g7lbLfnvPXra2xnXJ/fWoMJrZf/HSV/MhPSTxngAIBSpfyp1n4vS8Io9yGYz0AYOcS / X-Google-Smtp-Source: AGHT+IFvAexsXGi5cPkuj3KsuGi+34FROxOgcYkQYraEiuJ0KtQpiZyru9Gqivbv7PwO3gN9BfTjvw== X-Received: by 2002:a05:600c:3b08:b0:41a:fa9a:d87a with SMTP id m8-20020a05600c3b0800b0041afa9ad87amr4350382wms.8.1714050734973; Thu, 25 Apr 2024 06:12:14 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.14 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:14 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:05 +0200 Message-ID: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): Move gtksourceview-3 from native-inputs to propagated-inputs. Remove native-inputs and use inherited inputs instead. Change-Id: I2b242343bdace17ee3e992ce71f4e49b3c375e15 --- gnu/packages/ocaml.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7fad276b4e..920ccdcf36 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -28,7 +28,7 @@ ;;; Copyright © 2022 John Kehayias <john.kehayias@HIDDEN> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@HIDDEN> ;;; Copyright © 2023 Csepp <raingloom@HIDDEN> -;;; Copyright © 2023 Foundation Devices, Inc. <hello@HIDDEN> +;;; Copyright © 2023,2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; Copyright © 2023 Arnaud DABY-SEESARAM <ds-ac@HIDDEN> ;;; Copyright © 2024 Sören Tempel <soeren@HIDDEN> ;;; @@ -8570,8 +8570,7 @@ (define-public ocaml-lablgtk3-sourceview3 (package (inherit lablgtk3) (name "ocaml-lablgtk3-sourceview3") - (propagated-inputs (list lablgtk3)) - (native-inputs (list gtksourceview-3 pkg-config)) + (propagated-inputs (list gtksourceview-3 lablgtk3)) (arguments `(#:package "lablgtk3-sourceview3")) (synopsis "OCaml interface to GTK+ gtksourceview library") -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 3/7] gnu: why3: Update to 1.7.2. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:08 +0000 Resent-Message-ID: <handler.70567.B70567.171405081113571 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405081113571 (code B ref 70567); Thu, 25 Apr 2024 13:14:08 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:31 +0000 Received: from localhost ([127.0.0.1]:60693 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyun-0003WY-BH for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:30 -0400 Received: from mail-wr1-x433.google.com ([2a00:1450:4864:20::433]:61717) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu2-0003NC-Pm for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:54 -0400 Received: by mail-wr1-x433.google.com with SMTP id ffacd0b85a97d-34b66f0500aso728614f8f.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050739; x=1714655539; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Mwu+nzlPKHHRNXTnkz+7BIYh2E405Bj0lI4wMCET0cE=; b=jJ57+PvMtb8BXyqL1bzQd5kPpviF1L6t7bWfi1Cxp38XgdECAtmen3hba6VQ3Adq+n RKCy4dnPaCEuO3ET2ACjkK+GlO17/nQorLsJCHZMzhABpIRT1wQG4eDcU5UbQdF41pIQ 4UDweaB8yRJwSV/fRwEoh/VhIQZvjWLXpqSLKvk2WL6ST8VERTjGspKsQlEl0o8YEOvr eJztMfZndaQGiyL321qVv2I5Ea4K77eluraKAtapx3Tqg2eUxn2S3sUyrrUFE3OBwU4K zUW8nAswTTwZiLJk6ZhiV19EKDw/mqjWWhV3qqT5gRHUChVdzpHOEfrxLfQIgWqm3CKb KOSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050739; x=1714655539; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Mwu+nzlPKHHRNXTnkz+7BIYh2E405Bj0lI4wMCET0cE=; b=CAa+1F3JGrjANUeNlHFpMyU2Vim5Rn2bCm65nG6xIOq84pxrlDfqBQxCuaN1Ovkcuo 7+88T5I6fBG5ke4q7D323a9jTchpf67cANbqyOlNAWOI6a+H6kvLBHQh2Vd5+TwrzvUR nAARev3dspt5DP9CezJELSzVl+hvdAhrtGstsfKP+kmRDciZAAHFSTnbjS4x8mobjNTF aaR2afJWSZqNlMqTv6d8nXncu9nibrY2Es72r92SDVRrGuD3rSD8w8cxaC2HoZwqhGNW GY4mRQFGtLPY8c2Ms6o2U+VarGlXNQEncUwOvEvcJnr1MIqgOuLrMqsdT5qQpXc6EEBO 2mIQ== X-Gm-Message-State: AOJu0Yx46s3I5MrJZgJZzi/rCZsIRkHMv47C1eUGqsaPJRqGc2Y/qebO /YIrKmrC3wszap3j3QnHBGCDIrMEDJivNWV8FmXNq9pi1tuNi3JfVYCk1/banMEU2cd86BtrfUE P X-Google-Smtp-Source: AGHT+IGW7C4ugD48CR04L1kB5+ItSy4Dm793BXPYoUUcOp1XPGEZcaiHBscd5X+GI3E2WUNFeCCRXA== X-Received: by 2002:a5d:4e09:0:b0:343:7cef:993d with SMTP id p9-20020a5d4e09000000b003437cef993dmr3530011wrt.61.1714050738940; Thu, 25 Apr 2024 06:12:18 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:18 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:07 +0200 Message-ID: <428630065739ac8913d338b5ee182b9dd329f42e.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b --- gnu/packages/maths.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 361f2f7b68..5c7f3102f3 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -9388,7 +9389,7 @@ (define-public numdiff (define-public why3 (package (name "why3") - (version "1.6.0") + (version "1.7.2") (source (origin (method git-fetch) (uri (git-reference @@ -9397,7 +9398,7 @@ (define-public why3 (file-name (git-file-name name version)) (sha256 (base32 - "0k3y98xzhrl44vwzq2m6k4nrllrwp3ll69lc2gfl8d77w0wg7gkp")))) + "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p")))) (build-system ocaml-build-system) (native-inputs (list autoconf automake coq ocaml which)) -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 5/7] gnu: why3: Enable extra features. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:12 +0000 Resent-Message-ID: <handler.70567.B70567.171405081313597 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405081313597 (code B ref 70567); Thu, 25 Apr 2024 13:14:12 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:33 +0000 Received: from localhost ([127.0.0.1]:60695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyup-0003Wv-26 for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:32 -0400 Received: from mail-wm1-x32a.google.com ([2a00:1450:4864:20::32a]:59826) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu5-0003Nd-KO for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:56 -0400 Received: by mail-wm1-x32a.google.com with SMTP id 5b1f17b1804b1-41a0979b9aeso6389725e9.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050742; x=1714655542; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=QiTXDV8HtJaXw62eUAMRSHhMTHDJRdLu32kEkZBMkNk=; b=G9jrNNFMHxCfOO/VGZXpN0tnfPjsd91ii5bSzUrNS5BJKIrBJyARXsydtwUqnaHjNQ ZNXh8zH9XM4ELuzpgBDM5Q/Rra9q3DKhuGA+Rt3XjIGiah+TKgPd8JctOUrYzrowaPkS 0P8Bny5CCGy/LrVm9PcK4MB6V/3REP2byRThkhVYA7Qc1IqLBpTt0ejO3Dtr7XgCHBga mM1pMdjI00cKAic8lOw8fF8C1zPkKRz4VaBD8wvmg/Jw87CW/ERXKkBcfHa7LN9Au7uw CrdfPfr+Jo4/jvHxU6+Jl1Zk+VskEJqTNrthCwaopnmjxAL081JBGY2ZW0Fm+M43wnfj ifGg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050742; x=1714655542; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=QiTXDV8HtJaXw62eUAMRSHhMTHDJRdLu32kEkZBMkNk=; b=YTMKX0KpMjycIo5z2wAoJU6expWm/YRP5NQlqyZkxbWy1ePVQTimB17TM1nuzWi6o9 zMSKwMfAepWU1BZxuu5pHiF2JRQ6As/X54vEiStPsPONpX1IaKVOHGmvuZW6mqDbC5BT Fyczik6xgP4Oj6kvHpXftPSnXsTF6jnZ32lseG3w2nV0FiTPOuBLMe1fVzXb3v96p5El PbehwHMwjTVKubk404EX7fti7NyN74eL7SfSuE+a3bxgMGh85+khPOMpRvEFRccXBO+6 29cGKYLe/VeMq+kiZndK49Zxs8jcXMqXBe5vhQ7Y2iydYI/6PS9lYMIzMeoJ6qgTldJe f6MQ== X-Gm-Message-State: AOJu0YzXJpnJ+AQ1wx7ThmQzy4lJKLYVDb5TmqWvb+9y+UZbcHkOS6q9 uLlVkDjy9tJVReLOF/c/fVQWLY7c5k4ruLjCcdZ+tVZ6FlgPInOeOqdCqrMM5wEzNjMHCIpUhPE z X-Google-Smtp-Source: AGHT+IHQbmaDEor85aXP7PrjdzDc/iqoFF/l1poW0jAR2QD0Un6zqP5PBRlFjGHvd5Gcif3SpY63Hw== X-Received: by 2002:adf:eec9:0:b0:34a:4445:22d1 with SMTP id a9-20020adfeec9000000b0034a444522d1mr5213211wrp.63.1714050741878; Thu, 25 Apr 2024 06:12:21 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:21 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:09 +0200 Message-ID: <46392d7f1d7404f2b78623c512737a046db71e5c.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3) <propagated-inputs>: Add ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to enable extra features. Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac --- gnu/packages/maths.scm | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 57f750accc..9bf2f64cbb 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9428,9 +9428,15 @@ (define-public why3 ocaml-findlib which)) (propagated-inputs (list camlzip + lablgtk3 ocaml-graph + ocaml-lablgtk3-sourceview3 ocaml-menhir + ocaml-ppx-deriving + ocaml-ppx-sexp-conv ocaml-num + ocaml-re + ocaml-sexplib ocaml-zarith)) (inputs (list coq-flocq emacs-minimal -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 6/7] gnu: Add ocaml-unionfind. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:18 +0000 Resent-Message-ID: <handler.70567.B70567.171405081613633 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405081613633 (code B ref 70567); Thu, 25 Apr 2024 13:14:18 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:36 +0000 Received: from localhost ([127.0.0.1]:60697 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyuq-0003XG-Rk for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:35 -0400 Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]:60440) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu6-0003Nq-Tn for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:57 -0400 Received: by mail-wr1-x42d.google.com with SMTP id ffacd0b85a97d-34a4772d5easo832811f8f.0 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050743; x=1714655543; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=cR7Oa+nJEECV/CQeTqPzXTNZppIHblnGDmCJwm2aKDg=; b=QyYHM16mkz8xZMrUnMHsTR7x9rlnuUJq6Hs8XbJCJk63V/pISBXKWEvF7460Ew5M6e 5nS1Md2J7/Rd++nPU3zTuqod0KETgy3+Z9zCjovt4Ch8ZAyj6aD7YHhhfvexMySWxtVc 5dOKHr15En4CpISwj0BrOGQvknZYiwIG/mKs7W/mZRxozUn+nWIRBXxjxCRaVffqjc0Y Qvv/LNenFVp9NR95CL3Y6nE6RZf2YMYBGK4R+PdmFY+Suwl1aBnT9q7E6/QTRNwKtYfE fJyGZ5W+KnYuNvdZ+6j4enQnMvJYC7ImXEa1LSGXq9VI9rMUs/NjHvR/67x1NTdRnL6e 8bRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050743; x=1714655543; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=cR7Oa+nJEECV/CQeTqPzXTNZppIHblnGDmCJwm2aKDg=; b=CPNuRp+aHqVxD1Phxm25Py9m0fmFwGF4r2b/qYE7XQdL856NS/CddUQZMlRCnNBV9E SAyCDUsePfGrs9oONhKXhp+0uL2NrbQ8uQapt4sh+4n8yL7aH4SRmlkINo5NOxsp5LxL A/yhlKajg/2Hh7+b9K4LbiSVUDOQNzDi0s9njedID1Hbpr56iEFspZ8GLo55fo+N6JJS xEFFS8tu+U/bgE4INFUU4Lp0fLuoFzm9HhTzzFBRN4DpgHzDASt3EcCqULqtIbud/WK1 WNAvunv8dfXsmkcAh/rSQ9hh31bRmpuQ4rIPvql9je647CqMvZ7Y+vslBVfwRkgBLKeA 0fjg== X-Gm-Message-State: AOJu0Yw/UtRv7KHVk4b4CVSFJn2K9hPZkMfJDVgPLRFI/647fiTH8j3p vdodRnXlUr72m1JMwAAvb0S7OECsn0kXSj/rbPbqE0D8zNk/99jmcO1uEQdq+SANC6cRu5LiViu h X-Google-Smtp-Source: AGHT+IHTeHmKNesGeii22UrjqJx2HNql7Csxxt2Y3yBPj4UqdbYu3mBMrz1z8tfoTuPrz7tPiYlPgw== X-Received: by 2002:a5d:5f88:0:b0:34c:2ac4:2f70 with SMTP id dr8-20020a5d5f88000000b0034c2ac42f70mr890539wrb.14.1714050743085; Thu, 25 Apr 2024 06:12:23 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.22 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:22 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:10 +0200 Message-ID: <3019a8693bf8589e09e840916ea6463cf87393a7.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-unionfind): New variable. Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 920ccdcf36..921b669a8e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3186,6 +3186,29 @@ (define ocaml-eio-luv (define-public ocaml5.0-eio-luv (package-with-ocaml5.0 ocaml-eio-luv)) +(define-public ocaml-unionfind + (package + (name "ocaml-unionfind") + (version "20220122") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/fpottier/unionfind") + (commit version))) + (sha256 + (base32 "0hdh56rbg8vfjd61q09cbmh8l5wmry5ykivg7gsm0v5ckkb3531r")))) + (build-system dune-build-system) + (home-page "https://gitlab.inria.fr/fpottier/unionFind") + (synopsis "Union-find data structure") + (description "This package provides two union-find data structure +implementations for OCaml. Both implementations are based on disjoint sets +forests, with path compression and linking-by-rank, so as to guarantee good +asymptotic complexity: every operation requires a quasi-constant number of +accesses to the store.") + ;; Version 2 only, with linking exception. + (license license:lgpl2.0))) + (define-public ocaml-uring (package (name "ocaml-uring") -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 2/7] gnu: coq-flocq: Update to 4.1.4. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:23 +0000 Resent-Message-ID: <handler.70567.B70567.171405082113675 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405082113675 (code B ref 70567); Thu, 25 Apr 2024 13:14:23 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:41 +0000 Received: from localhost ([127.0.0.1]:60699 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyut-0003Xp-Sf for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:39 -0400 Received: from mail-wr1-x42b.google.com ([2a00:1450:4864:20::42b]:50308) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu2-0003NB-DH for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:47 -0400 Received: by mail-wr1-x42b.google.com with SMTP id ffacd0b85a97d-3476dcd9c46so697911f8f.0 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050737; x=1714655537; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=rqbsmuQQJFECT1a41ZLdE3cIQSZpivh7WlKWGwETgeQ=; b=CLHpTPB8wG1cj5wxtuNYjUhzvurE9Ct4oWywWA+JPjQZqbI2FFbLlbPBh/1UPAleoN edvR9bBp9v01Tt+MGGpPOqV3j7xgkPviOtTduvfpjmNIBHTMdF6FjzonyfzuQADa4fWi kFKtxnlzdhv35fUCarPvPAcZajPgcGJyBVuk4D0JWtNco+RLfQWIEWlT06w5P8ezjURD yTOmVTXZz+eHJc3HA6koX3LAsXPXzdRF4HZkfvjLM/VMjh9Rxv2wExIEyzlbMreiWS/U C2TIjemhuFH65ngUYyVJiuPADhffoMS6ANO92+dgdgnyEKZpIqcyH5EsNmVrgw0cmTrU FBlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050737; x=1714655537; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=rqbsmuQQJFECT1a41ZLdE3cIQSZpivh7WlKWGwETgeQ=; b=FjqVHACuDm7xRKBzo/hue5PqE7ENf6HBNSB2hTRw/J8HgyLZBw3eriUIVszYXf0VXK foekl0C7Vxf4Mky6ss2swIsAMi82rCT962gz/QpD8W/K3t++u7l704XdA9yBmhGuoJW0 i6N///a9eN/wMtO3oi7PvqJNB+CC+V2e4TdbGNsFyRbxUlOlHs1gH58MmMJuc+rdhCII Pr0Aa/qARuSHhwlCzCPQD2fnQ54CihDLmKYpZauWYcsYnFso8XxCa1+p5/825mA3HnXR sF+sEE0VEZKtd+B9UEy0BUBbSywe1u8ZM2glJ8sFIFBnaToibKSCxN0p1nqo+cEKVnfJ rVxA== X-Gm-Message-State: AOJu0YyyMZIMNuDLLs/L53rMAz4eQ33YSQEDiJifypc7Xp3fUsHiCZaq jIHPS0CIf/ceX9vZWJtNHVJXvB5XBF+3PIoYgLJDlAc7trVJuIucP7rvs7uHiME6Nto3KJVsd1y D X-Google-Smtp-Source: AGHT+IFBeA2eEGmiLW5HN03OD0n8Lg+8yQLQ+3pYDT2xHJDXCPmvwgCstNrdajwlKZuDVgQ7NypKCg== X-Received: by 2002:a5d:4646:0:b0:34a:983:6b34 with SMTP id j6-20020a5d4646000000b0034a09836b34mr3450126wrs.39.1714050737684; Thu, 25 Apr 2024 06:12:17 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.17 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:17 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:06 +0200 Message-ID: <830c2d48556ea1720ca3f72f6e4df365246c3928.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/coq.scm (coq-flocq): Update to 4.1.4. Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0 --- gnu/packages/coq.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 105b942ad3..11d6b034f1 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -9,6 +9,7 @@ ;;; Copyright © 2021 Xinglu Chen <public@HIDDEN> ;;; Copyright © 2021 Simon Tournier <zimon.toutoune@HIDDEN> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@HIDDEN> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -217,7 +218,7 @@ (define-public proof-general (define-public coq-flocq (package (name "coq-flocq") - (version "4.1.1") + (version "4.1.4") (source (origin (method git-fetch) @@ -227,7 +228,7 @@ (define-public coq-flocq (file-name (git-file-name name version)) (sha256 (base32 - "01x38w58j95ba9679vpb5wv4bvfnrapd5dzjqlyz8k7i8a9sfqn0")))) + "08vrh0h909vmam1b4gfrvcmamnhmr5g0x79zx98hn7cx0vdwysh7")))) (build-system gnu-build-system) (native-inputs (list autoconf automake ocaml which coq)) -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 7/7] gnu: frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:28 +0000 Resent-Message-ID: <handler.70567.B70567.171405082513736 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405082513736 (code B ref 70567); Thu, 25 Apr 2024 13:14:28 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:45 +0000 Received: from localhost ([127.0.0.1]:60701 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyux-0003YW-Ia for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:43 -0400 Received: from mail-lj1-x22d.google.com ([2a00:1450:4864:20::22d]:45205) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu8-0003O0-9F for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:54 -0400 Received: by mail-lj1-x22d.google.com with SMTP id 38308e7fff4ca-2deecd35088so6372761fa.2 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050744; x=1714655544; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=hSl+rwtI1NKO9Ww7rHnoNS4v6Ih+q4WAdDGvpMJLiPQ=; b=gAIeml3LSbSrHxXtF9Cg9yukpZaYeCAmcmEQaItpiONgbD16ciUNLA9q4sSGc8p/0U 0ttybAqY8l7wxvy54GlnE6tDeaJxCneasLgyOl4SyY/kFHazVy74l6UvuFA7oOyAy/xH 4BMo4scj9wzrrarBSU6fiEQd1aG2/JHTuLauRrhJFpVTxFVFgFeoHEkBqRqUuP0Q+dnf cTsbY6sAAFi8Vg5hwcMDdLr8WGFJlFDfPIxpCuYSTU+Hi9oRBjw7ux/BXXA0CjialDE6 4qxW38fPqrzS/IPalWpWa1hsl51LI7NPKQC/F7tmd/6qYVf9VrNvDnWqBFSMZ/fg8i5F TNKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050744; x=1714655544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=hSl+rwtI1NKO9Ww7rHnoNS4v6Ih+q4WAdDGvpMJLiPQ=; b=tZ9rZ7XI72K0ElMWOfIzTgkU74a9R95zLPYPlKI42slFe1R5d2s+8tFJ/uzzJ2Xov7 qEVSkmr5NpdU/XaRkgI1hMo3jrRWx502TQPdOi+ok6htU0UA/Y65kmBzPpTKPxVA7dXP LUvVyyTuDT6GMIcSCrF7Vwbq4EijB2yGDrbKOwN3gKTtcl8MOEr23SUDhv//DLVMKJYQ rHEziH1TuObtr7V1rdoJtq+NmcZ6qEteONCONW0Bk9Cj8IeZW7M5kz9uERA6SHcS0D+o HaoKq/NIheMABwBdH2MCEABbrtj1ZjfhiWc30XeeGDudQ9cyvwr4YRF+6ni66NqZGoWP nUKQ== X-Gm-Message-State: AOJu0YxUPYepsh3XmQ4uKTsoN8Dii4m+kZKSij/bleLSUeu96oVmPAYk b32ZS79lwcAVAK/KkjWY+upmChozGVlREULZsIPal0DowgA6j7+eJn54xcQ2O5/3PreH7Ma2pI2 1 X-Google-Smtp-Source: AGHT+IGlRCCfaRMkR+GowrkMq+N+05yafz6qJnX5PF0l0M/jVXtp9ZbS8dWr2udYBlZRUkMGLQNF1Q== X-Received: by 2002:a2e:9819:0:b0:2da:a3ff:524e with SMTP id a25-20020a2e9819000000b002daa3ff524emr3789132ljj.9.1714050744188; Thu, 25 Apr 2024 06:12:24 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:23 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:11 +0200 Message-ID: <409df579886d71d579d4df3da980d08f061d585a.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 9bf2f64cbb..abbf854f41 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9457,14 +9457,14 @@ (define-public why3 (define-public frama-c (package (name "frama-c") - (version "27.1") + (version "28.1") (source (origin (method url-fetch) (uri (string-append "http://frama-c.com/download/frama-c-" - version "-Cobalt.tar.gz")) + version "-Nickel.tar.gz")) (sha256 (base32 - "1lirkvhf5m53d33l0aw5jzc1fyzkwx5fkgh9g71732d52r55f4sv")))) + "14zmwghwhcryvri7k91vc1yampvxvhg36vwjxf64d8kx7dsbq802")))) (build-system dune-build-system) (arguments `(#:phases @@ -9487,6 +9487,7 @@ (define-public frama-c ocaml-ppx-deriving-yojson ocaml-ppx-deriving-yaml ocaml-ppx-import + ocaml-unionfind why3)) (native-inputs (list dune-site time ocaml-menhir ocaml-graph)) (native-search-paths -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 4/7] gnu: why3: Use new style. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 13:14:34 +0000 Resent-Message-ID: <handler.70567.B70567.171405083213816 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405083213816 (code B ref 70567); Thu, 25 Apr 2024 13:14:34 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:52 +0000 Received: from localhost ([127.0.0.1]:60703 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rzyv1-0003ZE-Ne for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:13:50 -0400 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]:46221) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1rzyu4-0003NV-9d for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 09:12:58 -0400 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-41b5dd5af48so2721865e9.0 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 06:12:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714050740; x=1714655540; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=W1pS6DMfjkVKWFa7YDYpgDJVL4bZTh9uTIS4Z+IShdM=; b=U/JYcbC+/yYOsgItILMQOW3XPJwvC8aGHOFZ4qNM8WTRmTalvHvAnWrBsoKpqkqAvW axm654tU0WIn/PpKbpidbn5+QrcsTH2BUr3Pb07tj7GqnBL5O+64eWSgNnxIRhH8mPrJ SBfQVji+22GEzvoRLGJHJu5QUHsl/qronDXOX1CPsuhpalqDZ4dkjoBzHa/FLQ0rKqJx SBE2QqFT1HjSmX2hRiD+EtwD5az5WCS8LJ4ch19RuOPbYsuQS9z3ICOPBp+oUmABnQV1 qbDWI9MGUcOwp18UFNre+G9KQP+xO6yf1KgBjX8h9wKJ0LsAMMp2yvvgfpxgutuSbiGR 27zA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714050740; x=1714655540; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=W1pS6DMfjkVKWFa7YDYpgDJVL4bZTh9uTIS4Z+IShdM=; b=WOtsviMNCbw4gnEnLwvRSd+zrEzedckiAA8JEUyQr+8ok8a/4hOJml01diSpMblIit 1ddEYJnkhTnaG1Li0SlCLE1zAYaVIVLL9FaGPEnJlAYvkzgnSnnEe0pmetB+dD7rdN+J AHJ9qZCDQcHV7KvGIIxrvS0en/T3cjFXXa8pjhtb03tMyTzYTZJa5VN8IttMNWsPgBp0 z+C0CejwTN0oRkcoWbnyHKl/UVObnM7XFJ6BWM0thfTYFY4xjENtcqaf6DCboycneLx5 MSlwPioRvxcY0onPounj0IwrXapeyJa/f37KH4nivY1Epgwrp4ciLUP4kTmIa/qLkk38 ePow== X-Gm-Message-State: AOJu0YyKS3P1+NClNB81CR3OWC7cRbsB+FRdGiT0RQpMgSq2frud1PoV CTyaoAvTCp9wuzQlhMEX0FY21ctHMN7VlzVasA5gkq7Yrkh0EPvnDr2TBxN5qakmKJDZ7S8Fi4g b X-Google-Smtp-Source: AGHT+IFasPPkGwqhZlLEF/5YaZEb4vQTz0l/7Q1hvjCKe+C+si5hcZgcqJtLoBZ/lK2MPnVGMECOnQ== X-Received: by 2002:adf:ce8c:0:b0:34a:34aa:19a7 with SMTP id r12-20020adfce8c000000b0034a34aa19a7mr3599132wrn.50.1714050740535; Thu, 25 Apr 2024 06:12:20 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id b4-20020a5d6344000000b00347363b77dasm19722210wrw.33.2024.04.25.06.12.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 06:12:20 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:12:08 +0200 Message-ID: <8d9581a5f8063da2f40c4d9d35529219d3a0ee6b.1714050321.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3): Use new style and move arguments above input fields. Change-Id: Ia9cb04cafe426d7f20c5efb10ca540572dbd3be9 --- gnu/packages/maths.scm | 63 +++++++++++++++++++++++------------------- 1 file changed, 34 insertions(+), 29 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 5c7f3102f3..57f750accc 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9400,36 +9400,41 @@ (define-public why3 (base32 "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p")))) (build-system ocaml-build-system) - (native-inputs - (list autoconf automake coq ocaml which)) - (propagated-inputs - (list camlzip ocaml-graph ocaml-menhir ocaml-num ocaml-zarith)) - (inputs - (list coq-flocq emacs-minimal zlib)) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'configure 'bootstrap - (lambda _ - (invoke "./autogen.sh") - (setenv "CONFIG_SHELL" (which "sh")) - (substitute* "configure" - (("#! /bin/sh") (string-append "#!" (which "sh"))) - ;; find ocaml-num in the correct directory - (("\\$DIR/nums.cma") "$DIR/num.cma") - (("\\$DIR/num.cmi") "$DIR/core/num.cmi")) - #t)) - (add-after 'configure 'fix-makefile - (lambda _ - (substitute* "Makefile" - ;; find ocaml-num in the correct directory - (("site-lib/num") "site-lib")) - #t)) - (add-after 'install 'install-lib - (lambda _ - (invoke "make" "byte") - (invoke "make" "install-lib") - #t))))) + (list #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'bootstrap + (lambda _ + (invoke "./autogen.sh") + (setenv "CONFIG_SHELL" (which "sh")) + (substitute* "configure" + (("#! /bin/sh") (string-append "#!" (which "sh"))) + ;; find ocaml-num in the correct directory + (("\\$DIR/nums.cma") "$DIR/num.cma") + (("\\$DIR/num.cmi") "$DIR/core/num.cmi")))) + (add-after 'configure 'fix-makefile + (lambda _ + (substitute* "Makefile" + ;; find ocaml-num in the correct directory + (("site-lib/num") "site-lib")))) + (add-after 'install 'install-lib + (lambda _ + (invoke "make" "byte") + (invoke "make" "install-lib")))))) + (native-inputs (list autoconf + automake + coq + ocaml + ocaml-findlib + which)) + (propagated-inputs (list camlzip + ocaml-graph + ocaml-menhir + ocaml-num + ocaml-zarith)) + (inputs (list coq-flocq + emacs-minimal + zlib)) (home-page "https://why3.lri.fr") (synopsis "Deductive program verification") (description "Why3 provides a language for specification and programming, -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Julien Lepiller <julien@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 14:31:11 +0000 Resent-Message-ID: <handler.70567.B70567.171405545832738 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org, jean@HIDDEN Cc: Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN, Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, 70567 <at> debbugs.gnu.org Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405545832738 (code B ref 70567); Thu, 25 Apr 2024 14:31:11 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 14:30:58 +0000 Received: from localhost ([127.0.0.1]:60906 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s007i-0008VR-2L for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:30:57 -0400 Received: from lepiller.eu ([89.234.186.109]:33016) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <julien@HIDDEN>) id 1s007Z-0008U4-Nt for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:30:50 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 51b9cea9; Thu, 25 Apr 2024 14:30:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=/zeAvILLPVuQ PSzQKWeZq25aTLWTkMCWdySktgwNAsg=; b=HjloPYcE4eZ7lSLWIcXRdIeJzYy4 zvdAfb2SKeOosnCUMo7kp3GH/nbG0ekdV4fANotS1vfnDWZ81S9LVfNM+kVZu76K OtitLY6hf/h/n0l02IDxa2C/PQITz1OH32aUqvYYmdfs5FkpxifhlyFY6sJuxFqq i9lekzwTRDSlbKQRhlbKxucsr/nWq2o5jgbGfQ10D83FpSKLYkxcF5jDMi1BYlYW Puod36JO8wB9SjaoD8HxrDcHe/+zyU+6jFAJ3Yu8iB3gLygMGA/Yw7nP6XHnP6fT zvk9dfgwwy6QBmakyIIazrERED58p0YZWUTT3ycyGU7Oxo9mo5PwD9ciXw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 9a5a6eab (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 25 Apr 2024 14:30:23 +0000 (UTC) Date: Thu, 25 Apr 2024 16:30:16 +0200 From: Julien Lepiller <julien@HIDDEN> User-Agent: K-9 Mail for Android In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> Message-ID: <9F75F023-232F-4791-9D77-817861AB3984@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) The whole series LGTM, though untested=2E Le 25 avril 2024 15:08:40 GMT+02:00, Jean-Pierre De Jesus DIAZ <jean@found= ation=2Exyz> a =C3=A9crit=C2=A0: >This package updates Frama-C to 28=2E1 and its dependencies=2E An error = was >fixed by moving the ocaml-lablgtk3-sourceview3 native-inputs to >propagated-inputs as it was needed by frama-c to properly perform syntax >highlighting on C code=2E > >Also the why3 package was updated and a couple of propagated-inputs >inputs were added to enable extra features and also to enable the >integrated IDE (also using ocaml-lablgtk3-sourceview3)=2E > >Jean-Pierre De Jesus DIAZ (7): > gnu: ocaml-lablgtk3-sourceview3: Fix inputs=2E > gnu: coq-flocq: Update to 4=2E1=2E4=2E > gnu: why3: Update to 1=2E7=2E2=2E > gnu: why3: Use new style=2E > gnu: why3: Enable extra features=2E > gnu: Add ocaml-unionfind=2E > gnu: frama-c: Update to 28=2E1=2E > > gnu/packages/coq=2Escm | 5 +-- > gnu/packages/maths=2Escm | 81 ++++++++++++++++++++++++------------------ > gnu/packages/ocaml=2Escm | 28 +++++++++++++-- > 3 files changed, 75 insertions(+), 39 deletions(-) > > >base-commit: e5c130c0f90a7dacc8d223eee494a1b1105dd94a
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Julien Lepiller <julien@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 14:32:12 +0000 Resent-Message-ID: <handler.70567.B.1714055506796 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org, jean@HIDDEN Cc: Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN, Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, 70567 <at> debbugs.gnu.org Received: via spool by submit <at> debbugs.gnu.org id=B.1714055506796 (code B ref -1); Thu, 25 Apr 2024 14:32:12 +0000 Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 14:31:46 +0000 Received: from localhost ([127.0.0.1]:60912 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s008U-0000C2-7J for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:31:45 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50632) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <julien@HIDDEN>) id 1s007l-0008VG-VG for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:31:02 -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 <julien@HIDDEN>) id 1s007N-0004Bm-IX for guix-patches@HIDDEN; Thu, 25 Apr 2024 10:30:33 -0400 Received: from lepiller.eu ([89.234.186.109]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <julien@HIDDEN>) id 1s007L-0007Vs-FW for guix-patches@HIDDEN; Thu, 25 Apr 2024 10:30:33 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 51b9cea9; Thu, 25 Apr 2024 14:30:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=/zeAvILLPVuQ PSzQKWeZq25aTLWTkMCWdySktgwNAsg=; b=HjloPYcE4eZ7lSLWIcXRdIeJzYy4 zvdAfb2SKeOosnCUMo7kp3GH/nbG0ekdV4fANotS1vfnDWZ81S9LVfNM+kVZu76K OtitLY6hf/h/n0l02IDxa2C/PQITz1OH32aUqvYYmdfs5FkpxifhlyFY6sJuxFqq i9lekzwTRDSlbKQRhlbKxucsr/nWq2o5jgbGfQ10D83FpSKLYkxcF5jDMi1BYlYW Puod36JO8wB9SjaoD8HxrDcHe/+zyU+6jFAJ3Yu8iB3gLygMGA/Yw7nP6XHnP6fT zvk9dfgwwy6QBmakyIIazrERED58p0YZWUTT3ycyGU7Oxo9mo5PwD9ciXw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 9a5a6eab (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 25 Apr 2024 14:30:23 +0000 (UTC) Date: Thu, 25 Apr 2024 16:30:16 +0200 From: Julien Lepiller <julien@HIDDEN> User-Agent: K-9 Mail for Android In-Reply-To: <cover.1714050321.git.jean@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> Message-ID: <9F75F023-232F-4791-9D77-817861AB3984@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@HIDDEN; helo=lepiller.eu 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.0 (/) The whole series LGTM, though untested=2E Le 25 avril 2024 15:08:40 GMT+02:00, Jean-Pierre De Jesus DIAZ <jean@found= ation=2Exyz> a =C3=A9crit=C2=A0: >This package updates Frama-C to 28=2E1 and its dependencies=2E An error = was >fixed by moving the ocaml-lablgtk3-sourceview3 native-inputs to >propagated-inputs as it was needed by frama-c to properly perform syntax >highlighting on C code=2E > >Also the why3 package was updated and a couple of propagated-inputs >inputs were added to enable extra features and also to enable the >integrated IDE (also using ocaml-lablgtk3-sourceview3)=2E > >Jean-Pierre De Jesus DIAZ (7): > gnu: ocaml-lablgtk3-sourceview3: Fix inputs=2E > gnu: coq-flocq: Update to 4=2E1=2E4=2E > gnu: why3: Update to 1=2E7=2E2=2E > gnu: why3: Use new style=2E > gnu: why3: Enable extra features=2E > gnu: Add ocaml-unionfind=2E > gnu: frama-c: Update to 28=2E1=2E > > gnu/packages/coq=2Escm | 5 +-- > gnu/packages/maths=2Escm | 81 ++++++++++++++++++++++++------------------ > gnu/packages/ocaml=2Escm | 28 +++++++++++++-- > 3 files changed, 75 insertions(+), 39 deletions(-) > > >base-commit: e5c130c0f90a7dacc8d223eee494a1b1105dd94a
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Arnaud Daby-Seesaram <ds-ac@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 14:56:09 +0000 Resent-Message-ID: <handler.70567.B70567.171405692317106 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405692317106 (code B ref 70567); Thu, 25 Apr 2024 14:56:09 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 14:55:23 +0000 Received: from localhost ([127.0.0.1]:32776 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00VJ-0004R8-3M for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:55:21 -0400 Received: from nanein.fr ([185.230.78.41]:47900) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ds-ac@HIDDEN>) id 1s00V8-0004Mx-00 for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 10:55:12 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1714056881; bh=BgE1dYQcVWDzMrv38+9mx+UWsyh8CQ6EPc9odXu28Bk=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=nc31B2Wt/k0AemhHKFLfZ1+3Xn73ENF2m6Bzk5tTWVkC6jCXAdIFQgz8SzIBM97fq glkmU9+O0QdC6bA7W4+is7Tfe+5b5s4S0xl3nV6O/BSd8NdzHGI0YpCasyPHhYUCpN gcVRMJToejsoLpl43XBuhl9/Qmf8D1AtnikMxH7xKcA1wHDzTdRRp52fr63XbjwlPt 86zceG/M+nvl4mo0bW3CCSEXjJi97CZ+c5bmL/iW5/Pp/bcJq0peraDGTznWt6Lxos P2WCXvoZkDYLel61I379AwK4B2bbGuWP/b1DQTFHMGPjWMbGbGzmXLgbkKp9HHRqKj OX+UWI5GQfLp8dWgm6viJDIGM0abm56vDehZXfxvDw3iz2XAzCe4BMhoeoW9EgnWeQ fnFyYKLm6abmIWtADNNCUIoUYAcTN+YTjiUPjpyABUG0LHuZiV7ie8vaQdx98CVNCA rey8YmfXLG5GWtCCVWTYw4FtSK+MWtxRn3qlV2iMAN27cw4zevsowiitAVPzHoXn07 dgnFTr2TzDEF6GguluODsJJPH4FZdnf+Rqzmtl8rL/ZWDcsZEMlbD9ZlnpNi4xDq51 CmTINeknEaRDpJMpnhEGKiYhK4GkvIHap6AhWJg4AvS7Ji+DpAAwsjz9SW0QLHwswC MAiAlQ6f8zLkR5FX/heWXFXU= Received: from arnaudGuixPortable (wg.nanein.fr [IPv6:2a0c:700:12:50:1::109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 8E9A1140215; Thu, 25 Apr 2024 16:54:41 +0200 (CEST) From: Arnaud Daby-Seesaram <ds-ac@HIDDEN> In-Reply-To: <cover.1714050321.git.jean@HIDDEN> (Jean-Pierre De Jesus DIAZ's message of "Thu, 25 Apr 2024 15:08:40 +0200") References: <cover.1714050321.git.jean@HIDDEN> User-Agent: mu4e 1.12.4; emacs 29.3 Date: Thu, 25 Apr 2024 16:54:34 +0200 Message-ID: <8734r9a3x1.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, Thank you for these patches. I confirm that the patches do apply, and that packages build. That said, I still experience an issue when trying to run frama-c. I=C2=A0can enter a `guix shell frama-c` environment, but then: =2D `frama-c --version` outputs "28.1 (Nickel)", as expected. =20=20 =2D `frama-c --help` errors out with the following error: | Unexpected error (The library "frama-c-alias.core" can't be found | in the search paths | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). together with a backtrace. Note: this issue is also present in Guix for frama-c version 27.1=C2=A0(Cobalt). I am missing additional packages (maybe in another channel) which would provide frama-c-* packages? Orthogonal comment: should "http://" be replaced by "https://"? Best regards, =2D-=20 Arnaud --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmYqbqoQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDCoND/43BXYYujaxTjcdLNaRN4BBvj4MbrZVY4dm aJFUWOVhjlix6uY1UNiCkJeH4L+NwlQMBspvhBLYRrZavc6M3XAV1Hqte8uxTyL+ FpkhFXgiXB0uA6dHQJRV7Rs28MaEL/eAp8iIYebEWoXnJVOgBemh5TiHXEo/V+SM gTXlnSCfsldO5RbmIBjwDy2ENpOv09LriwbYoLnlOabONcQKDyzX4B+RZJFxMNV/ xEAIJ3v4jXLidiCfp/F+ZliylOrMf0R3WzaXYfwlXn5WyjlYP6cMtF7reznNLgBp oJ9NxkpV94w9x7sfZoJBZIx6ajd4FsY7cFaJesNvY3lbhpEWFxAG06Op7BaG8XNq ra6YGXLGOtWU0S7WECSJZpXDJ7v8msJChO0bwWMJ/AtP5JuwZuB4D8L90cVTlnrU JUIhXJz+lCUgIjJEGhNswAVdyqRhmPV9mqVoMUvV8TGTEwX+c138LXA/NQhW/USR tWGfI1rsPm1QxFtVh2kPBSycQrGH/wr0IqXAPA/EliH4yLMfEe6JhrJQlEqOXwD7 dffJj3AINM4SeKMH0d9g6nYN6VUurQ9ibv5PRbuR15gTRZX5y9SIbQs1o0AHQZ6E H9y9RRIc/mbiuJIlQzUn5rtqEV8T/RKhePobgbadc74T1hEhRKsCKxPecceD8aDi ao85zhxgKQ== =ovSx -----END PGP SIGNATURE----- --=-=-=--
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:10:09 +0000 Resent-Message-ID: <handler.70567.B70567.171405777626762 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Arnaud Daby-Seesaram <ds-ac@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405777626762 (code B ref 70567); Thu, 25 Apr 2024 15:10:09 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:09:36 +0000 Received: from localhost ([127.0.0.1]:32834 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00j8-0006x9-5H for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:09:36 -0400 Received: from mail-ot1-x331.google.com ([2607:f8b0:4864:20::331]:49339) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00j5-0006vb-L3 for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:09:33 -0400 Received: by mail-ot1-x331.google.com with SMTP id 46e09a7af769-6eb8ea5ac95so650953a34.2 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:09:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714057748; x=1714662548; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=fQJbrHNs7gi5AlIYq3C0C4b5UgCLKm8OIVVtoyDd80g=; b=TuIdxk5tVlb6K8ycuDyiGALJB77le2Ovo9uLv+ZFXTm8sDt1RU545FU9POGmZQ54PJ oGKPxBY1kaYjgR+ynjhoEvYGe4p6oGM66qkyGSuAIK5TodF35mo9HZRZ4p1OoTgUWtHx COnES7zAUAZYOObMCXTD+EdTiyWebfyxYirQ8h4IoHkDn8xEsIfrjiEu96sXiQrh8iHi Ta2RBvslYDmJ09oollurQ8J5TgxLEyWkiD3K6yxl7eHXfmCYgrNZY9GEtq2GVg6bKU5y zcY3LktSWNTa4cIfOJN2LaWcF0E2zxR/UAjs4MaJzdT0GybClomEGXIFplJkHGzE2ANH saBw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714057748; x=1714662548; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=fQJbrHNs7gi5AlIYq3C0C4b5UgCLKm8OIVVtoyDd80g=; b=rOpH4G1lIP2g5dOc5+T4EZK9weFaHZVg6vH+GKrblplOX/z4xdQLTtgoACpYipTe7l 3csob6jeOqicfAK5dlARo7+J9ZdVvJ73W9bq85At/3cSdu+iZIClnnjNsy2MZbt4BZhE I8oXb0tB+dnC7Dt3kOTFrXjePb1vu+ObY1EtoS9DfTNAaoQ6QJiegUdkzuQMi0HlRpQd 7Lzmi7+U46KQ8H24F/Q3KQbGgtwF5ic/bdhwL8VHBIF6HcEvhgHK+b/vk7+UZyAKjc/e iQ/ki4RqCVFwF/NJqOIYVrgNOiiZiadzN6cboKUcu9vlQRrn8bp2SRCsai5KSX+h3GgH n3JQ== X-Gm-Message-State: AOJu0YzcFPJI2M4irZvI+JPLHf9BtuTZ0oh8AMEQt9fNeFJGtADpVkfr eKn8fq20tp5KHERNHYOidWaFCPsK9B71TP9A0Yukq1BeCRUz6bx1BGA3AA4Q2wUg/jieNLzoEyv PaUgsGK9XRLGRFtsdPlvztq4S+poO4NwJ9aYBwA== X-Google-Smtp-Source: AGHT+IFvAp23XOTSAPfcNsHGxGAMF3jV/3RgeasDtd2XCpZyNp/NPoAKF7IWq8AyUiDKflThGpSXpNPXuw7wADtKPmY= X-Received: by 2002:a05:6808:13ca:b0:3c7:488a:7815 with SMTP id d10-20020a05680813ca00b003c7488a7815mr7864409oiw.7.1714057748103; Thu, 25 Apr 2024 08:09:08 -0700 (PDT) MIME-Version: 1.0 References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> In-Reply-To: <8734r9a3x1.fsf@HIDDEN> From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:08:57 +0000 Message-ID: <CAG1gdUonTQgyfBi2xT5UTQwOuSo5YZCo9dEWxhHn-evXvQSdSw@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hi, >That said, I still experience an issue when trying to run frama-c. >I can enter a `guix shell frama-c` environment, but then: >- `frama-c --version` outputs "28.1 (Nickel)", as expected. > >- `frama-c --help` errors out with the following error: > | Unexpected error (The library "frama-c-alias.core" can't be found > | in the search paths > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). > together with a backtrace. This is due to a problem with OCaml packages and search paths. See <https://issues.guix.gnu.org/69996>. So running this should work: `guix shell frama-c ocaml -- frama-c --help'. >Orthogonal comment: should "http://" be replaced by "https://"? Shouldn't be an issue per se as Guix checks the hash of the downloaded files to match but for privacy reasons should be on https IMO. Will do and I'll sent a v2. On Thu, Apr 25, 2024 at 2:54=E2=80=AFPM Arnaud Daby-Seesaram <ds-ac@nanein.= fr> wrote: > > Hi, > > Thank you for these patches. I confirm that the patches do apply, and > that packages build. > > That said, I still experience an issue when trying to run frama-c. > I can enter a `guix shell frama-c` environment, but then: > > - `frama-c --version` outputs "28.1 (Nickel)", as expected. > > - `frama-c --help` errors out with the following error: > | Unexpected error (The library "frama-c-alias.core" can't be found > | in the search paths > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). > together with a backtrace. > > > Note: this issue is also present in Guix for frama-c version > 27.1 (Cobalt). > > > I am missing additional packages (maybe in another channel) which would > provide frama-c-* packages? > > > Orthogonal comment: should "http://" be replaced by "https://"? > > > Best regards, > > -- > Arnaud
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. References: <cover.1714050321.git.jean@HIDDEN> In-Reply-To: <cover.1714050321.git.jean@HIDDEN> Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:23:07 +0000 Resent-Message-ID: <handler.70567.B70567.17140585622906 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140585622906 (code B ref 70567); Thu, 25 Apr 2024 15:23:07 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:22:42 +0000 Received: from localhost ([127.0.0.1]:32903 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00ve-0000ik-DQ for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:40 -0400 Received: from mail-lj1-x22d.google.com ([2a00:1450:4864:20::22d]:45094) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00va-0000gk-CE for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:28 -0400 Received: by mail-lj1-x22d.google.com with SMTP id 38308e7fff4ca-2deecd35088so8248671fa.2 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058522; x=1714663322; darn=debbugs.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=0zquNc8DqDGkmaORTxehyheByQKAqrNNSTBhz4KYdUw=; b=nmZ3oBuhBN8Qf+z/bL/ZAz0INndlDY10slw908OiduRUaCScyNgjZ2/YoUJ70uHe7n ziaSH46tg/e+cSBbmiyZoxWTCFmJK1FUTZ93aDqar3VwFiT41F1ga5bDzEtpEXFcRKNL BN4QPQ+IGSC1KavhvMjkOMX3aA24BmBAjK8B/sxNIJWOGZbCbWuCMyP8d+2XKPke5l96 UO9uXPNeKbSTC1y3hAydDsofuLLWfH3L+mFbBpoQnp1a8+O3onZm3F6T180oQ9oM8EWB Hg6+PCPSjLkk9ukEAjh0tGiQwVKrGCZU7NxLAA7HcdFCn4b4b9NCPSGOYxRIuq96F1Ak SD0g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058522; x=1714663322; 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=0zquNc8DqDGkmaORTxehyheByQKAqrNNSTBhz4KYdUw=; b=ZYhYteBFCcDwSRdJfyLw3eX0/5WZ+bAi0TAVjbbzbXpx9Arvh21Xm+99iUG259F0ES dl4kWz8OWIb4BMkIQsAR2S4Q5lrC2RWmO1wFWTOrSRHgAe2JvJ/lifJ7gGNmgcs5Av/8 2xAOBRMv36peU81xG8167wgq4PXJ2jShb0gK4qUcQodbyFbjWEmQQN6XkReCqkoQPjoF hTGlU60AD7AsMlSLniIxDPK41icomMolVMGiLMtVeph62NH07htDcZikQsKbVPxLjMfO KPke1qZVRG836swb2grMxhIJv/CxQJcPSg2dmry0MHx86h4DN22YiBqs4quTWiPG0LzG 4zaA== X-Gm-Message-State: AOJu0Yxb4KsOrq1jiP9fa2ReC1Z3rPcniepgoz2AYusz7AGuNGaKraIF yqo23NZy78exy0PTsWBwH+IvpXSxq6cYjkKWHE05QBNAejfAEYMY21Ol85WwdYQI0ynsRMJkkao T X-Google-Smtp-Source: AGHT+IFoSjNaDhCqmuXVZZ8Yzdqg0LrwicvfcS/ebouQa+kK2k2hxtenRRlT/tkSlXYNrok0Tol1mA== X-Received: by 2002:a2e:8497:0:b0:2dd:c2fb:4e8c with SMTP id b23-20020a2e8497000000b002ddc2fb4e8cmr4207798ljh.19.1714058521708; Thu, 25 Apr 2024 08:22:01 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:01 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:51 +0200 Message-ID: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): Move gtksourceview-3 from native-inputs to propagated-inputs. Remove native-inputs and use inherited inputs instead. Change-Id: I2b242343bdace17ee3e992ce71f4e49b3c375e15 --- gnu/packages/ocaml.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7fad276b4e..920ccdcf36 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -28,7 +28,7 @@ ;;; Copyright © 2022 John Kehayias <john.kehayias@HIDDEN> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@HIDDEN> ;;; Copyright © 2023 Csepp <raingloom@HIDDEN> -;;; Copyright © 2023 Foundation Devices, Inc. <hello@HIDDEN> +;;; Copyright © 2023,2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; Copyright © 2023 Arnaud DABY-SEESARAM <ds-ac@HIDDEN> ;;; Copyright © 2024 Sören Tempel <soeren@HIDDEN> ;;; @@ -8570,8 +8570,7 @@ (define-public ocaml-lablgtk3-sourceview3 (package (inherit lablgtk3) (name "ocaml-lablgtk3-sourceview3") - (propagated-inputs (list lablgtk3)) - (native-inputs (list gtksourceview-3 pkg-config)) + (propagated-inputs (list gtksourceview-3 lablgtk3)) (arguments `(#:package "lablgtk3-sourceview3")) (synopsis "OCaml interface to GTK+ gtksourceview library") base-commit: e5c130c0f90a7dacc8d223eee494a1b1105dd94a -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 2/7] gnu: coq-flocq: Update to 4.1.4. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:23:12 +0000 Resent-Message-ID: <handler.70567.B70567.17140585683003 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140585683003 (code B ref 70567); Thu, 25 Apr 2024 15:23:12 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:22:48 +0000 Received: from localhost ([127.0.0.1]:32909 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00vo-0000kb-ME for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:46 -0400 Received: from mail-lj1-x233.google.com ([2a00:1450:4864:20::233]:49594) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00vb-0000gz-Bl for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:28 -0400 Received: by mail-lj1-x233.google.com with SMTP id 38308e7fff4ca-2db17e8767cso12967951fa.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058523; x=1714663323; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=rqbsmuQQJFECT1a41ZLdE3cIQSZpivh7WlKWGwETgeQ=; b=a+ZPhphw/nVFPz8PP4eUX8Lp6jNbykdN2+doyZrUTxR01k6QfxEK9Mt9dTTR3/3pqE cot2uvFN3C+2QIEJa2jmYZFbhCWW8/XIJq1E6R8dRsdBQ3ROa7c2lT7a+IYswbt1Lcxm ilAltOtPmXhl89M7CQq9wgYCbW6t6KIUvPBWZnkCrJ/2mi87ADwJXgmuUzBpxLWtLE4u +rjWPQV/P3Ph5P0smRfuMFw9VFfkm/a4icCpCERD7YctjPWhXYpJqwf6T0ZHHDhK1Xow up+wdU5PXM/TrlgvzSRQ4s+Zea5MNUG4/8pr21Od6shS5pOprovU/vv6IzESnDFK9ksh k9FA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058523; x=1714663323; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=rqbsmuQQJFECT1a41ZLdE3cIQSZpivh7WlKWGwETgeQ=; b=oDRBb8owxaaVt9CWDHQr1zqz5H1TdD8HkeDzCP/hc1Eh/DGGhnoAxJxMn200b/33Dt zn5HG59enIkgV+9rQUxEuMa09xXaORKb0SjfOJU1LWw9JuAmAPjxyG7C6ikYqXBmQ/zZ rejCWigrSKqcrUfjlYRBz2O0fwxFXUjGc/aHaiDUxUBrVkEFfdFNR7w5aDnT6NADZchu NlczCVe/B0KNAYl+A/dokemEyd4SdOAioeIPxRPBtqUDb+r5u2aHCtyVBTDhu6CLV7dd 6kdBYAv3VUXhdVRRTO3D+2rnqg+OU3SDmO3swimuuewrUqNHlIpIJmRZxkINJuF7cf8o Kv9Q== X-Gm-Message-State: AOJu0YwzUqH8tnDVs2QIFUUZUmEBpv1gXughYd1HQ95C9MRoe97yz9Oj VcQLuLA5u/jxU+KfnZGvMSsDkvJBZME/LsgSKeFQq8aEk+1kAZZVsKDQaJRfsiBGqJiEYrCFa8n q X-Google-Smtp-Source: AGHT+IHzNBWbpVCpZMnHt85OZ+dIAjuUQ7ySMa0z/YMlG+O8vRVrWp1Sz6gQqIfsB9VzK4WoZIWwMw== X-Received: by 2002:a05:6512:3d1a:b0:51c:489f:ba68 with SMTP id d26-20020a0565123d1a00b0051c489fba68mr2121616lfv.21.1714058523076; Thu, 25 Apr 2024 08:22:03 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:02 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:52 +0200 Message-ID: <830c2d48556ea1720ca3f72f6e4df365246c3928.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/coq.scm (coq-flocq): Update to 4.1.4. Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0 --- gnu/packages/coq.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 105b942ad3..11d6b034f1 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -9,6 +9,7 @@ ;;; Copyright © 2021 Xinglu Chen <public@HIDDEN> ;;; Copyright © 2021 Simon Tournier <zimon.toutoune@HIDDEN> ;;; Copyright © 2022 Garek Dyszel <garekdyszel@HIDDEN> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -217,7 +218,7 @@ (define-public proof-general (define-public coq-flocq (package (name "coq-flocq") - (version "4.1.1") + (version "4.1.4") (source (origin (method git-fetch) @@ -227,7 +228,7 @@ (define-public coq-flocq (file-name (git-file-name name version)) (sha256 (base32 - "01x38w58j95ba9679vpb5wv4bvfnrapd5dzjqlyz8k7i8a9sfqn0")))) + "08vrh0h909vmam1b4gfrvcmamnhmr5g0x79zx98hn7cx0vdwysh7")))) (build-system gnu-build-system) (native-inputs (list autoconf automake ocaml which coq)) -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 3/7] gnu: why3: Update to 1.7.2. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:08 +0000 Resent-Message-ID: <handler.70567.B70567.17140586233655 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586233655 (code B ref 70567); Thu, 25 Apr 2024 15:24:08 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:43 +0000 Received: from localhost ([127.0.0.1]:32923 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00wn-0000wa-Dq for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:42 -0400 Received: from mail-lj1-x233.google.com ([2a00:1450:4864:20::233]:48583) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00vc-0000hD-5x for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:32 -0400 Received: by mail-lj1-x233.google.com with SMTP id 38308e7fff4ca-2d8a24f8a3cso13016651fa.1 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058524; x=1714663324; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Mwu+nzlPKHHRNXTnkz+7BIYh2E405Bj0lI4wMCET0cE=; b=Xq5ig+mC3p0BHdsHKlFogs+uEt+Feza+eRUJKBwODe/JWwQjrF+qQxpLnIAASSor3K yLAvUnDq1nAD1pOGDA0fPIQp29498sO0dF6FkQOY1iUCb955QBg88tieq7Y2jMYllbdq TG5+Bz+sTPlG7FNhPia16gqJOlM49rbA0aP0doC2kIfK+P3w60ojUn6i6xXzW917g/d3 8yYJ0/FbtKpc4reQhkvZ6ElLLmxFtvZN1grkQ+nyRSmGQ4LmDRq8Tsdr4FXr3otD5wxy uV7BcgePmsK4qXivlIHhVfdSCNNah7IFan542FxU9429p0W4qsKlONVu2Ot+lmgfUl1C SNmQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058524; x=1714663324; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Mwu+nzlPKHHRNXTnkz+7BIYh2E405Bj0lI4wMCET0cE=; b=IO5/nO9rq2VzejaWGsRvC/4WW+1MC5Y5a4fwyzurYH3P4DkO2d4maSPgYdnVnGaxid 0/ta5riqFOshoCy094QOxkLrg0NWxI8y9ddcHwNLNtoHhc+LdoBfgntNxqZ05hoTWsLA FVggeWCLT38VDGcFjhqw99wGe/yCWGkavxfjLjwpnHOgVo4DVp1AiOaYJ6okWOQX6jDI iYQ2Bl+9JS2Qnd4CMXiwZTE3t7mcO7CAuPdUfBk3BO5Om5UeMUzZC9r8yqSaQ0zrA6ES Xel6n3q77vAfWJSFn1H8U0pwc9+vev5+dpXPcThoRf9LBBanhFIwnq1xLVfjZgV2FNar ih2g== X-Gm-Message-State: AOJu0Yz+PwZm+NSAyhGGtEk6qKoC4O9FDHbJ1tZ4CEQ9n+OSgdundRLq IyxSA7yiCuOffKxvXiTqC2PtR7+HzzlU+XBCgv6LOrap5Y8q+u57aWPscNLAvEDId4KPN0OW/o3 n X-Google-Smtp-Source: AGHT+IHm/s2vLVEDLIHXr7ssyrIL2XgQIU94/bIM+B+4W2EC/cHNJaWHg2CQUE8PN/uI+Ef/J7TwDQ== X-Received: by 2002:a2e:b1c9:0:b0:2dc:d2c5:ec8 with SMTP id e9-20020a2eb1c9000000b002dcd2c50ec8mr4153072lja.39.1714058524420; Thu, 25 Apr 2024 08:22:04 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:03 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:53 +0200 Message-ID: <428630065739ac8913d338b5ee182b9dd329f42e.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b --- gnu/packages/maths.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 361f2f7b68..5c7f3102f3 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Foundation Devices, Inc. <hello@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -9388,7 +9389,7 @@ (define-public numdiff (define-public why3 (package (name "why3") - (version "1.6.0") + (version "1.7.2") (source (origin (method git-fetch) (uri (git-reference @@ -9397,7 +9398,7 @@ (define-public why3 (file-name (git-file-name name version)) (sha256 (base32 - "0k3y98xzhrl44vwzq2m6k4nrllrwp3ll69lc2gfl8d77w0wg7gkp")))) + "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p")))) (build-system ocaml-build-system) (native-inputs (list autoconf automake coq ocaml which)) -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 4/7] gnu: why3: Use new style. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:13 +0000 Resent-Message-ID: <handler.70567.B70567.17140586253683 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586253683 (code B ref 70567); Thu, 25 Apr 2024 15:24:13 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:45 +0000 Received: from localhost ([127.0.0.1]:32925 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00wo-0000wt-W8 for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:44 -0400 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:57773) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00vd-0000hU-Ec for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:34 -0400 Received: by mail-wr1-x42a.google.com with SMTP id ffacd0b85a97d-34c2e765bc6so272829f8f.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058525; x=1714663325; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=W1pS6DMfjkVKWFa7YDYpgDJVL4bZTh9uTIS4Z+IShdM=; b=soTV3wP7kvZ6exCPl+GQqczigQ5moY9Cv8VFt6CsU+85o31UodV52l6r3lftAR8pPq wIbzdLviNFtO+sL/6sRg8ZN+LRC6Q5QCRMpqcYbGZGevlNhMd6ECQU5KumNwdt/nfkFf x2MdzsbCQWXysPZmjI81+mZza6gcbtlLdRqrvjJefqxXYrNmUKAcOvqdiSHPOQTTR9sL rSSGrLSsN6Pgs36AxUrJ3F+UgI4cZ55SUQLlomcEkERqrnZIcGpuQNudcMmY2za0gzG5 WLKszGa86CYK35gO/gWPu8ITLI+AIAZCz+r4vUuBQFyW5DU4k+g49fmSFQaMcS+sJV2p MVYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058525; x=1714663325; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=W1pS6DMfjkVKWFa7YDYpgDJVL4bZTh9uTIS4Z+IShdM=; b=UL5Hg9FaURypIGt31LgwaJ+Ej+pco43sTT55IAA9hYKMISvpWGqPcYSJDcVgQEoMgM +P9VdkC4kBi6YCNbjhsEGDAmbkgd5C37ZjUeKpp+AAOgkG0kb/OaVTQFttrErDbN0MGZ LioeQZt+QtGK8cqDGnojpFLY4qwnZhBHH8DGiMuUW4zz+GsiPQkCsEKUSWQr4QfmLRub fGHTD9vN5ck1Vr6JLCoGv+ocDhQdlUReDE+REd+FEacwAO6+dHGI51Q7kI+iJqECU5o5 SfR+f2rJ7yHx2Cadq6fnwt1c+B4I9W85uoGtOPUM2QoagM258z7MtzL9a6x3bxsjaVfK JvoA== X-Gm-Message-State: AOJu0YwVSu8bP9NDoDGlSBO08GP+W1dTauTLNyY17pWA2qGMwLTfmJuA V4NHg6+AgQvjFtMwOsTwdlIq6bdI4iOfrAuhYaAQl3sxHU1NCE5zfy4IsQjUo/9FN/QNN9m9KjM 2 X-Google-Smtp-Source: AGHT+IH+stLIhO/CFthr67tPNryU/DTbzGrmSifbKJCuM3WBVkPavxsP9m5PvKRy+Na27Quj0PzKfw== X-Received: by 2002:a05:6000:d10:b0:345:edfd:9529 with SMTP id dt16-20020a0560000d1000b00345edfd9529mr4483213wrb.29.1714058525464; Thu, 25 Apr 2024 08:22:05 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:05 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:54 +0200 Message-ID: <8d9581a5f8063da2f40c4d9d35529219d3a0ee6b.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3): Use new style and move arguments above input fields. Change-Id: Ia9cb04cafe426d7f20c5efb10ca540572dbd3be9 --- gnu/packages/maths.scm | 63 +++++++++++++++++++++++------------------- 1 file changed, 34 insertions(+), 29 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 5c7f3102f3..57f750accc 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9400,36 +9400,41 @@ (define-public why3 (base32 "0fq8wg8ji2v2ssz1d681glmk8glps1irnmdlhqfklaggx01hlf4p")))) (build-system ocaml-build-system) - (native-inputs - (list autoconf automake coq ocaml which)) - (propagated-inputs - (list camlzip ocaml-graph ocaml-menhir ocaml-num ocaml-zarith)) - (inputs - (list coq-flocq emacs-minimal zlib)) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'configure 'bootstrap - (lambda _ - (invoke "./autogen.sh") - (setenv "CONFIG_SHELL" (which "sh")) - (substitute* "configure" - (("#! /bin/sh") (string-append "#!" (which "sh"))) - ;; find ocaml-num in the correct directory - (("\\$DIR/nums.cma") "$DIR/num.cma") - (("\\$DIR/num.cmi") "$DIR/core/num.cmi")) - #t)) - (add-after 'configure 'fix-makefile - (lambda _ - (substitute* "Makefile" - ;; find ocaml-num in the correct directory - (("site-lib/num") "site-lib")) - #t)) - (add-after 'install 'install-lib - (lambda _ - (invoke "make" "byte") - (invoke "make" "install-lib") - #t))))) + (list #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'bootstrap + (lambda _ + (invoke "./autogen.sh") + (setenv "CONFIG_SHELL" (which "sh")) + (substitute* "configure" + (("#! /bin/sh") (string-append "#!" (which "sh"))) + ;; find ocaml-num in the correct directory + (("\\$DIR/nums.cma") "$DIR/num.cma") + (("\\$DIR/num.cmi") "$DIR/core/num.cmi")))) + (add-after 'configure 'fix-makefile + (lambda _ + (substitute* "Makefile" + ;; find ocaml-num in the correct directory + (("site-lib/num") "site-lib")))) + (add-after 'install 'install-lib + (lambda _ + (invoke "make" "byte") + (invoke "make" "install-lib")))))) + (native-inputs (list autoconf + automake + coq + ocaml + ocaml-findlib + which)) + (propagated-inputs (list camlzip + ocaml-graph + ocaml-menhir + ocaml-num + ocaml-zarith)) + (inputs (list coq-flocq + emacs-minimal + zlib)) (home-page "https://why3.lri.fr") (synopsis "Deductive program verification") (description "Why3 provides a language for specification and programming, -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 5/7] gnu: why3: Enable extra features. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:15 +0000 Resent-Message-ID: <handler.70567.B70567.17140586273705 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586273705 (code B ref 70567); Thu, 25 Apr 2024 15:24:15 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:47 +0000 Received: from localhost ([127.0.0.1]:32927 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00wq-0000x9-Ez for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:46 -0400 Received: from mail-wm1-x334.google.com ([2a00:1450:4864:20::334]:44444) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00ve-0000he-Cy for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:37 -0400 Received: by mail-wm1-x334.google.com with SMTP id 5b1f17b1804b1-41b3692b508so8233005e9.1 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058526; x=1714663326; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=QiTXDV8HtJaXw62eUAMRSHhMTHDJRdLu32kEkZBMkNk=; b=JFRY5rUMNiWuHLCHhrFHLrizAo+b5QG0K/fvinm9njAO/Tvczw3dpWIeEQzV+zh94R 2ckx/t9b1sqrplbBR+wHPiCRtp033nBlyiNX79/oo1Ne23jsWaMJEG1g/9NR7c9GfRWq hX4ARpHy3VQdnv5GVd6SpLRyVdGokyeLM1ZeS9npwpqKAhIc7lrAg1ACr5OkkktERKQp UyWH2L0ghfrB397g+27/rUbMT586plPzLUg+HFolzawrzFe3Qwg+x+REwWet95EqDB1q /w75Y1pNbR2aS+Rb9SAJcnytnr56UxgpwLU2pGJmBUeINwjI3i7EPkVhCRIpnV+jKODM LZmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058526; x=1714663326; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=QiTXDV8HtJaXw62eUAMRSHhMTHDJRdLu32kEkZBMkNk=; b=aBr1IcPsUjEoJ6SZoSZVGcA2P/EaNb0ekhYsOU9wCxq0MBzbZYKlnUFcvNh05r+egC OwbBDkAmXQ1SlbaZeo3UBvnP6+LPNA8l3laRtpweJzeBKSoXyI6Vx3xc0srrAn3eRrT5 oednmTJgU9+txwVCFz19JO2YgsimTsMUTbGKekyTUssXpkcPi2qnuypwu6tf4n0qNQJu tF5Fx5Arj5743WL0A0JfNAKhPJLIDsb2COdFNIG0AVAZyYh1K4ojvdRdn53fZtcr7lhY aT8rR+KccNmwxyOT/x05oObPCKt8wtHOlN/a2/kv+WVhOzEtVYEiFZNrvCFBajDE4hMr Gugg== X-Gm-Message-State: AOJu0YwQ/l5wpou1qRnoIw2q/hTXsLec5V1e9tKuYIYGtVYVxT9E6DRK s5YGpSEv1uN2WlO5hQdz+6zq9bBXzX0OWkG+GI47PeiPUlihJm3qAmM7QjbcXboOvBHdaNW/KsJ j X-Google-Smtp-Source: AGHT+IFrpFtjft7UdZSE6+nr2Il5QwCxAh+qTKlknF2d+UAaVYtcRoWD05xHFl0UbLeWu5ZFdqyL9w== X-Received: by 2002:a05:600c:45cf:b0:419:ec38:f34b with SMTP id s15-20020a05600c45cf00b00419ec38f34bmr3704852wmo.20.1714058526506; Thu, 25 Apr 2024 08:22:06 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:06 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:55 +0200 Message-ID: <46392d7f1d7404f2b78623c512737a046db71e5c.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (why3) <propagated-inputs>: Add ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to enable extra features. Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac --- gnu/packages/maths.scm | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 57f750accc..9bf2f64cbb 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9428,9 +9428,15 @@ (define-public why3 ocaml-findlib which)) (propagated-inputs (list camlzip + lablgtk3 ocaml-graph + ocaml-lablgtk3-sourceview3 ocaml-menhir + ocaml-ppx-deriving + ocaml-ppx-sexp-conv ocaml-num + ocaml-re + ocaml-sexplib ocaml-zarith)) (inputs (list coq-flocq emacs-minimal -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:16 +0000 Resent-Message-ID: <handler.70567.B70567.17140586293730 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586293730 (code B ref 70567); Thu, 25 Apr 2024 15:24:16 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:49 +0000 Received: from localhost ([127.0.0.1]:32929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00ws-0000xi-Jm for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:48 -0400 Received: from mail-lj1-x231.google.com ([2a00:1450:4864:20::231]:45331) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00vh-0000i7-0a for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:40 -0400 Received: by mail-lj1-x231.google.com with SMTP id 38308e7fff4ca-2d88a869ce6so14807031fa.3 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058529; x=1714663329; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=lV8ixZ1UYaTZZxsX7BAbKsc3Rq0cTFT5P6+ERzjBZvU=; b=bL5VtpGCTdTjQliNavn6vEWJ4N2AXHRve+gMI+pyLix+/uy1mwPEBRcGmFFKLN2sDn wod24x8x7nYP4w7Kw+Xdp3D9htpJxsjdsOwtzRtz6cPvwm41NTPBZXwKQxkA4fahOCh9 fdO14u9sKyXX16OiWBqD2kRp+1XsHqiNT30YK6xhNB1cRWXEfSoRdBB8tp35tr68O417 ColxyfFdT05TLptb8qn7Zy3j+e/74j9sRYc5JnLYypETL2ZxIzNk2NY5rwImR2vobU70 Hi1IS1iPqDu/mWYunNOqNIeF5VQyK42hXkWwGU+dVfbduIFLf6BhgWIzMz082VN2jCAK xFcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058529; x=1714663329; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=lV8ixZ1UYaTZZxsX7BAbKsc3Rq0cTFT5P6+ERzjBZvU=; b=P/rSHvT9bICpA/5SfaGeUjBviVk5q8JxjuaYtahel/go6SDpVonbEzUVMuvky82bN4 8i2JZGX27YiDV67btF6fhujL07JkbV0Nx2HN4PoX6HSD3VRY8sZLZC/yLv9tXVrQ9FoE inObej4AOjpyYxv/AOOg/n4fPGKLwA83tx/EP781vi6MJq/Gb7Z4UxcAct5ziCXNDtBE xqEkKt6RFG8+WSlgkHYSZA2qgrA8jcoNt8RuYuGghNMY2i6cIF8e/0nfI0L4epywB2/T WFEc7TvUvypID1bR/yI8NnVuBBBpi1boqKHJn4jdVpoFF8mWHvWnzEAcLyDeid8jng1D PBNw== X-Gm-Message-State: AOJu0YxqnYj1VQOM1eiKeX4JOvJWot5CaoRQ6ESDAwGlxUBXGwmU3PEq h/vVLODcPaJqMyvj2i04ju+AA2fc5pJ2G/lD0Kl0zs7ZejA3YhOwYGuTZhyLHCbxp72AgWpczYx p X-Google-Smtp-Source: AGHT+IGbOyZv+3qPAcVnCOWukjPgjZHAa91ZIinycLgK/7DiKFOndh2keunL888bNTvLWOtnQYT+/g== X-Received: by 2002:a2e:b8c6:0:b0:2de:d4f1:dde5 with SMTP id s6-20020a2eb8c6000000b002ded4f1dde5mr2592805ljp.30.1714058528939; Thu, 25 Apr 2024 08:22:08 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:08 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:57 +0200 Message-ID: <6e37c8b260af004b4379c157c863d285695ff6bd.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 --- gnu/packages/maths.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 9bf2f64cbb..38ce38fc2b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9457,14 +9457,14 @@ (define-public why3 (define-public frama-c (package (name "frama-c") - (version "27.1") + (version "28.1") (source (origin (method url-fetch) - (uri (string-append "http://frama-c.com/download/frama-c-" - version "-Cobalt.tar.gz")) + (uri (string-append "https://frama-c.com/download/frama-c-" + version "-Nickel.tar.gz")) (sha256 (base32 - "1lirkvhf5m53d33l0aw5jzc1fyzkwx5fkgh9g71732d52r55f4sv")))) + "14zmwghwhcryvri7k91vc1yampvxvhg36vwjxf64d8kx7dsbq802")))) (build-system dune-build-system) (arguments `(#:phases @@ -9487,6 +9487,7 @@ (define-public frama-c ocaml-ppx-deriving-yojson ocaml-ppx-deriving-yaml ocaml-ppx-import + ocaml-unionfind why3)) (native-inputs (list dune-site time ocaml-menhir ocaml-graph)) (native-search-paths -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind. Resent-From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:16 +0000 Resent-Message-ID: <handler.70567.B70567.17140586343800 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70567 <at> debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> X-Debbugs-Original-Xcc: Julien Lepiller <julien@HIDDEN>, pukkamustard <pukkamustard@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586343800 (code B ref 70567); Thu, 25 Apr 2024 15:24:16 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:54 +0000 Received: from localhost ([127.0.0.1]:32931 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00wu-0000y6-7t for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:53 -0400 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:52672) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s00vf-0000ho-CF for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:22:41 -0400 Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-34782453ffdso1031218f8f.1 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:22:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714058527; x=1714663327; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=kplJd84a1+iM5lutJ0kKnf+ACvY8zCoIHYAZsj5uAYM=; b=f3ZIpSCN51q9eHCyMUE6v1T7vRr7QGTSlE0YBFvYvPQBupPko7GK8NTVk7kJcqKtgk He+37XACFDag6oBdE3tbjrL7A7i/fAjrgFd2LjTIRFFZnHtO8tExfUzIDAPz5sQSg1rX 1hI4IyjJ1sRQoAhKxIo1nZ9MxclVcvjNeTXI54GZb7hko/tB9Y8GKZ5cBMhnzGQPZyNt k41Un1EQ5ULkBI695slGQwZ91CARXCxxoxpnp/J63bt1d5v1l+G+Dfd8EcVaeo/nUAfa Fep9/zc1izqc//uYBuRzoCwo2tL9giPjvW1359VH9Y6NKAxyMZUOn/3EC3HSUgEphIja ZY8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714058527; x=1714663327; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=kplJd84a1+iM5lutJ0kKnf+ACvY8zCoIHYAZsj5uAYM=; b=A8FgffTX1AGHIwX9gQGP5fS8k+McrrVlCWoa9BJlWzj4Z+6SHJgaKAQ7yYwg6owizy GZVHAASMnv/uMANlCeRgjCMTUJwcz5DhByeAC/m8KBerDOmo9Cq5y3r/qs/CIW+oo2yt M3POP07NOxCfl4Y5ylocnxrNo5cnP9z0Fn/+tf790jIW7/ONL3wzKayMS0e8y+bkMbjw GoRIHJcbz84Q0co//Glx/UBnm24KeW+wk7wQdX5aXRKq//Jyk/Egpm959UipXalNqWBK 41mlhVn9tcE87P1EtqdvB6orE0j8KHcHOKEGNAgWbgdaaX6UW2nfM00FznzM3sK/bou8 nnug== X-Gm-Message-State: AOJu0YxNaBLhhUyrCjrgv1aDtQSTleFOLGiGs+c3G4kxs83aPUxeoeS+ y+vy/PL1kCGTEEeuh+oJP6oMio/U1Jgexg43bFeESVO4+IuExeNZ6NqBpOT88ZA83n8YbpJoF0b 3 X-Google-Smtp-Source: AGHT+IFz8XMDKJKZuDRrQ7EXTTb17eZLUANGS3C67uwJzeI3WbiiVj52DAwnVW6kAWsUGePUe7P5wA== X-Received: by 2002:a5d:4cc2:0:b0:349:cc8c:56ed with SMTP id c2-20020a5d4cc2000000b00349cc8c56edmr5086476wrt.6.1714058527706; Thu, 25 Apr 2024 08:22:07 -0700 (PDT) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id n4-20020a5d4844000000b00349f098f4a6sm20038674wrs.53.2024.04.25.08.22.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Apr 2024 08:22:07 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Date: Thu, 25 Apr 2024 17:21:56 +0200 Message-ID: <4715ea80d95284555c5240e2834598ce7abbe609.1714058471.git.jean@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-unionfind): New variable. Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 920ccdcf36..26f5e4a9a9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3186,6 +3186,30 @@ (define ocaml-eio-luv (define-public ocaml5.0-eio-luv (package-with-ocaml5.0 ocaml-eio-luv)) +(define-public ocaml-unionfind + (package + (name "ocaml-unionfind") + (version "20220122") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/fpottier/unionfind") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0hdh56rbg8vfjd61q09cbmh8l5wmry5ykivg7gsm0v5ckkb3531r")))) + (build-system dune-build-system) + (home-page "https://gitlab.inria.fr/fpottier/unionFind") + (synopsis "Union-find data structure") + (description "This package provides two union-find data structure +implementations for OCaml. Both implementations are based on disjoint sets +forests, with path compression and linking-by-rank, so as to guarantee good +asymptotic complexity: every operation requires a quasi-constant number of +accesses to the store.") + ;; Version 2 only, with linking exception. + (license license:lgpl2.0))) + (define-public ocaml-uring (package (name "ocaml-uring") -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Arnaud Daby-Seesaram <ds-ac@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:24:17 +0000 Resent-Message-ID: <handler.70567.B70567.17140586363833 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140586363833 (code B ref 70567); Thu, 25 Apr 2024 15:24:17 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:56 +0000 Received: from localhost ([127.0.0.1]:32934 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00wz-0000zB-TB for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:55 -0400 Received: from nanein.fr ([185.230.78.41]:43106) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ds-ac@HIDDEN>) id 1s00we-0000tz-0c for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:23:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1714058587; bh=vEc+GlfXGWQ8T9uDbsE9IAxClbPfoltr+s3EMIfI77Q=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=ISqCeq48S9L0pw6pl0Wi1yooDNE/hSAydoID4IFCgxVPgcNtn+U6HNmquoQDl0cQN Z89bLlOrxe2PMwdlVSJ8lDjQIB1rSYO87aIXdYCcJBoaNAXxdd6veToadGC7LpMx0k zy4Lr17GAIeUk+tNRfgbvbF55EBs82ILqUW93Ow02WCTRC5Qokr9Tir8kWV2SV+UtA TzUDnkF9XTmDo4YCVgVzzncR3nxs7IKjeTPVn5FVE6UZE/N1Sh9ORELmEe/+SoHsmH lixgCrWCCnakpUcRcO0RPNgQOJUjNzYnxDR8zMHIMgDpq5WE5PinL4ZPpETps/tmHy IGXZreynM3ir8EMi0gjafngTS9MTRZ6hHcD9EdSwyQk4c2Fc+CqqmU7UmVYDNoqNIp R2Yl2bKAViucq6ZcTQeiyDozj7Ru94C0Nv1q+yA4WQF9XEyPzjLmDRM+TBvAHk1aT/ Zw7CQu5vXB4PfcqdB6A0D7Vyaee9ifTwxXNhEXuZNp/19T69/QhoBDjx3qnfbIwDoE lV+JBAEIseT6ijnlHxbB9Ci8h+2kHGEkKFtWvm05FVJrHJEuKtw93m7Umgy8PBPrcl 1jngWFmqwn5VgnkfjR775GOcHId+B7GSINjK/nWaLSUqTRmTQYcBkt+hNFau+5qHr7 WgnbVpJDVwaILMg6lMaeH71U= Received: from arnaudGuixPortable (wg.nanein.fr [IPv6:2a0c:700:12:50:1::109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id C9A8E140215; Thu, 25 Apr 2024 17:23:07 +0200 (CEST) From: Arnaud Daby-Seesaram <ds-ac@HIDDEN> In-Reply-To: <CAG1gdUonTQgyfBi2xT5UTQwOuSo5YZCo9dEWxhHn-evXvQSdSw@HIDDEN> (Jean-Pierre De Jesus Diaz's message of "Thu, 25 Apr 2024 15:08:57 +0000") References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <CAG1gdUonTQgyfBi2xT5UTQwOuSo5YZCo9dEWxhHn-evXvQSdSw@HIDDEN> User-Agent: mu4e 1.12.4; emacs 29.3 Date: Thu, 25 Apr 2024 17:23:06 +0200 Message-ID: <87y1918o11.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > This is due to a problem with OCaml packages and search paths. > > See <https://issues.guix.gnu.org/69996>. Thx for the link, I did not see Julien's answer on this issue. I=C2=A0confirm than the issue disappears when I add ocaml :). > Shouldn't be an issue per se as Guix checks the hash of the > downloaded files to match Agreed (+ there is a redirection http -> https in place). > but for privacy reasons should be on https IMO. Best, =2D-=20 Arnaud --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmYqdVoQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDN5mD/9rwj/f+OJAx9WcocNKEFOKvYLIIkvM1+WK /hKIcTdL4FH7u0uNlze7NECx1Qi7Z8MOzWYWX1JJUkH599jrZ+uhH7Q/WVehgPoC mIPzrC5KprAgLspv1GyNYR7IWi9AM5TvYHfng5dRbin2/8tFrKXPODRcZY9L5hpN W15ZyiAZl0ykttygwcLrUpkqsQf53GwbMCXk1WYAV8tsoHuIi6b8DM7UG7kSr5lO m+yPtVC7qPYwoTa2PbubQ0JfwSjlbZgTEneaC4PqJglTU2MX62rHppUdg3e0sreJ 7I6yt/6UnPRftRmJ5iuhzMb4f7pLO8E4pqkVqkoM4xjeDKfqkJQqEJjTAx2BO79x 2WGrJ8jJ53zzpnS5+e9YsrngGHuOxMG1Qf0mgUrK3UjRkIXRpIkkuEW0QWQet7Z4 gTbEsu8/4YGfzTdqJfOQ4QMhW5guMuUjQhCmo3M7Ps7Qt0BVyI/f8gLxY1GKXF0J 6NB7htNAerJezLwNvh5VVodCs22O6U24MoH9ImG7wzQoBFrg89Q1RkSltLiKxcfp f37fyKxzxetUOexrcR105uT6DJoJad+ytVWjKhzzaQQKQCUjH2y8ct0Renh7HbGX 83uWjcHUTCwHKpz7lqKsGmxbioBbSdmE6VmBPf4jr0MHaF5wB8eoJsDcTDuEkC2H lF2WcjmAgQ== =H9cW -----END PGP SIGNATURE----- --=-=-=--
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Julien Lepiller <julien@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:26:07 +0000 Resent-Message-ID: <handler.70567.B.17140587355018 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: ds-ac@HIDDEN, 70567 <at> debbugs.gnu.org, jean@HIDDEN Cc: andreas@HIDDEN, sharlatanus@HIDDEN, bavier@HIDDEN X-Debbugs-Original-To: Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN>, Jean-Pierre De Jesus DIAZ <jean@HIDDEN> X-Debbugs-Original-Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by submit <at> debbugs.gnu.org id=B.17140587355018 (code B ref -1); Thu, 25 Apr 2024 15:26:07 +0000 Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 15:25:35 +0000 Received: from localhost ([127.0.0.1]:32965 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00ya-0001IK-4V for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:25:34 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56742) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <julien@HIDDEN>) id 1s00xy-0001Aq-IR for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:24:55 -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 <julien@HIDDEN>) id 1s00xL-0003fI-Pm for guix-patches@HIDDEN; Thu, 25 Apr 2024 11:24:28 -0400 Received: from lepiller.eu ([89.234.186.109]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <julien@HIDDEN>) id 1s00xH-0006Zp-NS for guix-patches@HIDDEN; Thu, 25 Apr 2024 11:24:15 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 3b3e51d9; Thu, 25 Apr 2024 15:24:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=uOsWOFMr0HPx Um4kwpR6KQVu8duMV7uMc1GRGvwhB/Q=; b=idv9/3q3KnSObbeMz2otOXl9m8c2 NL3VZtY64YOFm5uZlpWV3xGm1+HcgQdVx2Uqj2AQJ10WW/EVsjAINnu8AJ6sDk7U nDOmjnKLdDuxze2GjAARJ9tQQmsTyyaCYMx+kjefbCwX1W1MD+hoHgR0IOWJdwnt Z+8OvdzOYz7AyGbsKREkNaeZPeYK2/a3K3ze4Q2XupG1vbTztETriqgJHtpbkMvW WzLT0Tgs8q7FKjtHPRtm/n4uyKClu8cJW1i6QPAq39CWI5xORpAGux/4IRRD921J p7KVQUTKekklnXxqh9kr6n1W3I1FTMEyAMKizfSlHbTIsn1VnfWriaQ0mQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id ee3dde23 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 25 Apr 2024 15:24:04 +0000 (UTC) Date: Thu, 25 Apr 2024 17:22:05 +0200 From: Julien Lepiller <julien@HIDDEN> User-Agent: K-9 Mail for Android In-Reply-To: <8734r9a3x1.fsf@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> Message-ID: <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@HIDDEN; helo=lepiller.eu 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.0 (/) Le 25 avril 2024 16:54:34 GMT+02:00, Arnaud Daby-Seesaram via Guix-patches= via <guix-patches@gnu=2Eorg> a =C3=A9crit=C2=A0: >Hi, > >Thank you for these patches=2E I confirm that the patches do apply, and >that packages build=2E > >That said, I still experience an issue when trying to run frama-c=2E >I=C2=A0can enter a `guix shell frama-c` environment, but then: > >- `frama-c --version` outputs "28=2E1 (Nickel)", as expected=2E > =20 >- `frama-c --help` errors out with the following error: > | Unexpected error (The library "frama-c-alias=2Ecore" can't be found > | in the search paths > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4=2E14=2E1/lib"= =2E)=2E > together with a backtrace=2E > > >Note: this issue is also present in Guix for frama-c version > 27=2E1=C2=A0(Cobalt)=2E > > >I am missing additional packages (maybe in another channel) which would >provide frama-c-* packages? Try with guix shell frama-c ocaml > > >Orthogonal comment: should "http://" be replaced by "https://"? If the website is available at https, yes > > >Best regards, >
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Julien Lepiller <julien@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:26:11 +0000 Resent-Message-ID: <handler.70567.B70567.17140587334985 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: ds-ac@HIDDEN, 70567 <at> debbugs.gnu.org, jean@HIDDEN Cc: andreas@HIDDEN, sharlatanus@HIDDEN, bavier@HIDDEN X-Debbugs-Original-To: Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN>, Jean-Pierre De Jesus DIAZ <jean@HIDDEN> X-Debbugs-Original-Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17140587334985 (code B ref 70567); Thu, 25 Apr 2024 15:26:11 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:25:33 +0000 Received: from localhost ([127.0.0.1]:32963 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s00yX-0001Hv-3D for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:25:31 -0400 Received: from lepiller.eu ([89.234.186.109]:34790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <julien@HIDDEN>) id 1s00xV-00016I-UQ for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:24:28 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 3b3e51d9; Thu, 25 Apr 2024 15:24:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=uOsWOFMr0HPx Um4kwpR6KQVu8duMV7uMc1GRGvwhB/Q=; b=idv9/3q3KnSObbeMz2otOXl9m8c2 NL3VZtY64YOFm5uZlpWV3xGm1+HcgQdVx2Uqj2AQJ10WW/EVsjAINnu8AJ6sDk7U nDOmjnKLdDuxze2GjAARJ9tQQmsTyyaCYMx+kjefbCwX1W1MD+hoHgR0IOWJdwnt Z+8OvdzOYz7AyGbsKREkNaeZPeYK2/a3K3ze4Q2XupG1vbTztETriqgJHtpbkMvW WzLT0Tgs8q7FKjtHPRtm/n4uyKClu8cJW1i6QPAq39CWI5xORpAGux/4IRRD921J p7KVQUTKekklnXxqh9kr6n1W3I1FTMEyAMKizfSlHbTIsn1VnfWriaQ0mQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id ee3dde23 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 25 Apr 2024 15:24:04 +0000 (UTC) Date: Thu, 25 Apr 2024 17:22:05 +0200 From: Julien Lepiller <julien@HIDDEN> User-Agent: K-9 Mail for Android In-Reply-To: <8734r9a3x1.fsf@HIDDEN> References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> Message-ID: <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Le 25 avril 2024 16:54:34 GMT+02:00, Arnaud Daby-Seesaram via Guix-patches= via <guix-patches@gnu=2Eorg> a =C3=A9crit=C2=A0: >Hi, > >Thank you for these patches=2E I confirm that the patches do apply, and >that packages build=2E > >That said, I still experience an issue when trying to run frama-c=2E >I=C2=A0can enter a `guix shell frama-c` environment, but then: > >- `frama-c --version` outputs "28=2E1 (Nickel)", as expected=2E > =20 >- `frama-c --help` errors out with the following error: > | Unexpected error (The library "frama-c-alias=2Ecore" can't be found > | in the search paths > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4=2E14=2E1/lib"= =2E)=2E > together with a backtrace=2E > > >Note: this issue is also present in Guix for frama-c version > 27=2E1=C2=A0(Cobalt)=2E > > >I am missing additional packages (maybe in another channel) which would >provide frama-c-* packages? Try with guix shell frama-c ocaml > > >Orthogonal comment: should "http://" be replaced by "https://"? If the website is available at https, yes > > >Best regards, >
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:36:08 +0000 Resent-Message-ID: <handler.70567.B70567.171405936011840 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller <julien@HIDDEN> Cc: sharlatanus@HIDDEN, ds-ac@HIDDEN, 70567 <at> debbugs.gnu.org, andreas@HIDDEN, bavier@HIDDEN X-Debbugs-Original-Cc: Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405936011840 (code B ref 70567); Thu, 25 Apr 2024 15:36:08 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:36:00 +0000 Received: from localhost ([127.0.0.1]:33023 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s018e-00034X-UU for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:35:59 -0400 Received: from mail-vs1-xe2b.google.com ([2607:f8b0:4864:20::e2b]:42478) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s018b-00032o-Cv for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:35:55 -0400 Received: by mail-vs1-xe2b.google.com with SMTP id ada2fe7eead31-47bb81424adso599151137.1 for <70567 <at> debbugs.gnu.org>; Thu, 25 Apr 2024 08:35:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714059330; x=1714664130; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=RIBJNVYeOGJLW6+KZDLDduHcceQJWzz5n8p4e9h3igk=; b=T9vN22QX1EApJSQRIrLGNaVHV6RmWprF9ow84UnvJ1R4i0Ub6io2PGBjHkLyB4rOpe guDSNSL8ExCkSl8vKpCsF8r/hdAVqgNdizqSbJJNpE7vPCZQ7K3CANhyPNAmg+hbxfpZ GaN9ZsI+dATEVbrxEyf3669bwGw8xZxk+gLJz8Lym7Yzapf5vSIccKSbqT0EGMH6NA0n xjmnCjpoXhIQicQRNTi6wblW+WUg2raWSsi0RF6q681/hreDdIDE7CqyeRRu31ofmtv+ Af5ZRQO13GflGcuUXLkqtWle9R3i+GQlNZl/dTcZdwzlld9Jkv1BAgTwQ8u7C30BVL8L Xizg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714059330; x=1714664130; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=RIBJNVYeOGJLW6+KZDLDduHcceQJWzz5n8p4e9h3igk=; b=mrUmbt9elaHBVaWAK6hJVUKkY9dwca7HvUswGdrwfnNkQuQF/d87nZtzDIu/P+AwTj yWYi3qpayYbYNua/oicYkWSUdhOMOMkK+gz3MKxum6LwyxxcnGMwEl+vizXLwyFZkTJS qKT4kAvJI088Vpb+0r+2QKqNOGAg1TZLE1i83baIitTKQdKw70epsCwnf6SkPVDaDp4N iBXwyk/+21Z8cvOWuLKmODXdGKLgoZWnrmaJ/CRRKq3EYx0+yVIiR3mnp/blYyKmW+Ss eaQtvMMLp00C9osSyFpa5hyK1AuFfGlN6C++k9GeqM+dqZVNT+o4qNhLT4lHjA+CFnEd bFRw== X-Forwarded-Encrypted: i=1; AJvYcCX+3g7N6Qq+6T45XA1kGDPyd+hU8CU9uFicEbcx9KqpL8XG53GTtnn1OZ9gfPAtOjD0/ieGJ0X00V6N9eGIqZS624SFOUc= X-Gm-Message-State: AOJu0YxH6VA7J0lNFtM+NClwM3q/IijZBd7NNjKuKvnPJZt9IEoCQPTt Gx7NJOZpQhl0IYKNRYjMku/w8Pu6xPRSGkxFWtF/KVrGiE14GjhhhTMALBjWkUKMuaGIfnGLcZV Zl+QcKsrmoe7vnrciPnhkrBEN6rqqdutq4u0D4A== X-Google-Smtp-Source: AGHT+IGpC38eyWyf0tOFU8eY1n7FxDkCmLXFtH/93eUEEPj5DILRTvrF7upJww6rMKNrRYKHqwEhYEKIGiK3hInGIxI= X-Received: by 2002:a67:f8ce:0:b0:47a:40df:e799 with SMTP id c14-20020a67f8ce000000b0047a40dfe799mr3809291vsp.5.1714059330024; Thu, 25 Apr 2024 08:35:30 -0700 (PDT) MIME-Version: 1.0 References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> In-Reply-To: <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:35:19 +0000 Message-ID: <CAG1gdUrp_3_GwSLWre0fYceO-TDqEpi13HBGjWFHLFXqX6b19w@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hi, I've sent a v2 of the patches, it now uses https and fixed ocaml-unionfind origin that didn't contain the file-name field. On Thu, Apr 25, 2024 at 3:24=E2=80=AFPM Julien Lepiller <julien@HIDDEN= > wrote: > > > > Le 25 avril 2024 16:54:34 GMT+02:00, Arnaud Daby-Seesaram via Guix-patche= s via <guix-patches@HIDDEN> a =C3=A9crit : > >Hi, > > > >Thank you for these patches. I confirm that the patches do apply, and > >that packages build. > > > >That said, I still experience an issue when trying to run frama-c. > >I can enter a `guix shell frama-c` environment, but then: > > > >- `frama-c --version` outputs "28.1 (Nickel)", as expected. > > > >- `frama-c --help` errors out with the following error: > > | Unexpected error (The library "frama-c-alias.core" can't be found > > | in the search paths > > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). > > together with a backtrace. > > > > > >Note: this issue is also present in Guix for frama-c version > > 27.1 (Cobalt). > > > > > >I am missing additional packages (maybe in another channel) which would > >provide frama-c-* packages? > > Try with guix shell frama-c ocaml > > > > > > >Orthogonal comment: should "http://" be replaced by "https://"? > > If the website is available at https, yes > > > > > > >Best regards, > >
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:37:06 +0000 Resent-Message-ID: <handler.70567.B.171405937512012 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller <julien@HIDDEN> Cc: sharlatanus@HIDDEN, ds-ac@HIDDEN, 70567 <at> debbugs.gnu.org, andreas@HIDDEN, bavier@HIDDEN X-Debbugs-Original-Cc: Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN> Received: via spool by submit <at> debbugs.gnu.org id=B.171405937512012 (code B ref -1); Thu, 25 Apr 2024 15:37:06 +0000 Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 15:36:15 +0000 Received: from localhost ([127.0.0.1]:33028 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s018v-00037V-9J for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:36:14 -0400 Received: from lists.gnu.org ([2001:470:142::17]:34244) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s018i-000349-Bk for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:36:06 -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 <jean@HIDDEN>) id 1s018I-0000NT-Nz for guix-patches@HIDDEN; Thu, 25 Apr 2024 11:35:35 -0400 Received: from mail-ua1-x92c.google.com ([2607:f8b0:4864:20::92c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <jean@HIDDEN>) id 1s018F-0002Wg-I4 for guix-patches@HIDDEN; Thu, 25 Apr 2024 11:35:34 -0400 Received: by mail-ua1-x92c.google.com with SMTP id a1e0cc1a2514c-7e7cf5cc1d0so1375081241.0 for <guix-patches@HIDDEN>; Thu, 25 Apr 2024 08:35:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714059330; x=1714664130; darn=gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=RIBJNVYeOGJLW6+KZDLDduHcceQJWzz5n8p4e9h3igk=; b=NhqCRJYw1PNR01bbCm3QfRMaSokpFalmA7VRajMErW7BAelMpG4a9NP6Cmsz20R4Cl Y/opyPwm9xHodAvB70ndnd+36NC5Uvq+JnlL0DDVmLrQbFdT6QEkdyoU5TagigYbiDsL UMd6KGpGYAVtpkroENgjHWbVeDaWg/JFMfYMZYc5luZPZeukm5kUAZ8ALEHq/eHaRlNv U0Dpv93Bh4eNZFd8Ug2diiMZsQVtApa+xjg6Rm6uFpjyNihR3nVAOilSlfcjRHun2vKo 3xYeLr1ddtzUPHwHYO4oWSNwBKqF1luI9k36cBDtql5BrBrd5s0YpRGdzve3plNamOfJ w5Rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714059330; x=1714664130; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=RIBJNVYeOGJLW6+KZDLDduHcceQJWzz5n8p4e9h3igk=; b=ac/285l51w9wh9kbOnGo0OZuDPAKoKpIiVuINpqucloa9Be1Ys1vsg9GvVFznj+LJ6 ghkky5ejrSl/vqaOsMpQsZPLghLkfORbFDgMYDeb+O5vzsVjySAkNgrcQf2DOPZkPYF5 o4JKb8Y/L/M1gB2aO16qGtGsYApzEG6hKr2eh49BS5WZ7ZUsYfGq+LB2UZKpwhqFXBnL /WMJqB5Irl8VfuMtvs9p5KwJz5IXw2nGrWE3nTSnkb2RU41dVUvzNGGlyl1xkGzRqHRB 8n2hi2SWJ02l0ck3YuY48n5uBK48Ftw76Mpz63Y/JUHKDuTsUAk9pv8B9Ymz1Q3HJC8z 79wA== X-Forwarded-Encrypted: i=1; AJvYcCV0MVXUyWLaGshSY2uFYDpHkkYsVwUfDK4TtW3E8GvIMwK/FaGZr4tV48y7xVnnD6XCxBLZtIYUo0286BN4riMSSt2fkQ== X-Gm-Message-State: AOJu0Ywgfgx2wBYEpQpP6aiWgbsOtEyMcAQkAF2tcaTzgUXFAk0cojWx 6B8qeu5dcYTw0tN93oOH2EYxN4P7LIg4MUeASHv67ViQxsukSXkv+2QzyoJaMn4rylawADR4yPY 8P14eg+bSEZAbULdySy8LrrKWebbbPnc5SLPOEQ== X-Google-Smtp-Source: AGHT+IGpC38eyWyf0tOFU8eY1n7FxDkCmLXFtH/93eUEEPj5DILRTvrF7upJww6rMKNrRYKHqwEhYEKIGiK3hInGIxI= X-Received: by 2002:a67:f8ce:0:b0:47a:40df:e799 with SMTP id c14-20020a67f8ce000000b0047a40dfe799mr3809291vsp.5.1714059330024; Thu, 25 Apr 2024 08:35:30 -0700 (PDT) MIME-Version: 1.0 References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> In-Reply-To: <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Date: Thu, 25 Apr 2024 15:35:19 +0000 Message-ID: <CAG1gdUrp_3_GwSLWre0fYceO-TDqEpi13HBGjWFHLFXqX6b19w@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::92c; envelope-from=jean@HIDDEN; helo=mail-ua1-x92c.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-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.0 (/) Hi, I've sent a v2 of the patches, it now uses https and fixed ocaml-unionfind origin that didn't contain the file-name field. On Thu, Apr 25, 2024 at 3:24=E2=80=AFPM Julien Lepiller <julien@HIDDEN= > wrote: > > > > Le 25 avril 2024 16:54:34 GMT+02:00, Arnaud Daby-Seesaram via Guix-patche= s via <guix-patches@HIDDEN> a =C3=A9crit : > >Hi, > > > >Thank you for these patches. I confirm that the patches do apply, and > >that packages build. > > > >That said, I still experience an issue when trying to run frama-c. > >I can enter a `guix shell frama-c` environment, but then: > > > >- `frama-c --version` outputs "28.1 (Nickel)", as expected. > > > >- `frama-c --help` errors out with the following error: > > | Unexpected error (The library "frama-c-alias.core" can't be found > > | in the search paths > > | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). > > together with a backtrace. > > > > > >Note: this issue is also present in Guix for frama-c version > > 27.1 (Cobalt). > > > > > >I am missing additional packages (maybe in another channel) which would > >provide frama-c-* packages? > > Try with guix shell frama-c ocaml > > > > > > >Orthogonal comment: should "http://" be replaced by "https://"? > > If the website is available at https, yes > > > > > > >Best regards, > >
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Thu, 25 Apr 2024 15:37:09 +0000 Resent-Message-ID: <handler.70567.B70567.171405937612028 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller <julien@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171405937612028 (code B ref 70567); Thu, 25 Apr 2024 15:37:09 +0000 Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:36:16 +0000 Received: from localhost ([127.0.0.1]:33031 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s018w-00037g-Px for submit <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:36:15 -0400 Received: from hera.aquilenet.fr ([2a0c:e300::1]:53310) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s018p-00035V-VV for 70567 <at> debbugs.gnu.org; Thu, 25 Apr 2024 11:36:09 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 44ED7CD3; Thu, 25 Apr 2024 17:35:43 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.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 IghpAksSdhSi; Thu, 25 Apr 2024 17:35:42 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 89819CB8; Thu, 25 Apr 2024 17:35:42 +0200 (CEST) Date: Thu, 25 Apr 2024 17:35:41 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <Zip4TdRxA4Bqs6nS@jurong> References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, looking at what frama-c does, I am a bit puzzled: to me it has been put into the wrong module, together with why3 just above it; unless you consider informatics as a subset of mathematics, that is. In any case, these packages do not seem to do computations of interest to an applied mathematician (which is what most of maths.scm is about) or a pure mathematician (with packages in algebra.scm). Could they be moved to coq.scm? Or a more generic, maybe a new module related to theorem proving and/or source code analysis? Maybe into a renamed valgrind.scm? Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Fri, 26 Apr 2024 13:05:02 +0000 Resent-Message-ID: <handler.70567.B70567.171413666322320 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Andreas Enge <andreas@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Julien Lepiller <julien@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.171413666322320 (code B ref 70567); Fri, 26 Apr 2024 13:05:02 +0000 Received: (at 70567) by debbugs.gnu.org; 26 Apr 2024 13:04:23 +0000 Received: from localhost ([127.0.0.1]:34372 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s0LFW-0005nw-L4 for submit <at> debbugs.gnu.org; Fri, 26 Apr 2024 09:04:23 -0400 Received: from mail-oi1-x22e.google.com ([2607:f8b0:4864:20::22e]:44205) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jean@HIDDEN>) id 1s0LFT-0005mP-Dh for 70567 <at> debbugs.gnu.org; Fri, 26 Apr 2024 09:04:21 -0400 Received: by mail-oi1-x22e.google.com with SMTP id 5614622812f47-3c749aa444fso1240781b6e.0 for <70567 <at> debbugs.gnu.org>; Fri, 26 Apr 2024 06:04:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1714136635; x=1714741435; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=9T1bCIFs9+fv6qYVx62laclXgalYUvA02Ys0DVeD2C8=; b=Kq/+uYD1XnhVe74pnsbmhJpfd4mRNpqsNcNRpL2rVB1n1Vl3lab7VQekiygL0Spus2 GWcaoUp8OlQI51UdAaTA5zmVqHArxGH0Wj8x9lIDISUfGXp3T+qxkpSWcqkWWSizHDQQ p9+wMTiN3VRRqo5dTVjjNu6fCEJF94jJOlxzla18Qjo1QJYunV07vAtBai8DhkcJggCb 1w3RlSZPWJhDR2OdHtDiE70D5rPFRvdKI2/pSZm68RhyOW9BC4wjKX/nCceQWITqqZPA kemNjO82rVc6CA5iLmg9lO26+ihPoRW8t7VHPmpbKbtGNjfq5sKSLcoUQHXIusjVwSb0 sV/Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714136635; x=1714741435; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=9T1bCIFs9+fv6qYVx62laclXgalYUvA02Ys0DVeD2C8=; b=uH1NdM4Y4hjP/01EYTvhv9HUF1uynAzOHWmgtrk6EF7jr9RCCN+qnwaPklsjQ2Tmt8 Z3BqetQ1W+2w3zvYvezFLj45xgchs5nLbX5DcVBh6OsO2FVzfhRrMZW7HeSgsVeiTBqL di/6lFRAHUsRdE5DhYJwlBR7Ena2USfEl0Yk1GhkQIrIGLSh640ioaMmHfJeMIjF+b36 OnqaEOaLmKfd/vux3aR/TqVZJvXW+hrYPdsXR2ZDV0FiwvS9KGOcS8KnYr6TRJlpn8Fz XiJCJhp9yOeiJp2PFZzQHRo6DWqZRPeg1u6+8zYdPUdfSH7sVkZqfMKckDoyC1CtKzHE 9WdA== X-Forwarded-Encrypted: i=1; AJvYcCVB9g/Zl3CtUyrOLFGCdCmO/KZnEFMiPkcIZwO8FACa6DlnXPzEVYsqcmU+eHkfCjfmjXsM76gFZjMHvW95dDCJRBtx73Y= X-Gm-Message-State: AOJu0Yz2iO33E8itjlsyF3CWTQsX3JgPz8KTA+rKdIhJmHqG3zK7qaSH zpBt5/qL3TWV22JU7skZzMqXamAtundPI8PakBj+5EwfLDARJX6jq9uRNHyL0zqhig/IJczbbFi dKSyvabRwq7HLRod3KqERay5aEicmQy1MlNHFtw== X-Google-Smtp-Source: AGHT+IGEf+gKmRTbs6LzkfcBO3m/aLNc/zgymiYOY/+27CspOwPeGaligvHGGhpfZTPmbMnKdR3H+XMHDXEX6EVbMgc= X-Received: by 2002:a05:6808:f11:b0:3c7:c13:e67c with SMTP id m17-20020a0568080f1100b003c70c13e67cmr2431059oiw.7.1714136635068; Fri, 26 Apr 2024 06:03:55 -0700 (PDT) MIME-Version: 1.0 References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> <Zip4TdRxA4Bqs6nS@jurong> In-Reply-To: <Zip4TdRxA4Bqs6nS@jurong> From: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Date: Fri, 26 Apr 2024 13:03:44 +0000 Message-ID: <CAG1gdUpHH4OvujTS_gLEbs76Odp4Wv1YuHnnR2fudymdtckQtA@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hi, >looking at what frama-c does, I am a bit puzzled: to me it has been put >into the wrong module, together with why3 just above it; unless you consid= er >informatics as a subset of mathematics, that is. In any case, these packag= es >do not seem to do computations of interest to an applied mathematician >(which is what most of maths.scm is about) or a pure mathematician (with >packages in algebra.scm). Agreed. >Could they be moved to coq.scm? Or a more generic, maybe a new module >related to theorem proving and/or source code analysis? Maybe into a >renamed valgrind.scm? I think it should be done but in a separate patch series as it would involv= e moving quite a few things, maybe a formal-methods.scm module? I think the coq.scm should be only for Coq as it contains it's own ecosyste= m. On Thu, Apr 25, 2024 at 3:35=E2=80=AFPM Andreas Enge <andreas@HIDDEN> wrot= e: > > Hello, > > looking at what frama-c does, I am a bit puzzled: to me it has been put > into the wrong module, together with why3 just above it; unless you consi= der > informatics as a subset of mathematics, that is. In any case, these packa= ges > do not seem to do computations of interest to an applied mathematician > (which is what most of maths.scm is about) or a pure mathematician (with > packages in algebra.scm). > > Could they be moved to coq.scm? Or a more generic, maybe a new module > related to theorem proving and/or source code analysis? Maybe into a > renamed valgrind.scm? > > Andreas >
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sun, 28 Apr 2024 14:02:02 +0000 Resent-Message-ID: <handler.70567.B70567.17143129187243 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, Julien Lepiller <julien@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Eric Bavier <bavier@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17143129187243 (code B ref 70567); Sun, 28 Apr 2024 14:02:02 +0000 Received: (at 70567) by debbugs.gnu.org; 28 Apr 2024 14:01:58 +0000 Received: from localhost ([127.0.0.1]:50310 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s156L-0001sl-S2 for submit <at> debbugs.gnu.org; Sun, 28 Apr 2024 10:01:58 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:55400) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s156J-0001sf-TH for 70567 <at> debbugs.gnu.org; Sun, 28 Apr 2024 10:01:56 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 1E1DB65F; Sun, 28 Apr 2024 16:01:30 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.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 Orne9c2cH-gP; Sun, 28 Apr 2024 16:01:29 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 5D9C855; Sun, 28 Apr 2024 16:01:29 +0200 (CEST) Date: Sun, 28 Apr 2024 16:01:27 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <Zi5WtyGSVKyguWiv@jurong> References: <cover.1714050321.git.jean@HIDDEN> <8734r9a3x1.fsf@HIDDEN> <23FB3A3D-8FED-418D-AF36-0EF59C95F0E7@HIDDEN> <Zip4TdRxA4Bqs6nS@jurong> <CAG1gdUpHH4OvujTS_gLEbs76Odp4Wv1YuHnnR2fudymdtckQtA@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <CAG1gdUpHH4OvujTS_gLEbs76Odp4Wv1YuHnnR2fudymdtckQtA@HIDDEN> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Am Fri, Apr 26, 2024 at 01:03:44PM +0000 schrieb Jean-Pierre De Jesus Diaz: > >Could they be moved to coq.scm? Or a more generic, maybe a new module > >related to theorem proving and/or source code analysis? Maybe into a > >renamed valgrind.scm? > I think it should be done but in a separate patch series as it would involve > moving quite a few things, maybe a formal-methods.scm module? Definitely, it should be done in a separate patch. As to what the module should be called, I will let the specialists discuss it among themselves :) Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Wed, 01 May 2024 16:14:02 +0000 Resent-Message-ID: <handler.70567.B70567.17145800251912 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70567 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Cc: 70567 <at> debbugs.gnu.org, pukkamustard <pukkamustard@HIDDEN>, Julien Lepiller <julien@HIDDEN> Received: via spool by 70567-submit <at> debbugs.gnu.org id=B70567.17145800251912 (code B ref 70567); Wed, 01 May 2024 16:14:02 +0000 Received: (at 70567) by debbugs.gnu.org; 1 May 2024 16:13:45 +0000 Received: from localhost ([127.0.0.1]:38173 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s2CaX-0000Uk-CD for submit <at> debbugs.gnu.org; Wed, 01 May 2024 12:13:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33266) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1s2CaV-0000Ue-19 for 70567 <at> debbugs.gnu.org; Wed, 01 May 2024 12:13:44 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1s2Ca2-0005q6-Ll; Wed, 01 May 2024 12:13:14 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=6GEEZafW4f+rDtZ48/835J5ncUafQLn7dtoATnwjoOY=; b=XzfGTrKGCutxxDpSFtdv QUit1bAeG3wk8t0LhcQ/BnZf5rdgJN4ZGP/zya8rGRNRPOnmMf1lK0ICrDoCh2sMzRBroWdtF9fh2 tiR8rHrdki23q1JV5G6c8qdXrqSOKrDH969YtdrCNrQ3s7qY/iNCzjm485scfxEs5spSUfR3fwONr 3uWemIfFZXCcFxB+TYEQ6Wj8JjRN1WTt7mEGQAra2JZA0J/w7W9edfXWg/T41AoDxyAz54sgIRAvb 5dcoTdPI4av0P+rb++s8ikzOKCgPZj3kQn8A7HbZvYNLoGfQ2lsw/oRf1qXGxn9wbJv+5w2l5ps52 ZCOpqXy7rDUExA==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN> In-Reply-To: <4715ea80d95284555c5240e2834598ce7abbe609.1714058471.git.jean@HIDDEN> (Jean-Pierre De Jesus DIAZ's message of "Thu, 25 Apr 2024 17:21:56 +0200") References: <fed82eb94f9d8f797e8ff23f3f4d45657295c1de.1714058471.git.jean@HIDDEN> <4715ea80d95284555c5240e2834598ce7abbe609.1714058471.git.jean@HIDDEN> Date: Wed, 01 May 2024 18:13:05 +0200 Message-ID: <87bk5p5x4e.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -3.3 (---) Hi Jean-Pierre, Jean-Pierre De Jesus DIAZ <jean@HIDDEN> skribis: > * gnu/packages/ocaml.scm (ocaml-unionfind): New variable. > > Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a <https://qa.guix.gnu.org/issue/70567> reports a build failure of this package on 32-bit platforms (armhf and i686): --8<---------------cut here---------------start------------->8--- starting phase `check' File "test/dune", line 2, characters 8-21: 2 | (name TestUnionFind) ^^^^^^^^^^^^^ (cd _build/default/test && ./TestUnionFind.exe) Fatal error: exception Invalid_argument("Array.make") error: in phase 'check': uncaught exception: %exception #<&invoke-error program: "dune" arguments: ("runtest" "--release= ") exit-status: 1 term-signal: #f stop-signal: #f>=20 phase `check' failed after 0.6 seconds --8<---------------cut here---------------end--------------->8--- Could you take a look? It seems qa.guix is reporting on v1 of the patch set though because the build logs suggest =E2=80=98ocaml-unionfind=E2=80=99 was lacking the (file-= name (git-file-name =E2=80=A6)) stanza. Apart from that the series LGTM. Thanks, Ludo=E2=80=99.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.