From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id YBmLAISjAWYtQgEAe85BDQ:P1 (envelope-from ) for ; Mon, 25 Mar 2024 17:17:08 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id YBmLAISjAWYtQgEAe85BDQ (envelope-from ) for ; Mon, 25 Mar 2024 17:17:08 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=jntSGxSU; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1711383427; a=rsa-sha256; cv=none; b=kx74dqZUkoBZ52RxU9Ae9KkVo1tGR220IVDsi2COno6o4LoffW2hXj3HkpPQASXB/5uqRh Jq7vF/RNfgVWVifB6UZIfRlpvLVkm5Xc31ShLqjQrxUAfCqHY4lgU15SAxrQWKbgyUN4Dn MQOKux7YyfsnmoJWli7tbpxIZ2wVS6Q863emqNRZMGZ3+wNmIn1uHmTccKOIaST2+m+tkZ ajB3lafsKV+bEzwQRUSllRW7O6ty6215EJ+hUuRe+p4j+ldKWUZWUcTxG0sQm9HeH/Bze4 TnuUDbVIk5a3p8YxweXAaSA0565BxYk4Y1geIUInXST4p1eP8ylJAj2aFaYCpQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=jntSGxSU; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1711383427; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=lDcbMY4y5yyUAURsqN2yrujg7M6gJ34GkU2Mgd48z0w=; b=I6t60RbxV0Jx8hM8BJLXXUKxI5A7Mea77n78+L0RNkCExXg5Fv8xzqNXXulkrQ/B3RCX8F 8FA/tvCNICIVYM/vTWHd7q7My7H6ecst4xOSyGw3R+ApsAjn0DssN/O9/TicDzj4I3k20t j2E+ygjIBbTAn0fLd26MAEOVT+lt8qTF4u+k03SfEr+p5Zz6ezBXhdJjQGBmENWpjY/hD/ h6qRpUZMCs09++REEuqFJ045ZYsp4lkeuCCEjfmwiepEeeexQNb5qhkqzgz0BF21qWwbbm eaUJyK1YxCSYukHr22f22/cwos5D2zkGI6SjBGURTS7c1Ul81N0hvWQCU6XaYg== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D3E3219CDF for ; Mon, 25 Mar 2024 17:17:07 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1romzp-00026D-LN; Mon, 25 Mar 2024 12:16:26 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1romzW-00024D-Rw for bug-guix@gnu.org; Mon, 25 Mar 2024 12:16:07 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1romzV-0008Mp-Ph for bug-guix@gnu.org; Mon, 25 Mar 2024 12:16:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1romzU-00075i-UD for bug-guix@gnu.org; Mon, 25 Mar 2024 12:16:04 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 25 Mar 2024 16:16:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69996 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 69996@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171138334227112 (code B ref -1); Mon, 25 Mar 2024 16:16:04 +0000 Received: (at submit) by debbugs.gnu.org; 25 Mar 2024 16:15:42 +0000 Received: from localhost ([127.0.0.1]:35866 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1romz7-000738-Ew for submit@debbugs.gnu.org; Mon, 25 Mar 2024 12:15:41 -0400 Received: from lists.gnu.org ([2001:470:142::17]:33816) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1romz5-00072v-BT for submit@debbugs.gnu.org; Mon, 25 Mar 2024 12:15:40 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rohfL-0001WE-OG for bug-guix@gnu.org; Mon, 25 Mar 2024 06:34:55 -0400 Received: from mout02.posteo.de ([185.67.36.66]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rohfJ-0007s4-Tc for bug-guix@gnu.org; Mon, 25 Mar 2024 06:34:55 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 1F3CB240103 for ; Mon, 25 Mar 2024 11:34:49 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1711362889; bh=WdQnoUD8te8s+ZRBoCrgSev0Vjh41Bj2cTnp8sROCQI=; h=From:To:Subject:Date:Message-ID:MIME-Version:Content-Type:From; b=jntSGxSUQcO5H37iN5SqR21VlG22vpjRKvhJzN9210xObuAFSFyKe+mfiw8SMEpVz FzQMFiVm/T0QnMFpheURP+t69D25XD7PIR73hl5j0FoHOuMX9bBEsB9dZz1CSpW0qQ t8U8vbyLeR+matJgKjhEu30phJiew2iIem4e785gZB4hZ0tSy4jt23nJl+m4wEt8oM VKQEnUDtVooEU3etuhrQFgeifq1uBaN/ei/dbaTRAyhvgGTOWKm6P22Z91FDqTeN09 RxqVmtmfzQf1TcnAmEzZQyIy2Y6fKqgUjAH85CutkXZLnMHf0kDuRovTPUxtKPV7oq auADawJNRdbiA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4V38Sm4ZYqz6trs for ; Mon, 25 Mar 2024 11:34:48 +0100 (CET) From: pukkamustard Date: Mon, 25 Mar 2024 10:29:44 +0000 Message-ID: <86zfummwfs.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Spam-Score: 2.49 X-Migadu-Queue-Id: D3E3219CDF X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: 2.49 X-TUID: qS9iI1lGf1J8 As reported by Arnaud (off-list mail) some OCaml packages build fine but seem to be broken. Examples include `frama-c` and `binsec`: ``` guix shell frama-c -- frama-c [kernel] Current source was: :0 The full backtrace is: Raised at Dune_site_plugins__Plugins.lookup_and_summarize.loop.(fun) in file "otherlibs/dune-site/src/plugins/plugins.ml", line 237, characters 16-87 Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/dune-site/src/plugins/plugins.ml", line 263, characters 39-69 Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15 Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15 Called from Frama_c_kernel__Kernel.bootstrap_loader in file "src/kernel_services/plugin_entry_points/kernel.ml", line 933, characters 35-62 Called from Frama_c_kernel__Cmdline.parse_and_boot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 894, characters 2-22 Called from Frama_c_kernel__Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 233, characters 4-8 Unexpected error (The library "frama-c-aorai.core" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".). Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues Your Frama-C version is 27.1 (Cobalt). Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: https://git.frama-c.com/pub/frama-c/-/wikis/Guidelines-for-reporting-bugs ``` ``` guix shell binsec -- binsec -v Fatal error: exception The library "binsec.sse.checkct" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib". ```