From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 8FscEDw5JGW4ugAA9RJhRA:P1 (envelope-from ) for ; Mon, 09 Oct 2023 19:32:44 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 8FscEDw5JGW4ugAA9RJhRA (envelope-from ) for ; Mon, 09 Oct 2023 19:32:44 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id EC3FE6367E for ; Mon, 9 Oct 2023 19:32:43 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=B+Vy9iN4; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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=1696872764; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=0YL6mUE+kKej0DOxH5M8df61wD2Bhv+mRn1RYL/G7Mw=; b=pFQCON8zCMgglyLnPJn0No82q0yj/TEF7bUos3rXPcH/viqvFkrtVCYGPQwEPqJPZmWyB3 IYrLn05BjoiTxWmaBSRs6HuW9exmlwrSPePFLgm2waKNMjIStFFnqGqJdebdVbfnnR4lAF xA8YTEwcwM1Jps4SkjYVzyoaI9PkbFFnVku/fciMYEEXU7Lb4Fc8YjGOuumc8Ks4q9RiKu aLjkr30EuZHlIo80G1xb2/QGVzbcxvQMHjWFJfab8N8Mv5wkQs8P0y9yHhh0U9Xodn0Jwc 3W53WunXTm49dZAvDyynHqtphJxAnefL6NgOuwuk++eGy90kbkC3oxRZh8Nb5g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1696872764; a=rsa-sha256; cv=none; b=dRptztneMZpnJjgR4pxo//kfoKrRszxtqbE/46P5U0wDALtyFTag9OOPAcQxYu3+IIyvv8 0UhQeyN6DjZWFTP0hLRbg8sfv5+Ci8E67M0VKDwxOnGwL0k9Lf+x7sFEzeXwRmtpjMmA1q hRdGLOe5KOJ00wD63ruP001l70jYclUzGMHOK6eVT+zYzyP+MQCj1WIAvmGznZ3dP9ou4c l31HPWhHlvS/q9ciY653A5TlWP47Mg6IlSXD9wQtaBTaLkbOfFLHfuGRWEKRp26zV4cioq ejZ0h/vZDde6HIJzIKXYG6Bgn/Ae4BkuJWPszY4+kQ0oO79lhHoFhwxJ5gGTkw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=B+Vy9iN4; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qptJV-0004ag-Oa; Mon, 09 Oct 2023 12:41: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 ) id 1qptJQ-0004UA-Km for bug-guix@gnu.org; Mon, 09 Oct 2023 12:41:00 -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 1qptJQ-0001Kf-CG for bug-guix@gnu.org; Mon, 09 Oct 2023 12:40:56 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qptJl-00042d-1C; Mon, 09 Oct 2023 12:41:17 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#65924: [PATCH core-updates 50/65] gnu: lingeling: Import the correct set of modules. Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, efraim@flashner.co.il, bavier@posteo.net, bug-guix@gnu.org Resent-Date: Mon, 09 Oct 2023 16:41:16 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65924 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 65924@debbugs.gnu.org Cc: Maxim Cournoyer , Andreas Enge , Efraim Flashner , Eric Bavier X-Debbugs-Original-Xcc: Andreas Enge , Efraim Flashner , Eric Bavier Received: via spool by 65924-submit@debbugs.gnu.org id=B65924.169686966815302 (code B ref 65924); Mon, 09 Oct 2023 16:41:16 +0000 Received: (at 65924) by debbugs.gnu.org; 9 Oct 2023 16:41:08 +0000 Received: from localhost ([127.0.0.1]:32882 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qptJb-0003yZ-Rj for submit@debbugs.gnu.org; Mon, 09 Oct 2023 12:41:08 -0400 Received: from mail-qv1-xf30.google.com ([2607:f8b0:4864:20::f30]:42407) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qptJ7-0003rI-Ly for 65924@debbugs.gnu.org; Mon, 09 Oct 2023 12:40:37 -0400 Received: by mail-qv1-xf30.google.com with SMTP id 6a1803df08f44-65af8d30b33so39221146d6.1 for <65924@debbugs.gnu.org>; Mon, 09 Oct 2023 09:40:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696869611; x=1697474411; 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=0YL6mUE+kKej0DOxH5M8df61wD2Bhv+mRn1RYL/G7Mw=; b=B+Vy9iN43nyaTQt9f4orlxaDXy8x7v+l2jT7CTH4XnUwVTCcJu15u4XtEy4v3Px7GA IG/LrluPl5uQXnD2aHMGQv6WeDXU1FuRaSPjvChMNkkcPe5hBtKeob2jf8NQi5KoTafm iDGnh7GGz1mAgqsKLBjHujX32wvJILQ29/4srL0ouFwsu+tX0O9zy5TMPEL+pc3K8bji gYkESrzAu/evd3/rukdkbaUUJm20UkIttD8DXUOOE7+OCjUUeeqwcnMZO0+iS/aHDQAM 0i24OH4syhmbrYAYkP79Vz1GszFaFKHYa2/AlpdFnAjHJwCmcVgY7IkmHQCknbdnZizh Meyg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696869611; x=1697474411; 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=0YL6mUE+kKej0DOxH5M8df61wD2Bhv+mRn1RYL/G7Mw=; b=o+6LXlrw6NEjT3aAOw44lgewhSA6g50LdroXhQnMpg094ERv4oUFPx0EcQPTn6jbXg CwXwpUQdoSmgOciFC/uja3hxliUtOLbxAb4oMu8XFIb04oji9Tu145SpZQZrSS/GvYA1 EANxBLEB2mXbj7I+ki5zdFWOJH72WRzw2uJ9MwyqExSWm+M4mr2zYM1tC5LaX53gYwty CKiEoGrtGQN2ntNE0tuPRCGHTJO48YXuzYw1fKfTZAityBQdCDlBUYN+lVczN8KuZyq+ R8nz7QVcA17W7Ii/ue0TGX7+FRpkFqd3j32lqx0/YvYVx/LFFdUijwwX18yKlm0WsVbf 6pDg== X-Gm-Message-State: AOJu0YwHMlKOEyoKR86QSkOzLxKrpf+zUv1tdQTZ99q5gLFaSVK+uurr hXz8/LU/sLaczlZsq4HyY+Wrtp0bU2w= X-Google-Smtp-Source: AGHT+IEwYubMGZ6+tVvXbHr1RvNPWBF9nGxkXQqOB2QPuU8v3CI4NSh0TK9PRanFzq0FDhBuOZi0kA== X-Received: by 2002:a0c:e04b:0:b0:65b:896:1cb1 with SMTP id y11-20020a0ce04b000000b0065b08961cb1mr19620456qvk.17.1696869611350; Mon, 09 Oct 2023 09:40:11 -0700 (PDT) Received: from localhost.localdomain (dsl-10-149-16.b2b2c.ca. [72.10.149.16]) by smtp.gmail.com with ESMTPSA id t10-20020a0ca68a000000b0065afcf19e23sm3946891qva.62.2023.10.09.09.40.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 09 Oct 2023 09:40:11 -0700 (PDT) From: Maxim Cournoyer Date: Mon, 9 Oct 2023 12:38:19 -0400 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -3.11 X-Spam-Score: -3.11 X-Migadu-Queue-Id: EC3FE6367E X-TUID: YtKDnEUOkGM5 * gnu/packages/maths.scm (lingeling) [arguments] : Replace %default-gnu-imported-modules with %default-gnu-modules. Change-Id: I9293cf6798395d9c9cf3fde5adac5439d02884df --- gnu/packages/maths.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index b00b250081..8cd10a7ab3 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7888,7 +7888,7 @@ (define-public lingeling (arguments (list #:test-target "test" #:modules `((ice-9 match) - ,@%default-gnu-imported-modules) + ,@%default-gnu-modules) #:configure-flags #~(list "--aiger=.") #:phases #~(modify-phases %standard-phases -- 2.41.0