Received: (at 70567) by debbugs.gnu.org; 1 May 2024 16:13:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 01 12:13:45 2024
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: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
Subject: Re: [bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind.
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-Debbugs-Envelope-To: 70567
Cc: 70567 <at> debbugs.gnu.org, pukkamustard <pukkamustard@HIDDEN>,
Julien Lepiller <julien@HIDDEN>
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.
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 28 Apr 2024 14:01:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Apr 28 10:01:58 2024 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> To: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: 70567 Cc: 70567 <at> debbugs.gnu.org, Julien Lepiller <julien@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 26 Apr 2024 13:04:23 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Apr 26 09:04:23 2024 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> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. To: Andreas Enge <andreas@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 70567 Cc: 70567 <at> debbugs.gnu.org, Julien Lepiller <julien@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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 >
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:36:16 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:36:15 2024 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> To: Julien Lepiller <julien@HIDDEN> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: 70567 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> 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
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 15:36:15 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:36:14 2024 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> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. To: Julien Lepiller <julien@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-Debbugs-Envelope-To: submit 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> 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, > >
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:36:00 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:35:59 2024 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> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. To: Julien Lepiller <julien@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 70567 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> 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, > >
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:25:33 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:25:32 2024 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> To: Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN>, Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: 70567 Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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, >
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 15:25:35 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:25:35 2024 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> To: Arnaud Daby-Seesaram <ds-ac@HIDDEN>, Arnaud Daby-Seesaram via Guix-patches via <guix-patches@HIDDEN>, Jean-Pierre De Jesus DIAZ <jean@HIDDEN> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: submit Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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, >
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:56 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:55 2024 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> To: Jean-Pierre De Jesus Diaz <jean@HIDDEN> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: 70567 Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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----- --=-=-=--
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:54 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 6/7] gnu: Add ocaml-unionfind.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:49 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:48 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 7/7] gnu: frama-c: Update to 28.1.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:47 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:46 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 5/7] gnu: why3: Enable extra features.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:44 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 4/7] gnu: why3: Use new style.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:23:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:23:43 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 3/7] gnu: why3: Update to 1.7.2.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:22:48 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:22:46 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 2/7] gnu: coq-flocq: Update to 4.1.4.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:22:42 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:22:40 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH v2 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 15:09:36 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 11:09:36 2024 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> Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. To: Arnaud Daby-Seesaram <ds-ac@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 70567 Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 14:55:23 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 10:55:21 2024
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>
To: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1.
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-Debbugs-Envelope-To: 70567
Cc: 70567 <at> debbugs.gnu.org, Andreas Enge <andreas@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN>
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-----
--=-=-=--
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 14:31:46 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 10:31:45 2024 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> To: guix-patches@HIDDEN, Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, 70567 <at> debbugs.gnu.org Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: submit Cc: Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 14:30:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 10:30:57 2024 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> To: guix-patches@HIDDEN, Jean-Pierre De Jesus DIAZ <jean@HIDDEN>, 70567 <at> debbugs.gnu.org Subject: Re: [bug#70567] [PATCH 0/7] frama-c: Update to 28.1. 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-Debbugs-Envelope-To: 70567 Cc: Andreas Enge <andreas@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> 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
guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:52 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:50 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 4/7] gnu: why3: Use new style.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:44 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 7/7] gnu: frama-c: Update to 28.1.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:39 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 2/7] gnu: coq-flocq: Update to 4.1.4.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:36 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 6/7] gnu: Add ocaml-unionfind.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:33 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 5/7] gnu: why3: Enable extra features.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:31 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 3/7] gnu: why3: Update to 1.7.2.
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
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
Received: (at 70567) by debbugs.gnu.org; 25 Apr 2024 13:13:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:13:04 2024
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>
To: 70567 <at> debbugs.gnu.org
Subject: [PATCH 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
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
X-Debbugs-Cc: Julien Lepiller <julien@HIDDEN>,
pukkamustard <pukkamustard@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70567
Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN>
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
julien@HIDDEN, pukkamustard@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 25 Apr 2024 13:09:29 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 25 09:09:28 2024 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> To: guix-patches@HIDDEN Subject: [PATCH 0/7] frama-c: Update to 28.1. 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 X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> 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-Debbugs-Envelope-To: submit Cc: Jean-Pierre De Jesus DIAZ <jean@HIDDEN> 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
Jean-Pierre De Jesus DIAZ <jean@HIDDEN>:andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN.
Full text available.andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70567; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.