From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id oKp8KSDYIWZ5CwAAe85BDQ:P1 (envelope-from ) for ; Fri, 19 Apr 2024 04:34:08 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id oKp8KSDYIWZ5CwAAe85BDQ (envelope-from ) for ; Fri, 19 Apr 2024 04:34:08 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=Ht0YNrYW; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1713494048; a=rsa-sha256; cv=none; b=jm+ScLiiOaTsShvCbqQnQpSjr7/qZC5EaPHSMicP1CIzmQ5UmSRq7n67fAjegpOf7HxE2g tIzrkIODr2FFZjU7bVtR/j3ZvinDtT2NZQy/jB1ArVQL+P0cHj7hBSUocP/Y80z66apLpf GOTf4S/WlMp+NwALuQci3d+mD5F2nkb9Tr0qB6IVe5kVs9agS00K65DnoaeN86+Z6Wtfzn Hc5R+PqICfgvMZ8HJr6sHT+vvfopWqF1CcDnNeojoISonA/fwclBJnlf2ZSenz4ya5ApZU 5OxsiVI3jOO7+ZvC8vl65LcM57naYstHwOtK/DVm5VP+1sPUzxNcwSzl5Wt+Aw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=Ht0YNrYW; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1713494048; 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=9sF9hq9/ugsY89X3n0h2UJ0Q9aqsnC/6M204EgTqf5Y=; b=KR3Al2zInCcDNRsxbR0F8Sm/BSoiDwG3V4d2Zpce1gEFd5JbJTSBmX4ARttE54UaOG8/LV vEWWuZW5DHlnMRiIh7QRD36bQAGqfCPByZLCb6nilaM6Bdp1ZVD9Fcp1UFFK22e7GmRsLM /kQZgQ5pXqEkJt6Fx8xpF2jD89/40ws1WC9nFjeVAuwjs7aJnZM88Y6/6dyi1XZPbX5XPg Wgsa5UXgf5CoAIeoD/kIjkJCDbzyi/i5bkO4jyoBvD9/a61655PNeLjTDrGSF6gy7XVOrW BgPLhuiJoiBWzk24NrtynOAjDr1NciwkaNDgrIJcD0Mny6Gio3btfkw2u5zWAQ== 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 EA50D69391 for ; Fri, 19 Apr 2024 04:34:07 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rxe4T-0005Sw-VD; Thu, 18 Apr 2024 22:33:49 -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 1rxe4T-0005Si-0y for guix-patches@gnu.org; Thu, 18 Apr 2024 22:33:49 -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 1rxe4S-0001A7-Pf for guix-patches@gnu.org; Thu, 18 Apr 2024 22:33:48 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rxe4g-0004im-B4 for guix-patches@gnu.org; Thu, 18 Apr 2024 22:34:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70467] Add the Texinfo adaptation of the R7RS-small standard. Resent-From: Yuval Langer Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 19 Apr 2024 02:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 70467 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 70467@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171349400417896 (code B ref -1); Fri, 19 Apr 2024 02:34:02 +0000 Received: (at submit) by debbugs.gnu.org; 19 Apr 2024 02:33:24 +0000 Received: from localhost ([127.0.0.1]:56046 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rxe44-0004ea-1m for submit@debbugs.gnu.org; Thu, 18 Apr 2024 22:33:24 -0400 Received: from lists.gnu.org ([2001:470:142::17]:41106) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rxe42-0004eC-9p for submit@debbugs.gnu.org; Thu, 18 Apr 2024 22:33:22 -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 1rxe3j-0005Pk-3i for guix-patches@gnu.org; Thu, 18 Apr 2024 22:33:03 -0400 Received: from mail-lj1-x22b.google.com ([2a00:1450:4864:20::22b]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rxe3h-00017W-2o for guix-patches@gnu.org; Thu, 18 Apr 2024 22:33:02 -0400 Received: by mail-lj1-x22b.google.com with SMTP id 38308e7fff4ca-2d895e2c6efso20950491fa.0 for ; Thu, 18 Apr 2024 19:33:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713493978; x=1714098778; darn=gnu.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=9sF9hq9/ugsY89X3n0h2UJ0Q9aqsnC/6M204EgTqf5Y=; b=Ht0YNrYWMrhLFguWgGQDQ1z+vFS/UQ6FknulhUwD1K7TJMII5ps0bDUnaJiHEF2Ibl 6W/GTzrneUfnnqHNg8oAvQB9OcV7xzS+fYEWuXfG3emr2N4nDXBSEadSIQwmvkgZstst A8gdc1HPeWr9YHqjmZh30Y9gbNxCeIm3de3kDwC87JoHOuzgZi5VXI3Zdyf4BoYW0Kj5 v7a/Rnwm1OBNsdQ5c6GaX3UtQErV6GkLkkaMlViw/xev+3h8T/d6e5L+p4opWkOK7xoa eelrb+grxhykka1YPVlVFri12h4mBZWLRhZSh9pZyxsaiQ8qSTtV6080MDHF4Kc5wakh lB+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713493978; x=1714098778; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=9sF9hq9/ugsY89X3n0h2UJ0Q9aqsnC/6M204EgTqf5Y=; b=aRfccPt8fUQBQ8EkWAMnx/2NFLF9Hfu53wHbFmd2aTLfkba1iLGqcQUzdIWVQq24nx tThuvr2pmDoKLTPRXv/lOXwORo6NDGkLJsikgAY9tOd+g+5/F03TVuzMQJFTL1+Rt5Yv cnrTwym7q7O22LbUnceLxVnBn50eDvYdfpB0b/n307eQQK7itrnIwqfUYTQ610UA9Q19 MW3YX5CvJQtQGk0RGEgicfEz4IcA+LLzInAdry8bCpT1mSPCFlUp5g3cj43kYlywLtU/ JJjYAqxb27LzcpujSRTH2TyW2cNPr4eNYvvXC/q9IVo46mGhrfdxoY+wmaxN10OITZ24 jaTA== X-Gm-Message-State: AOJu0YxhR80oeyypyernu0nBjnMaxnE8yVl2oAbD9irIGH9skBVXVBdL n/PxDP3UtrV4qcBcaMNcYhQcaWSw0DsN8pALOGwVXrnssC0fwLbL3iQhnuH5v0+mUbcAFcJSoCq 8LApZpAL/EV3mP9zncfAwViPN1H64ozrE X-Google-Smtp-Source: AGHT+IE+pL/zVW6X7xvbpHtXyduaeaUb/5XcnI12alNWZmk/ykHfMXxBIOob1buj1txfD3or/G8wAcBJ5OHLzEHw1kc= X-Received: by 2002:a2e:9cc9:0:b0:2d8:930c:bbfa with SMTP id g9-20020a2e9cc9000000b002d8930cbbfamr367093ljj.5.1713493978144; Thu, 18 Apr 2024 19:32:58 -0700 (PDT) MIME-Version: 1.0 From: Yuval Langer Date: Fri, 19 Apr 2024 05:32:21 +0300 Message-ID: Content-Type: multipart/mixed; boundary="000000000000e4843b061669e718" Received-SPF: pass client-ip=2a00:1450:4864:20::22b; envelope-from=yuval.langer@gmail.com; helo=mail-lj1-x22b.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, FREEMAIL_FROM=0.001, 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Spam-Score: -2.68 X-Migadu-Queue-Id: EA50D69391 X-Migadu-Spam-Score: -2.68 X-Migadu-Scanner: mx10.migadu.com X-TUID: tcDZZkuPG0Cp --000000000000e4843b061669e718 Content-Type: text/plain; charset="UTF-8" Hi, provided is a package definition for the Wolfgang Corcoran-Mathe Texinfo adaptation[1] of the R7RS-small standard. Hope it would come in handy, Yuval (Yulav) Langer. [1]: --000000000000e4843b061669e718 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-Add-the-Texinfo-adaptation-of-the-R7RS-small-Scheme-.patch" Content-Disposition: attachment; filename="0001-Add-the-Texinfo-adaptation-of-the-R7RS-small-Scheme-.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_lv621faw0 RnJvbSA2MzA0ZTFmYWFiZTc5ZWI2MDFmZjA5ZWQ1ZDk1YzhkYjExNzgwNTc2IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpNZXNzYWdlLUlkOiA8NjMwNGUxZmFhYmU3OWViNjAxZmYwOWVkNWQ5NWM4 ZGIxMTc4MDU3Ni4xNzEzNDkzMzMxLmdpdC55dXZhbC5sYW5nZXJAZ21haWwuY29tPgpGcm9tOiBZ dXZhbCBMYW5nZXIgPHl1dmFsLmxhbmdlckBnbWFpbC5jb20+CkRhdGU6IEZyaSwgMTkgQXByIDIw MjQgMDU6MjI6MDggKzAzMDAKU3ViamVjdDogW1BBVENIXSBBZGQgdGhlIFRleGluZm8gYWRhcHRh dGlvbiBvZiB0aGUgUjdSUy1zbWFsbCBTY2hlbWUgc3RhbmRhcmQuCgotLS0KIGdudS9wYWNrYWdl cy9zY2hlbWUuc2NtIHwgNDQgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr KysKIDEgZmlsZSBjaGFuZ2VkLCA0NCBpbnNlcnRpb25zKCspCgpkaWZmIC0tZ2l0IGEvZ251L3Bh Y2thZ2VzL3NjaGVtZS5zY20gYi9nbnUvcGFja2FnZXMvc2NoZW1lLnNjbQppbmRleCBhOTFhMmQ2 OTNkLi45MTc3ODAxODAwIDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMvc2NoZW1lLnNjbQorKysg Yi9nbnUvcGFja2FnZXMvc2NoZW1lLnNjbQpAQCAtMTMxNCwzICsxMzE0LDQ3IEBAIGFzIHdlbGwg YXMgbGlnaHQuICBUaGUgaW1wbGVtZW50YXRpb24gaXMgYmFzZWQgb24gYW4gYWQtaG9jIFZpcnR1 YWwKIE1hY2hpbmUuICBTVGtsb3MgY2FuIGFsc28gYmUgY29tcGlsZWQgYXMgYSBsaWJyYXJ5IGFu ZCBlbWJlZGRlZCBpbiBhbgogYXBwbGljYXRpb24uIikKICAgICAobGljZW5zZSBncGwyKykpKQor CisoZGVmaW5lLXB1YmxpYyByN3JzLXNtYWxsLXRleGluZm8KKyAgKGxldCAoKGNvbW1pdCAiMzhh NzAzOTc2ZWE2MzUzZTMyYjUyYTUxODdkYmRhZjc3ZmIyZjA1MCIpCisgICAgICAgIChyZXZpc2lv biAiMiIpKQorICAgIChwYWNrYWdlCisgICAgICAobmFtZSAicjdycy1zbWFsbC10ZXhpbmZvIikK KyAgICAgICh2ZXJzaW9uIChnaXQtdmVyc2lvbiAiMC4xLjAiIHJldmlzaW9uIGNvbW1pdCkpCisg ICAgICAoaG9tZS1wYWdlICJodHRwczovL2NvZGViZXJnLm9yZy9aaXBoZWlyL3I3cnMtc21hbGwt dGV4aW5mby8iKQorICAgICAgKHNvdXJjZQorICAgICAgIChvcmlnaW4KKyAgICAgICAgICh1cmkg KGdpdC1yZWZlcmVuY2UKKyAgICAgICAgICAgICAgICh1cmwgaG9tZS1wYWdlKQorICAgICAgICAg ICAgICAgKGNvbW1pdCBjb21taXQpKSkKKyAgICAgICAgIChtZXRob2QgZ2l0LWZldGNoKQorICAg ICAgICAgKGZpbGUtbmFtZSAoZ2l0LWZpbGUtbmFtZSBuYW1lIHZlcnNpb24pKQorICAgICAgICAg KHNoYTI1NgorICAgICAgICAgIChiYXNlMzIgIjFmcjAyZnloaXdkMzY0amtmeTFuNXczMXBxM2t4 MXJsNXc2MzQ0MjFnMDU3MDJ5YjQ3eDMiKSkpKQorICAgICAgKG5hdGl2ZS1pbnB1dHMgKGxpc3Qg YmFzaCB0ZXhpbmZvKSkKKyAgICAgIChpbnB1dHMgJygpKQorICAgICAgKGJ1aWxkLXN5c3RlbSBj b3B5LWJ1aWxkLXN5c3RlbSkKKyAgICAgIChhcmd1bWVudHMKKyAgICAgICAobGlzdAorICAgICAg ICAjOnBoYXNlcyAjfihtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgICAg ICAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAnY29tcGlsZS10aGUtZmlsZXMKKyAgICAgICAg ICAgICAgICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgICAgICAgICAgICAgKGxldCog KChzb3VyY2UtZGlyZWN0b3J5LXBhdGggKHN0cmluZy1hcHBlbmQgKGdldGN3ZCkKKyAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIi9kb2Mvcjdy cy1zbWFsbCIpKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoYnVpbGQtc2NyaXB0 LXBhdGggKHN0cmluZy1hcHBlbmQKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICBzb3VyY2UtZGlyZWN0b3J5LXBhdGgKKyAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiL2J1aWxkLnNoIikpCisgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgIChpbmZvLWRpcmVjdG9yeS1wYXRoIChzdHJpbmctYXBw ZW5kICMkb3V0cHV0CisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAiL3NoYXJlL2luZm8iKSkpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAo Y2hkaXIgc291cmNlLWRpcmVjdG9yeS1wYXRoKQorICAgICAgICAgICAgICAgICAgICAgICAgICAg KHN5c3RlbSogImJhc2giIGJ1aWxkLXNjcmlwdC1wYXRoICJpbmZvIikKKyAgICAgICAgICAgICAg ICAgICAgICAgICAgIChta2Rpci1wIGluZm8tZGlyZWN0b3J5LXBhdGgpCisgICAgICAgICAgICAg ICAgICAgICAgICAgICAoY29weS1maWxlIChzdHJpbmctYXBwZW5kIHNvdXJjZS1kaXJlY3Rvcnkt cGF0aAorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAiL3I3cnMtc21hbGwuaW5mbyIpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIChzdHJpbmctYXBwZW5kIGluZm8tZGlyZWN0b3J5LXBhdGgKKyAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIi9yN3JzLXNtYWxsLmluZm8iKSkp KSkpKSkKKyAgICAgIChzeW5vcHNpcworICAgICAgICJSN1JTIFNtYWxsIHN0YW5kYXJkIG9mIHRo ZSBTY2hlbWUgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgaW4gSW5mbyBmb3JtYXQiKQorICAgICAgKGRl c2NyaXB0aW9uCisgICAgICAgIlJldmlzZWReNyBSZXBvcnQgb2YgdGhlIEFsZ29yaXRobWljIExh bmd1YWdlIFNjaGVtZSBhZGFwdGVkIHRvIFRleGluZm8gZm9ybWF0LiIpCisgICAgICAobGljZW5z ZSAobm9uLWNvcHlsZWZ0ICJmaWxlOi8vQ09QWUlORyIpKSkpKQotLSAKMi4zMC4yCgo= --000000000000e4843b061669e718--