From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 24 11:44:26 2022 Received: (at 59541-done) by debbugs.gnu.org; 24 Nov 2022 16:44:26 +0000 Received: from localhost ([127.0.0.1]:59908 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oyFKr-000219-OS for submit@debbugs.gnu.org; Thu, 24 Nov 2022 11:44:25 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21145) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oyFKq-000211-BC for 59541-done@debbugs.gnu.org; Thu, 24 Nov 2022 11:44:24 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1669308263; cv=none; d=zohomail.com; s=zohoarc; b=d2zyDNlvEVs31GONc7FyyTWxm2iyfgibI0ZdUobScUiHiBljfKYmyJaoCfH+Edpio/W19Jmc61mPQnwAmS2iwWjpsWy6q5GbkampOYPPjD9XOF+391/Fp0+6JGKpinudXyC13dd+BUL+ooEf7gFWXTgrDL3MnAAMPeVF1AmZJpQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1669308263; h=Content-Type:Content-Transfer-Encoding:Date:From:MIME-Version:Message-ID:Subject:To; bh=820L4IuVGBg4ZkXxwgQXRbKyY8tFBATCpnqo1bnhc+I=; b=gx0D0Rg3RfQUXtiTfTxpSP5hQ3Bg8GHQCTJ7n3LPn4jnC/hOLaBZ6LjL0pZpfq1Je2a1h8Pr95HFAinVi0/nTOqh7ogqGlCigqzpH/M5QerLzzcOMVrsv0RqDWB0ioPcMdop126zVORExvi/jLxpdugTYp8UAp6oBih+yemIIlY= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1669308263; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:From:To:To:Subject:Subject:Date:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-Id:Reply-To:Cc; bh=820L4IuVGBg4ZkXxwgQXRbKyY8tFBATCpnqo1bnhc+I=; b=XMP5SY28hdSZ2MOu2KZ5q6N3afQIEwMTN7OpzivvALljAwxvPmWyz5ghW+aE0Hxo 0JqdoJTcO/+G29TMjiFoB8Uci1iVRRdINffYd1tpGoWQJzvKZyScnY7m+8v1DE40RSP KSkhitTOGAFIVHVUJPsRzFkcc+Nw/BibSxR73BZw= Received: from localhost (145-109-142-46.pool.kielnet.net [46.142.109.145]) by mx.zohomail.com with SMTPS id 1669308262730795.2918893687978; Thu, 24 Nov 2022 08:44:22 -0800 (PST) User-agent: mu4e 1.8.9; emacs 28.1 From: Ricardo Wurmus To: 59541-done@debbugs.gnu.org Subject: [PATCH] Added r-rfacts package Date: Thu, 24 Nov 2022 17:42:42 +0100 X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Message-ID: <87zgcgmhek.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 59541-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, looks like FACTS is nonfree software, and since r-rfacts doesn=E2=80=99t ma= ke any sense to use without FACTS we cannot add this package to the official Guix channel =E2=80=94 even though rfacts itself is free software. (For the record: this has been added to guix-science-nonfree instead.) --=20 Ricardo