From debbugs-submit-bounces@debbugs.gnu.org Thu Aug 15 12:08:29 2019 Received: (at submit) by debbugs.gnu.org; 15 Aug 2019 16:08:29 +0000 Received: from localhost ([127.0.0.1]:52321 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hyIIY-0002KR-3t for submit@debbugs.gnu.org; Thu, 15 Aug 2019 12:08:29 -0400 Received: from lists.gnu.org ([209.51.188.17]:39264) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hyIIS-0002KD-M5 for submit@debbugs.gnu.org; Thu, 15 Aug 2019 12:08:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43402) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1hyIIL-0004HM-QE for guix-patches@gnu.org; Thu, 15 Aug 2019 12:08:16 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,HTML_MESSAGE, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hyIIF-0006E6-7p for guix-patches@gnu.org; Thu, 15 Aug 2019 12:08:08 -0400 Received: from mail-vs1-xe2d.google.com ([2607:f8b0:4864:20::e2d]:40036) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hyIIE-0006Ct-OR for guix-patches@gnu.org; Thu, 15 Aug 2019 12:08:03 -0400 Received: by mail-vs1-xe2d.google.com with SMTP id i128so1806731vsc.7 for ; Thu, 15 Aug 2019 09:08:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=6mVyiPP3Btkp9mm0J0AHU6eUq6Ekm6kSabgy6UgH25s=; b=UG1H7jCCXCMZCTyX8v3zI6p/7CyE3/mIuceheu1MOW7egv6yXVlTRHyBjrLJ6s3ew4 x09yjIcSfZ56KAP76SwtifYEOFzXA3BeMF3RJM2/KF3epb8ZZMCpDmw094BjXl06Lxcz rqSZ3n9nFKxMlbCb2jAKJQ7nDLWWnHC9qYjfBBOzrRiHZzBuAfhAPjLd8wXgtHMYdNSr btV5qi/+OoeJPGwelivj3LZAI09TtLri01cPklMtEF4slD7PNiFwUun1OaUk2OAJUxDD KtmhOyYMyc6POa9sBkLtyerTdaNP9KWlDsg6k/5rSvtrUpfsymQFxubmsYmPpO0vUI9/ gOrg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=6mVyiPP3Btkp9mm0J0AHU6eUq6Ekm6kSabgy6UgH25s=; b=aJKGkYLptIGVNon1tbOGz17dz8sMw9lwHFpK2eV7XV5vobDgRnJHo7dqitYTMqS3eA ktmaqk9bn+EK/3izIT8Xz01IlKcKwgNRqMj3QD4HXRNqA1txBXRq6WTbLfpdVjgVnFkr j2L4EiESWVBDFKvQQsiQQWiAXTfJ7AJaN7v8kf+d9N+KFvlSctuSO7Cgwz2vqMiwV9lj ikwZtH6KKl+NSvpNnqkQWa3xec5ASrxH9LlBOsC4pzcFiRTkEfEGUev88RiLMFsGpj3Q kaODdo4+InE/20x9N0TbaJfBgdukQxIT36O+bSbl/iG7p7pvGjWb66ZzGoL8WYSSwZXY Mm9Q== X-Gm-Message-State: APjAAAXqZEIllBWXNB6jKfUwMC+IvlfmL6ivu8a0R70fLBE2zbSS3wKP KGjVANgpLynGj8VxsxFzTz2G7ro5OSwFFjvVJHECB572 X-Google-Smtp-Source: APXvYqwfQJZyKmDrPvo0/lSHWQ0e4k8TrgRm7Av5O2wel8AOVlNOY8qHYt8qJKC75xnV3OzpfG+D2nYhOVe/qwLZX1Y= X-Received: by 2002:a67:d812:: with SMTP id e18mr3785096vsj.199.1565885281163; Thu, 15 Aug 2019 09:08:01 -0700 (PDT) MIME-Version: 1.0 From: John Soo Date: Thu, 15 Aug 2019 16:07:49 +0000 Message-ID: Subject: [PATCH] Add Cedille. To: guix-patches@gnu.org Content-Type: multipart/mixed; boundary="000000000000f304f005902a1318" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::e2d X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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: -0.0 (/) --000000000000f304f005902a1318 Content-Type: multipart/alternative; boundary="000000000000f304ed05902a1316" --000000000000f304ed05902a1316 Content-Type: text/plain; charset="UTF-8" HI all, I wanted to try out the Cedille language (cedille.github.io) so I packaged it. It has a nice emacs mode included and an interesting type theory. Thanks! - John --000000000000f304ed05902a1316 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
HI all,

I wanted to try out = the Cedille language (cedille.github.i= o) so I packaged it.=C2=A0 It has a nice emacs mode included and an int= eresting type theory.

Thanks!

- John
--000000000000f304ed05902a1316-- --000000000000f304f005902a1318 Content-Type: text/x-patch; charset="UTF-8"; name="0001-gnu-Add-agda-ial.patch" Content-Disposition: attachment; filename="0001-gnu-Add-agda-ial.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzcvksp00 RnJvbSAyZDRhNTI5OWExZmJlZDhlZDFmMDVhOGE5ZmFkZTg3MTQzNzVmZjRmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvb0BwYW5vc29mdC5jb20+CkRhdGU6IE1v biwgMTIgQXVnIDIwMTkgMDg6MzM6MzYgLTA3MDAKU3ViamVjdDogW1BBVENIIDEvMl0gZ251OiBB ZGQgYWdkYS1pYWwuCgoqIGdudS9wYWNrYWdlcy9hZ2RhLnNjbSAoYWdkYS1pYWwpOiBuZXcgdmFy aWFibGUuCi0tLQogZ251L3BhY2thZ2VzL2FnZGEuc2NtIHwgNDggKysrKysrKysrKysrKysrKysr KysrKysrKysrKysrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDQ4IGluc2VydGlvbnMo KykKCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvYWdkYS5zY20gYi9nbnUvcGFja2FnZXMvYWdk YS5zY20KaW5kZXggMGY5YjQyOTljMy4uODg0MDc5MDA1OCAxMDA2NDQKLS0tIGEvZ251L3BhY2th Z2VzL2FnZGEuc2NtCisrKyBiL2dudS9wYWNrYWdlcy9hZ2RhLnNjbQpAQCAtMyw2ICszLDcgQEAK IDs7OyBDb3B5cmlnaHQgwqkgMjAxOCBSaWNhcmRvIFd1cm11cyA8cmVrYWRvQGVsZXBobHkubmV0 PgogOzs7IENvcHlyaWdodCDCqSAyMDE4IEFsZXggVm9uZyA8YWxleHZvbmcxOTk1QGdtYWlsLmNv bT4KIDs7OyBDb3B5cmlnaHQgwqkgMjAxOCBUb2JpYXMgR2VlcmluY2t4LVJpY2UgPG1lQHRvYmlh cy5ncj4KKzs7OyBDb3B5cmlnaHQgwqkgMjAxOCBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KIDs7 OwogOzs7IFRoaXMgZmlsZSBpcyBwYXJ0IG9mIEdOVSBHdWl4LgogOzs7CkBAIC0yNCw2ICsyNSw3 IEBACiAgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIGhhc2tlbGwtY2hlY2spCiAgICM6dXNl LW1vZHVsZSAoZ251IHBhY2thZ2VzIGhhc2tlbGwtd2ViKQogICAjOnVzZS1tb2R1bGUgKGd1aXgg YnVpbGQtc3lzdGVtIGVtYWNzKQorICAjOnVzZS1tb2R1bGUgKGd1aXggYnVpbGQtc3lzdGVtIGdu dSkKICAgIzp1c2UtbW9kdWxlIChndWl4IGJ1aWxkLXN5c3RlbSBoYXNrZWxsKQogICAjOnVzZS1t b2R1bGUgKGd1aXggYnVpbGQtc3lzdGVtIHRyaXZpYWwpCiAgICM6dXNlLW1vZHVsZSAoZ3VpeCBk b3dubG9hZCkKQEAgLTE1NCwzICsxNTYsNDkgQEAgc3VjaCBhcyBDb3EsIEVwaWdyYW0gYW5kIE51 UFJMLiIpCiAgICAgKHN5bm9wc2lzICJFbWFjcyBtb2RlIGZvciBBZ2RhIikKICAgICAoZGVzY3Jp cHRpb24gIlRoaXMgRW1hY3MgbW9kZSBlbmFibGVzIGludGVyYWN0aXZlIGRldmVsb3BtZW50IHdp dGgKIEFnZGEuICBJdCBhbHNvIGFpZHMgdGhlIGlucHV0IG9mIFVuaWNvZGUgY2hhcmFjdGVycy4i KSkpCisKKyhkZWZpbmUtcHVibGljIGFnZGEtaWFsCisgIChwYWNrYWdlCisgICAgKG5hbWUgImFn ZGEtaWFsIikKKyAgICAodmVyc2lvbiAiMS41LjAiKQorICAgIChzb3VyY2UKKyAgICAgKG9yaWdp bgorICAgICAgIChtZXRob2QgdXJsLWZldGNoKQorICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQK KyAgICAgICAgICAgICAiaHR0cHM6Ly9naXRodWIuY29tL2NlZGlsbGUvaWFsL2FyY2hpdmUvdiIK KyAgICAgICAgICAgICB2ZXJzaW9uICIudGFyLmd6IikpCisgICAgICAgKGZpbGUtbmFtZSAoc3Ry aW5nLWFwcGVuZCBuYW1lICItIiB2ZXJzaW9uKSkKKyAgICAgICAoc2hhMjU2CisgICAgICAgIChi YXNlMzIKKyAgICAgICAgICIwaWxnYWxteDNrbGp5Nmo5aThkN3c2cjdreTRicTB4enhhbndmcjZr eXg1Nm1mMnNmMHpoIikpKSkKKyAgICAoYnVpbGQtc3lzdGVtIGdudS1idWlsZC1zeXN0ZW0pCisg ICAgKGlucHV0cworICAgICBgKCgiYWdkYSIgLGFnZGEpKSkKKyAgICAoYXJndW1lbnRzCisgICAg IGAoIzpwYXJhbGxlbC1idWlsZD8gI2YKKyAgICAgICAjOnBoYXNlcworICAgICAgIChtb2RpZnkt cGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgIChkZWxldGUgJ2NvbmZpZ3VyZSkKKyAg ICAgICAgIChhZGQtYmVmb3JlICdidWlsZCAncGF0Y2gtZGVwZW5kZW5jaWVzCisgICAgICAgICAg IChsYW1iZGEgXyAocGF0Y2gtc2hlYmFuZyAiZmluZC1kZXBzLnNoIikgI3QpKQorICAgICAgICAg KGRlbGV0ZSAnY2hlY2spCisgICAgICAgICAocmVwbGFjZSAnaW5zdGFsbAorICAgICAgICAgICAo bGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAg KGZvci1lYWNoCisgICAgICAgICAgICAgIChsYW1iZGEgKGZpbGUpCisgICAgICAgICAgICAgICAg KGluc3RhbGwtZmlsZQorICAgICAgICAgICAgICAgICBmaWxlCisgICAgICAgICAgICAgICAgIChz dHJpbmctYXBwZW5kCisgICAgICAgICAgICAgICAgICAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIp ICIvaW5jbHVkZS9hZ2RhL2lhbCIpKSkKKyAgICAgICAgICAgICAgKGZpbmQtZmlsZXMgIi4iICIu KmFnZGEuKiIpKQorICAgICAgICAgICAgICN0KSkpKSkKKyAgICAoaG9tZS1wYWdlICJodHRwczov L2dpdGh1Yi5jb20vY2VkaWxsZS9pYWwiKQorICAgIChzeW5vcHNpcworICAgICAiVGhlIElvd2Eg QWdkYSBMaWJyYXJ5IikKKyAgICAoZGVzY3JpcHRpb24KKyAgICAgIlRoZSBnb2FsIGlzIHRvIHBy b3ZpZGUgYSBjb25jcmV0ZSBsaWJyYXJ5IGZvY3VzZWQgb24gdmVyaWZpY2F0aW9uCitleGFtcGxl cywgYXMgb3Bwb3NlZCB0byBtYXRoZW1hdGljcy4gIFRoZSBsaWJyYXJ5IGhhcyBhIGdvb2QgbnVt YmVyCitvZiB0aGVvcmVtcyBmb3IgYm9vbGVhbnMsIG5hdHVyYWwgbnVtYmVycywgYW5kIGxpc3Rz LiAgSXQgYWxzbyBoYXMKK3RyZWVzLCB0cmllcywgdmVjdG9ycywgYW5kIHJ1ZGltZW50YXJ5IElP LiAgQSBudW1iZXIgb2YgZ29vZCBpZGVhcworY29tZSBmcm9tIEFnZGEncyBzdGFuZGFyZCBsaWJy YXJ5LiIpCisgICAgKGxpY2Vuc2UgbGljZW5zZTpleHBhdCkpKQotLSAKMi4yMi4wCgo= --000000000000f304f005902a1318 Content-Type: text/x-patch; charset="UTF-8"; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzcvksrs1 RnJvbSA2N2RjYzFjN2U0M2NhMzQxNjc3NzQzMjQyMWQ3NjIxMTViZTk0MDBiIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvb0BwYW5vc29mdC5jb20+CkRhdGU6IE1v biwgMTIgQXVnIDIwMTkgMDg6NDM6MDcgLTA3MDAKU3ViamVjdDogW1BBVENIIDIvMl0gZ251OiBB ZGQgY2VkaWxsZS4KCiogZ251L3BhY2thZ2VzL2NlZGlsbGUuc2NtOiBuZXcgZmlsZS4KKiBnbnUv cGFja2FnZXMvY2VkaWxsZS5zY20gKGNlZGlsbGUpOiBuZXcgdmFyaWFibGUuCi0tLQogZ251L3Bh Y2thZ2VzL2NlZGlsbGUuc2NtIHwgMTI1ICsrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr KysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDEyNSBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAx MDA2NDQgZ251L3BhY2thZ2VzL2NlZGlsbGUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2Vz L2NlZGlsbGUuc2NtIGIvZ251L3BhY2thZ2VzL2NlZGlsbGUuc2NtCm5ldyBmaWxlIG1vZGUgMTAw NjQ0CmluZGV4IDAwMDAwMDAwMDAuLjFkNmZmODg2NzMKLS0tIC9kZXYvbnVsbAorKysgYi9nbnUv cGFja2FnZXMvY2VkaWxsZS5zY20KQEAgLTAsMCArMSwxMjUgQEAKKzs7OyBHTlUgR3VpeCAtLS0g RnVuY3Rpb25hbCBwYWNrYWdlIG1hbmFnZW1lbnQgZm9yIEdOVQorOzs7IENvcHlyaWdodCDCqSAy MDE5IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgorOzs7Cis7OzsgVGhpcyBmaWxlIGlzIHBhcnQg b2YgR05VIEd1aXguCis7OzsKKzs7OyBHTlUgR3VpeCBpcyBmcmVlIHNvZnR3YXJlOyB5b3UgY2Fu IHJlZGlzdHJpYnV0ZSBpdCBhbmQvb3IgbW9kaWZ5IGl0Cis7OzsgdW5kZXIgdGhlIHRlcm1zIG9m IHRoZSBHTlUgR2VuZXJhbCBQdWJsaWMgTGljZW5zZSBhcyBwdWJsaXNoZWQgYnkKKzs7OyB0aGUg RnJlZSBTb2Z0d2FyZSBGb3VuZGF0aW9uOyBlaXRoZXIgdmVyc2lvbiAzIG9mIHRoZSBMaWNlbnNl LCBvciAoYXQKKzs7OyB5b3VyIG9wdGlvbikgYW55IGxhdGVyIHZlcnNpb24uCis7OzsKKzs7OyBH TlUgR3VpeCBpcyBkaXN0cmlidXRlZCBpbiB0aGUgaG9wZSB0aGF0IGl0IHdpbGwgYmUgdXNlZnVs LCBidXQKKzs7OyBXSVRIT1VUIEFOWSBXQVJSQU5UWTsgd2l0aG91dCBldmVuIHRoZSBpbXBsaWVk IHdhcnJhbnR5IG9mCis7OzsgTUVSQ0hBTlRBQklMSVRZIG9yIEZJVE5FU1MgRk9SIEEgUEFSVElD VUxBUiBQVVJQT1NFLiAgU2VlIHRoZQorOzs7IEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlIGZv ciBtb3JlIGRldGFpbHMuCis7OzsKKzs7OyBZb3Ugc2hvdWxkIGhhdmUgcmVjZWl2ZWQgYSBjb3B5 IG9mIHRoZSBHTlUgR2VuZXJhbCBQdWJsaWMgTGljZW5zZQorOzs7IGFsb25nIHdpdGggR05VIEd1 aXguICBJZiBub3QsIHNlZSA8aHR0cDovL3d3dy5nbnUub3JnL2xpY2Vuc2VzLz4uCisKKyhkZWZp bmUtbW9kdWxlIChnbnUgcGFja2FnZXMgY2VkaWxsZSkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFj a2FnZXMpCisgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIGFnZGEpCisgICM6dXNlLW1vZHVs ZSAoZ251IHBhY2thZ2VzIGVtYWNzLXh5eikKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMg aGFza2VsbCkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgdmVyc2lvbi1jb250cm9sKQor ICAjOnVzZS1tb2R1bGUgKGd1aXggYnVpbGQtc3lzdGVtIGVtYWNzKQorICAjOnVzZS1tb2R1bGUg KGd1aXggZG93bmxvYWQpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQtZG93bmxvYWQpCisgICM6 dXNlLW1vZHVsZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vuc2U6KQorICAjOnVzZS1t b2R1bGUgKGd1aXggcGFja2FnZXMpKQorCisoZGVmaW5lLXB1YmxpYyBjZWRpbGxlCisgIChwYWNr YWdlCisgICAgKG5hbWUgImNlZGlsbGUiKQorICAgICh2ZXJzaW9uICIxLjEuMSIpCisgICAgKHNv dXJjZQorICAgICAob3JpZ2luCisgICAgICAgKG1ldGhvZCB1cmwtZmV0Y2gpCisgICAgICAgKHVy aSAoc3RyaW5nLWFwcGVuZAorICAgICAgICAgICAgICJodHRwczovL2dpdGh1Yi5jb20vY2VkaWxs ZS9jZWRpbGxlL2FyY2hpdmUvdiIKKyAgICAgICAgICAgICB2ZXJzaW9uICIudGFyLmd6IikpCisg ICAgICAgKHNoYTI1NgorICAgICAgICAoYmFzZTMyCisgICAgICAgICAiMDViMzJmc3NoY2pyYmg5 eXN6NHBmdjV5NWpuZGt5Y2Q3cXJnOHNkaDRzcG5sZjA3N3I5MiIpKSkpCisgICAgKGlucHV0cwor ICAgICBgKCgiYWdkYSIgLGFnZGEpCisgICAgICAgKCJhZ2RhLWlhbCIgLGFnZGEtaWFsKQorICAg ICAgICgiZ2hjIiAsZ2hjLTguNCkKKyAgICAgICAoImdoYy1hbGV4IiAsZ2hjLWFsZXgpCisgICAg ICAgKCJnaGMtaGFwcHkiICxnaGMtaGFwcHkpCisgICAgICAgKCJnaXQiICxnaXQpKSkKKyAgICAo YnVpbGQtc3lzdGVtIGVtYWNzLWJ1aWxkLXN5c3RlbSkKKyAgICAoYXJndW1lbnRzCisgICAgIGAo IzpwaGFzZXMKKyAgICAgICAobW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2VzCisgICAgICAg ICAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoLWNlZGlsbGUtcGF0aC1lbAorICAgICAgICAgICAo bGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAg KGxldCAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIpKSkKKyAgICAgICAgICAgICAgIChz dWJzdGl0dXRlKiAiY2VkaWxsZS1tb2RlLmVsIgorICAgICAgICAgICAgICAgICAoKCIvdXNyL3No YXJlL2VtYWNzL3NpdGUtbGlzcC9jZWRpbGxlLW1vZGUiKQorICAgICAgICAgICAgICAgICAgKHN0 cmluZy1hcHBlbmQKKyAgICAgICAgICAgICAgICAgICBvdXQgIi9zaGFyZS9lbWFjcy9zaXRlLWxp c3AvZ3VpeC5kL2NlZGlsbGUtIgorICAgICAgICAgICAgICAgICAgICx2ZXJzaW9uKSkpCisgICAg ICAgICAgICAgICAjdCkpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdjb3B5LWNlZGls bGUtbW9kZQorICAgICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFsbG93LW90aGVy LWtleXMpCisgICAgICAgICAgICAgKGxldCogKChvdXQgKGFzc29jLXJlZiBvdXRwdXRzICJvdXQi KSkKKyAgICAgICAgICAgICAgICAgICAgKGNlZGlsbGUtc2l0ZS1saXNwCisgICAgICAgICAgICAg ICAgICAgICAoc3RyaW5nLWFwcGVuZAorICAgICAgICAgICAgICAgICAgICAgIG91dCAiL3NoYXJl L2VtYWNzL3NpdGUtbGlzcC9ndWl4LmQvY2VkaWxsZS0iCisgICAgICAgICAgICAgICAgICAgICAg LHZlcnNpb24gIi8iKSkpCisgICAgICAgICAgICAgICAobWtkaXItcAorICAgICAgICAgICAgICAg IChzdHJpbmctYXBwZW5kIGNlZGlsbGUtc2l0ZS1saXNwICJjZWRpbGxlLW1vZGUiKSkKKyAgICAg ICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgImNlZGlsbGUtbW9k ZSIKKyAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCBjZWRpbGxlLXNpdGUtbGlzcCAiY2Vk aWxsZS1tb2RlIikpCisgICAgICAgICAgICAgICAobWtkaXItcAorICAgICAgICAgICAgICAgIChz dHJpbmctYXBwZW5kIGNlZGlsbGUtc2l0ZS1saXNwICJzZS1tb2RlIikpCisgICAgICAgICAgICAg ICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAgICJzZS1tb2RlIgorICAgICAgICAg ICAgICAgIChzdHJpbmctYXBwZW5kIGNlZGlsbGUtc2l0ZS1saXNwICJzZS1tb2RlIikpCisgICAg ICAgICAgICAgICAjdCkpKQorICAgICAgICAgOzsgQnl0ZSBjb21waWxhdGlvbiBmYWlscworICAg ICAgICAgKGRlbGV0ZSAnYnVpbGQpCisgICAgICAgICAocmVwbGFjZSAnY2hlY2sKKyAgICAgICAg ICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgKHdpdGgtZGlyZWN0b3J5LWV4Y3Vyc2lvbiAiY2Vk aWxsZS10ZXN0cyIKKyAgICAgICAgICAgICAgIChpbnZva2UgInNoIiAicnVuLXRlc3RzLnNoIikp KSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAncGF0Y2gtbGlicmFyaWVzCisgICAgICAg ICAgIChsYW1iZGEgXyAocGF0Y2gtc2hlYmFuZyAiY3JlYXRlLWxpYnJhcmllcy5zaCIpICN0KSkK KyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAnY29weS1pYWwKKyAgICAgICAgICAgKGxhbWJk YSogKCM6a2V5IGlucHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgKGNvcHkt cmVjdXJzaXZlbHkKKyAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgKGFzc29jLXJlZiBpbnB1 dHMgImFnZGEtaWFsIikKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIi9pbmNsdWRlL2Fn ZGEvaWFsIikKKyAgICAgICAgICAgICAgImlhbCIpCisgICAgICAgICAgICAgOzsgQW1iaWd1b3Vz IG1vZHVsZSBpZiBtYWluIGlzIGluY2x1ZGVkIGZyb20gaWFsCisgICAgICAgICAgICAgKGRlbGV0 ZS1maWxlICJpYWwvbWFpbi5hZ2RhIikKKyAgICAgICAgICAgICAjdCkpCisgICAgICAgICAoYWRk LWFmdGVyICdjaGVjayAnYnVpbGQtY2VkaWxsZQorICAgICAgICAgICA7OyBBZ2RhIGhhcyBhIGhh cmQgdGltZSB3aXRoIHBhcmFsbGVsIGNvbXBpbGF0aW9uCisgICAgICAgICAgIChsYW1iZGEgXyAo aW52b2tlICJtYWtlIiAiLS1qb2JzPTEiKSkpCisgICAgICAgICAoYWRkLWFmdGVyICdpbnN0YWxs ICdpbnN0YWxsLWNlZGlsbGUKKyAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5IG91dHB1dHMgIzph bGxvdy1vdGhlci1rZXlzKQorICAgICAgICAgICAgIChsZXQgKChvdXQgKGFzc29jLXJlZiBvdXRw dXRzICJvdXQiKSkpCisgICAgICAgICAgICAgICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAg ICAgICAgICJsaWIiIChzdHJpbmctYXBwZW5kIG91dCAiL2xpYi9jZWRpbGxlIikpCisgICAgICAg ICAgICAgICAoaW5zdGFsbC1maWxlICJjZWRpbGxlIiAoc3RyaW5nLWFwcGVuZCBvdXQgIi9iaW4i KSkKKyAgICAgICAgICAgICAgIChpbnN0YWxsLWZpbGUgImNvcmUvY2VkaWxsZS1jb3JlIgorICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCBvdXQgIi9iaW4iKSkKKyAg ICAgICAgICAgICAgICN0KSkpKSkpCisgICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9jZWRpbGxlLmdp dGh1Yi5pby8iKQorICAgIChzeW5vcHNpcworICAgICAoc3RyaW5nLWFwcGVuZAorICAgICAgIkxh bmd1YWdlIGJhc2VkIG9uIENhbGN1bHVzIG9mIERlcGVuZGVudCBMYW1iZGEgRWxpbWluYXRpb25z IikpCisgICAgKGRlc2NyaXB0aW9uCisgICAgICJDZWRpbGxlIGlzIGFuIGludGVyYWN0aXZlIHRo ZW9yZW0tcHJvdmVyIGFuZCBkZXBlbmRlbnRseQordHlwZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2Us IGJhc2VkIG9uIGV4dHJpbnNpYyAoYWthIEN1cnJ5LXN0eWxlKQordHlwZSB0aGVvcnkuICBUaGlz IG1ha2VzIGl0IHJhdGhlciBkaWZmZXJlbnQgZnJvbSB0eXBlIHRoZW9yaWVzCitsaWtlIENvcSBh bmQgQWdkYSwgd2hpY2ggYXJlIGludHJpbnNpYyAoYWthIENodXJjaC1zdHlsZSkuICBJbgorQ2Vk aWxsZSwgdGVybXMgYXJlIG5vdGhpbmcgbW9yZSB0aGFuIGFubm90YXRlZCB2ZXJzaW9ucyBvZiB0 ZXJtcworb2YgcHVyZSB1bnR5cGVkIGxhbWJkYSBjYWxjdWx1cy4gIEluIGNvbnRyYXN0LCBpbiBD b3Egb3IgQWdkYSwKK3RoZSB0eXBpbmcgYW5ub3RhdGlvbnMgYXJlIGludHJpbnNpYyBwYXJ0cyBv ZiB0ZXJtcy4gIFRoZSB0eXBpbmcKK2Fubm90YXRpb25zIGNhbiBvbmx5IGJlIGVyYXNlZCBhcyBh biBvcHRpbWl6YXRpb24gdW5kZXIgY2VydGFpbgorY29uZGl0aW9ucywgbm90IGJ5IHZpcnR1ZSBv ZiB0aGUgZGVmaW5pdGlvbiBvZiB0aGUgdHlwZSB0aGVvcnkuIikKKyAgICAobGljZW5zZSBsaWNl bnNlOmV4cGF0KSkpCi0tIAoyLjIyLjAKCg== --000000000000f304f005902a1318-- From debbugs-submit-bounces@debbugs.gnu.org Thu Aug 15 23:17:22 2019 Received: (at 37038) by debbugs.gnu.org; 16 Aug 2019 03:17:22 +0000 Received: from localhost ([127.0.0.1]:52864 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hySjs-0001DX-8A for submit@debbugs.gnu.org; Thu, 15 Aug 2019 23:17:22 -0400 Received: from mail-vs1-f50.google.com ([209.85.217.50]:37735) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hySjo-0001DI-N7 for 37038@debbugs.gnu.org; Thu, 15 Aug 2019 23:17:15 -0400 Received: by mail-vs1-f50.google.com with SMTP id q188so2847750vsa.4 for <37038@debbugs.gnu.org>; Thu, 15 Aug 2019 20:17:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=/18ek1KQSM9vOwZdDta2Bt1McNUsUKp2AK9P1G/bS+c=; b=rVyF9OObIw8KRRVsdNegBTRzjb+onxX/GMSTbUe9aAg32Fy/p7izX52PWtm/JTTdm4 J9manr3HPXpGxsTl7QKfSGesLW8C3OFyd6TAsQXyymUeNvHE7Vrre4RoPVfMwX6U/nuM cANoIq/I9KdQ3PbqiLqCS1y0/mIkmP+w9l4Z8y9mIaNmFWRXpQLrLLHoBgI9LxwecEuq hO4+dpORae48xg8Lln326InPzy/91ppEi4LTPodxPYxi+BBpyPZEuo1+cVexRTgCPwIM zJwu4meXY8g4kejitDFtqIQPtHcdO2Cwu0ygNEpaZ1t5t9UtrNM54i7SMzVeBww/j5CV mCrg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=/18ek1KQSM9vOwZdDta2Bt1McNUsUKp2AK9P1G/bS+c=; b=eV9ptJZQQAe55Pwjo2nYbC4BZD8uyte5tQWVbOkE8GKN5skFHxYj5PY8ksqHOV5YG4 EH4p6QBZq2qX8lrZsWGo9GbaZbDXRVllM0+BWDRGbxO7AgqFuZOOfXRSTr8V6o6JdZWB lPcsejfJGIZoiEtt7Amgb3aaakgEjAQLhvSf6pA8o+2ttEObk8qEvgJqIRwnv4/iwbpl 41Fsi5EZ+NxcSy5HIJPlv+QMHbGuFbjcApiWk+Z9RJktNvuXLbbbJuUmovB3b75Svzqq Q+k3mUr866rgwUoy9BiS5TOYpg2CnPRZtJt7efWI+YZmqh6ynH+Z7YFaMNtFjeJ2oOlL OIjA== X-Gm-Message-State: APjAAAU2M9z4FlYNDLoGM2DlqbuzizeT32a5+n2bFgdsGpDJLHPplZO8 tkrvJJggTROWTsBrfI4KVgh89sYY1GcC09kGZrLQMKs2 X-Google-Smtp-Source: APXvYqzUPw8/GgELu40waFgyoQPG4WawF/wS/4HkVd2HsAegcwoD/HSiaEExd1vy+/xJBTtEdXxr4Ven6h5fsEF64G8= X-Received: by 2002:a67:d812:: with SMTP id e18mr5387686vsj.199.1565925426903; Thu, 15 Aug 2019 20:17:06 -0700 (PDT) MIME-Version: 1.0 From: John Soo Date: Fri, 16 Aug 2019 03:16:51 +0000 Message-ID: Subject: Amending author email To: 37038@debbugs.gnu.org Content-Type: multipart/mixed; boundary="000000000000d1f3c10590336cf1" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038 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 (-) --000000000000d1f3c10590336cf1 Content-Type: multipart/alternative; boundary="000000000000d1f3bf0590336cef" --000000000000d1f3bf0590336cef Content-Type: text/plain; charset="UTF-8" Hi all, I realized just now that I had some ambient git configuration with the wrong email address. I have amended the patches to reflect my correct email address. Thanks, John --000000000000d1f3bf0590336cef Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi all,

I realized just= now that I had some ambient git configuration with the wrong email address= . I have amended the patches to reflect my correct email address.

Thanks,

John
--000000000000d1f3bf0590336cef-- --000000000000d1f3c10590336cf1 Content-Type: text/x-patch; charset="UTF-8"; name="0001-gnu-Add-agda-ial.patch" Content-Disposition: attachment; filename="0001-gnu-Add-agda-ial.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzdjk38s0 RnJvbSBmOWNmYzc2NGY3OWYyYzQ1NDcyNmViZWY0YTA3NGU2ZTgwYmVjNDQ5IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODozMzozNiAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBnbnU6IEFkZCBh Z2RhLWlhbC4KCiogZ251L3BhY2thZ2VzL2FnZGEuc2NtIChhZ2RhLWlhbCk6IG5ldyB2YXJpYWJs ZS4KLS0tCiBnbnUvcGFja2FnZXMvYWdkYS5zY20gfCA0OCArKysrKysrKysrKysrKysrKysrKysr KysrKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgNDggaW5zZXJ0aW9ucygrKQoK ZGlmZiAtLWdpdCBhL2dudS9wYWNrYWdlcy9hZ2RhLnNjbSBiL2dudS9wYWNrYWdlcy9hZ2RhLnNj bQppbmRleCAwZjliNDI5OWMzLi44ODQwNzkwMDU4IDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMv YWdkYS5zY20KKysrIGIvZ251L3BhY2thZ2VzL2FnZGEuc2NtCkBAIC0zLDYgKzMsNyBAQAogOzs7 IENvcHlyaWdodCDCqSAyMDE4IFJpY2FyZG8gV3VybXVzIDxyZWthZG9AZWxlcGhseS5uZXQ+CiA7 OzsgQ29weXJpZ2h0IMKpIDIwMTggQWxleCBWb25nIDxhbGV4dm9uZzE5OTVAZ21haWwuY29tPgog Ozs7IENvcHlyaWdodCDCqSAyMDE4IFRvYmlhcyBHZWVyaW5ja3gtUmljZSA8bWVAdG9iaWFzLmdy PgorOzs7IENvcHlyaWdodCDCqSAyMDE4IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgogOzs7CiA7 OzsgVGhpcyBmaWxlIGlzIHBhcnQgb2YgR05VIEd1aXguCiA7OzsKQEAgLTI0LDYgKzI1LDcgQEAK ICAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgaGFza2VsbC1jaGVjaykKICAgIzp1c2UtbW9k dWxlIChnbnUgcGFja2FnZXMgaGFza2VsbC13ZWIpCiAgICM6dXNlLW1vZHVsZSAoZ3VpeCBidWls ZC1zeXN0ZW0gZW1hY3MpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBidWlsZC1zeXN0ZW0gZ251KQog ICAjOnVzZS1tb2R1bGUgKGd1aXggYnVpbGQtc3lzdGVtIGhhc2tlbGwpCiAgICM6dXNlLW1vZHVs ZSAoZ3VpeCBidWlsZC1zeXN0ZW0gdHJpdmlhbCkKICAgIzp1c2UtbW9kdWxlIChndWl4IGRvd25s b2FkKQpAQCAtMTU0LDMgKzE1Niw0OSBAQCBzdWNoIGFzIENvcSwgRXBpZ3JhbSBhbmQgTnVQUkwu IikKICAgICAoc3lub3BzaXMgIkVtYWNzIG1vZGUgZm9yIEFnZGEiKQogICAgIChkZXNjcmlwdGlv biAiVGhpcyBFbWFjcyBtb2RlIGVuYWJsZXMgaW50ZXJhY3RpdmUgZGV2ZWxvcG1lbnQgd2l0aAog QWdkYS4gIEl0IGFsc28gYWlkcyB0aGUgaW5wdXQgb2YgVW5pY29kZSBjaGFyYWN0ZXJzLiIpKSkK KworKGRlZmluZS1wdWJsaWMgYWdkYS1pYWwKKyAgKHBhY2thZ2UKKyAgICAobmFtZSAiYWdkYS1p YWwiKQorICAgICh2ZXJzaW9uICIxLjUuMCIpCisgICAgKHNvdXJjZQorICAgICAob3JpZ2luCisg ICAgICAgKG1ldGhvZCB1cmwtZmV0Y2gpCisgICAgICAgKHVyaSAoc3RyaW5nLWFwcGVuZAorICAg ICAgICAgICAgICJodHRwczovL2dpdGh1Yi5jb20vY2VkaWxsZS9pYWwvYXJjaGl2ZS92IgorICAg ICAgICAgICAgIHZlcnNpb24gIi50YXIuZ3oiKSkKKyAgICAgICAoZmlsZS1uYW1lIChzdHJpbmct YXBwZW5kIG5hbWUgIi0iIHZlcnNpb24pKQorICAgICAgIChzaGEyNTYKKyAgICAgICAgKGJhc2Uz MgorICAgICAgICAgIjBpbGdhbG14M2tsank2ajlpOGQ3dzZyN2t5NGJxMHh6eGFud2ZyNmt5eDU2 bWYyc2YwemgiKSkpKQorICAgIChidWlsZC1zeXN0ZW0gZ251LWJ1aWxkLXN5c3RlbSkKKyAgICAo aW5wdXRzCisgICAgIGAoKCJhZ2RhIiAsYWdkYSkpKQorICAgIChhcmd1bWVudHMKKyAgICAgYCgj OnBhcmFsbGVsLWJ1aWxkPyAjZgorICAgICAgICM6cGhhc2VzCisgICAgICAgKG1vZGlmeS1waGFz ZXMgJXN0YW5kYXJkLXBoYXNlcworICAgICAgICAgKGRlbGV0ZSAnY29uZmlndXJlKQorICAgICAg ICAgKGFkZC1iZWZvcmUgJ2J1aWxkICdwYXRjaC1kZXBlbmRlbmNpZXMKKyAgICAgICAgICAgKGxh bWJkYSBfIChwYXRjaC1zaGViYW5nICJmaW5kLWRlcHMuc2giKSAjdCkpCisgICAgICAgICAoZGVs ZXRlICdjaGVjaykKKyAgICAgICAgIChyZXBsYWNlICdpbnN0YWxsCisgICAgICAgICAgIChsYW1i ZGEqICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAoZm9y LWVhY2gKKyAgICAgICAgICAgICAgKGxhbWJkYSAoZmlsZSkKKyAgICAgICAgICAgICAgICAoaW5z dGFsbC1maWxlCisgICAgICAgICAgICAgICAgIGZpbGUKKyAgICAgICAgICAgICAgICAgKHN0cmlu Zy1hcHBlbmQKKyAgICAgICAgICAgICAgICAgIChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikgIi9p bmNsdWRlL2FnZGEvaWFsIikpKQorICAgICAgICAgICAgICAoZmluZC1maWxlcyAiLiIgIi4qYWdk YS4qIikpCisgICAgICAgICAgICAgI3QpKSkpKQorICAgIChob21lLXBhZ2UgImh0dHBzOi8vZ2l0 aHViLmNvbS9jZWRpbGxlL2lhbCIpCisgICAgKHN5bm9wc2lzCisgICAgICJUaGUgSW93YSBBZ2Rh IExpYnJhcnkiKQorICAgIChkZXNjcmlwdGlvbgorICAgICAiVGhlIGdvYWwgaXMgdG8gcHJvdmlk ZSBhIGNvbmNyZXRlIGxpYnJhcnkgZm9jdXNlZCBvbiB2ZXJpZmljYXRpb24KK2V4YW1wbGVzLCBh cyBvcHBvc2VkIHRvIG1hdGhlbWF0aWNzLiAgVGhlIGxpYnJhcnkgaGFzIGEgZ29vZCBudW1iZXIK K29mIHRoZW9yZW1zIGZvciBib29sZWFucywgbmF0dXJhbCBudW1iZXJzLCBhbmQgbGlzdHMuICBJ dCBhbHNvIGhhcwordHJlZXMsIHRyaWVzLCB2ZWN0b3JzLCBhbmQgcnVkaW1lbnRhcnkgSU8uICBB IG51bWJlciBvZiBnb29kIGlkZWFzCitjb21lIGZyb20gQWdkYSdzIHN0YW5kYXJkIGxpYnJhcnku IikKKyAgICAobGljZW5zZSBsaWNlbnNlOmV4cGF0KSkpCi0tIAoyLjIyLjAKCg== --000000000000d1f3c10590336cf1 Content-Type: text/x-patch; charset="UTF-8"; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzdjk38s1 RnJvbSAyMmZmMTYwNThiN2I0MzYyMmJlYWNhMTc0MmI5NTIwZmI5ODczMTBjIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODo0MzowNyAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMi8yXSBnbnU6IEFkZCBj ZWRpbGxlLgoKKiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY206IG5ldyBmaWxlLgoqIGdudS9wYWNr YWdlcy9jZWRpbGxlLnNjbSAoY2VkaWxsZSk6IG5ldyB2YXJpYWJsZS4KLS0tCiBnbnUvcGFja2Fn ZXMvY2VkaWxsZS5zY20gfCAxMjUgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr KysrCiAxIGZpbGUgY2hhbmdlZCwgMTI1IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0 NCBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY20KCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2Vk aWxsZS5zY20gYi9nbnUvcGFja2FnZXMvY2VkaWxsZS5zY20KbmV3IGZpbGUgbW9kZSAxMDA2NDQK aW5kZXggMDAwMDAwMDAwMC4uMWQ2ZmY4ODY3MwotLS0gL2Rldi9udWxsCisrKyBiL2dudS9wYWNr YWdlcy9jZWRpbGxlLnNjbQpAQCAtMCwwICsxLDEyNSBAQAorOzs7IEdOVSBHdWl4IC0tLSBGdW5j dGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVudCBmb3IgR05VCis7OzsgQ29weXJpZ2h0IMKpIDIwMTkg Sm9obiBTb28gPGpzb28xQGFzdS5lZHU+Cis7OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBH TlUgR3VpeC4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVk aXN0cmlidXRlIGl0IGFuZC9vciBtb2RpZnkgaXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhl IEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlIGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVl IFNvZnR3YXJlIEZvdW5kYXRpb247IGVpdGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9y IChhdAorOzs7IHlvdXIgb3B0aW9uKSBhbnkgbGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBH dWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRoZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1 dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJBTlRZOyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2Fy cmFudHkgb2YKKzs7OyBNRVJDSEFOVEFCSUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFS IFBVUlBPU0UuICBTZWUgdGhlCis7OzsgR05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1v cmUgZGV0YWlscy4KKzs7OworOzs7IFlvdSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2Yg dGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4g IElmIG5vdCwgc2VlIDxodHRwOi8vd3d3LmdudS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1t b2R1bGUgKGdudSBwYWNrYWdlcyBjZWRpbGxlKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdl cykKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgYWdkYSkKKyAgIzp1c2UtbW9kdWxlIChn bnUgcGFja2FnZXMgZW1hY3MteHl6KQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBoYXNr ZWxsKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyB2ZXJzaW9uLWNvbnRyb2wpCisgICM6 dXNlLW1vZHVsZSAoZ3VpeCBidWlsZC1zeXN0ZW0gZW1hY3MpCisgICM6dXNlLW1vZHVsZSAoZ3Vp eCBkb3dubG9hZCkKKyAgIzp1c2UtbW9kdWxlIChndWl4IGdpdC1kb3dubG9hZCkKKyAgIzp1c2Ut bW9kdWxlICgoZ3VpeCBsaWNlbnNlcykgIzpwcmVmaXggbGljZW5zZTopCisgICM6dXNlLW1vZHVs ZSAoZ3VpeCBwYWNrYWdlcykpCisKKyhkZWZpbmUtcHVibGljIGNlZGlsbGUKKyAgKHBhY2thZ2UK KyAgICAobmFtZSAiY2VkaWxsZSIpCisgICAgKHZlcnNpb24gIjEuMS4xIikKKyAgICAoc291cmNl CisgICAgIChvcmlnaW4KKyAgICAgICAobWV0aG9kIHVybC1mZXRjaCkKKyAgICAgICAodXJpIChz dHJpbmctYXBwZW5kCisgICAgICAgICAgICAgImh0dHBzOi8vZ2l0aHViLmNvbS9jZWRpbGxlL2Nl ZGlsbGUvYXJjaGl2ZS92IgorICAgICAgICAgICAgIHZlcnNpb24gIi50YXIuZ3oiKSkKKyAgICAg ICAoc2hhMjU2CisgICAgICAgIChiYXNlMzIKKyAgICAgICAgICIwNWIzMmZzc2hjanJiaDl5c3o0 cGZ2NXk1am5ka3ljZDdxcmc4c2RoNHNwbmxmMDc3cjkyIikpKSkKKyAgICAoaW5wdXRzCisgICAg IGAoKCJhZ2RhIiAsYWdkYSkKKyAgICAgICAoImFnZGEtaWFsIiAsYWdkYS1pYWwpCisgICAgICAg KCJnaGMiICxnaGMtOC40KQorICAgICAgICgiZ2hjLWFsZXgiICxnaGMtYWxleCkKKyAgICAgICAo ImdoYy1oYXBweSIgLGdoYy1oYXBweSkKKyAgICAgICAoImdpdCIgLGdpdCkpKQorICAgIChidWls ZC1zeXN0ZW0gZW1hY3MtYnVpbGQtc3lzdGVtKQorICAgIChhcmd1bWVudHMKKyAgICAgYCgjOnBo YXNlcworICAgICAgIChtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgIChh ZGQtYWZ0ZXIgJ3VucGFjayAncGF0Y2gtY2VkaWxsZS1wYXRoLWVsCisgICAgICAgICAgIChsYW1i ZGEqICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAobGV0 ICgob3V0IChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikpKQorICAgICAgICAgICAgICAgKHN1YnN0 aXR1dGUqICJjZWRpbGxlLW1vZGUuZWwiCisgICAgICAgICAgICAgICAgICgoIi91c3Ivc2hhcmUv ZW1hY3Mvc2l0ZS1saXNwL2NlZGlsbGUtbW9kZSIpCisgICAgICAgICAgICAgICAgICAoc3RyaW5n LWFwcGVuZAorICAgICAgICAgICAgICAgICAgIG91dCAiL3NoYXJlL2VtYWNzL3NpdGUtbGlzcC9n dWl4LmQvY2VkaWxsZS0iCisgICAgICAgICAgICAgICAgICAgLHZlcnNpb24pKSkKKyAgICAgICAg ICAgICAgICN0KSkpCisgICAgICAgICAoYWRkLWFmdGVyICd1bnBhY2sgJ2NvcHktY2VkaWxsZS1t b2RlCisgICAgICAgICAgIChsYW1iZGEqICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5 cykKKyAgICAgICAgICAgICAobGV0KiAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIpKQor ICAgICAgICAgICAgICAgICAgICAoY2VkaWxsZS1zaXRlLWxpc3AKKyAgICAgICAgICAgICAgICAg ICAgIChzdHJpbmctYXBwZW5kCisgICAgICAgICAgICAgICAgICAgICAgb3V0ICIvc2hhcmUvZW1h Y3Mvc2l0ZS1saXNwL2d1aXguZC9jZWRpbGxlLSIKKyAgICAgICAgICAgICAgICAgICAgICAsdmVy c2lvbiAiLyIpKSkKKyAgICAgICAgICAgICAgIChta2Rpci1wCisgICAgICAgICAgICAgICAgKHN0 cmluZy1hcHBlbmQgY2VkaWxsZS1zaXRlLWxpc3AgImNlZGlsbGUtbW9kZSIpKQorICAgICAgICAg ICAgICAgKGNvcHktcmVjdXJzaXZlbHkKKyAgICAgICAgICAgICAgICAiY2VkaWxsZS1tb2RlIgor ICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIGNlZGlsbGUtc2l0ZS1saXNwICJjZWRpbGxl LW1vZGUiKSkKKyAgICAgICAgICAgICAgIChta2Rpci1wCisgICAgICAgICAgICAgICAgKHN0cmlu Zy1hcHBlbmQgY2VkaWxsZS1zaXRlLWxpc3AgInNlLW1vZGUiKSkKKyAgICAgICAgICAgICAgIChj b3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgInNlLW1vZGUiCisgICAgICAgICAgICAg ICAgKHN0cmluZy1hcHBlbmQgY2VkaWxsZS1zaXRlLWxpc3AgInNlLW1vZGUiKSkKKyAgICAgICAg ICAgICAgICN0KSkpCisgICAgICAgICA7OyBCeXRlIGNvbXBpbGF0aW9uIGZhaWxzCisgICAgICAg ICAoZGVsZXRlICdidWlsZCkKKyAgICAgICAgIChyZXBsYWNlICdjaGVjaworICAgICAgICAgICAo bGFtYmRhIF8KKyAgICAgICAgICAgICAod2l0aC1kaXJlY3RvcnktZXhjdXJzaW9uICJjZWRpbGxl LXRlc3RzIgorICAgICAgICAgICAgICAgKGludm9rZSAic2giICJydW4tdGVzdHMuc2giKSkpKQor ICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdwYXRjaC1saWJyYXJpZXMKKyAgICAgICAgICAg KGxhbWJkYSBfIChwYXRjaC1zaGViYW5nICJjcmVhdGUtbGlicmFyaWVzLnNoIikgI3QpKQorICAg ICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdjb3B5LWlhbAorICAgICAgICAgICAobGFtYmRhKiAo IzprZXkgaW5wdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAoY29weS1yZWN1 cnNpdmVseQorICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCAoYXNzb2MtcmVmIGlucHV0cyAi YWdkYS1pYWwiKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiL2luY2x1ZGUvYWdkYS9p YWwiKQorICAgICAgICAgICAgICAiaWFsIikKKyAgICAgICAgICAgICA7OyBBbWJpZ3VvdXMgbW9k dWxlIGlmIG1haW4gaXMgaW5jbHVkZWQgZnJvbSBpYWwKKyAgICAgICAgICAgICAoZGVsZXRlLWZp bGUgImlhbC9tYWluLmFnZGEiKQorICAgICAgICAgICAgICN0KSkKKyAgICAgICAgIChhZGQtYWZ0 ZXIgJ2NoZWNrICdidWlsZC1jZWRpbGxlCisgICAgICAgICAgIDs7IEFnZGEgaGFzIGEgaGFyZCB0 aW1lIHdpdGggcGFyYWxsZWwgY29tcGlsYXRpb24KKyAgICAgICAgICAgKGxhbWJkYSBfIChpbnZv a2UgIm1ha2UiICItLWpvYnM9MSIpKSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ2luc3RhbGwgJ2lu c3RhbGwtY2VkaWxsZQorICAgICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFsbG93 LW90aGVyLWtleXMpCisgICAgICAgICAgICAgKGxldCAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMg Im91dCIpKSkKKyAgICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAg ICAgImxpYiIgKHN0cmluZy1hcHBlbmQgb3V0ICIvbGliL2NlZGlsbGUiKSkKKyAgICAgICAgICAg ICAgIChpbnN0YWxsLWZpbGUgImNlZGlsbGUiIChzdHJpbmctYXBwZW5kIG91dCAiL2JpbiIpKQor ICAgICAgICAgICAgICAgKGluc3RhbGwtZmlsZSAiY29yZS9jZWRpbGxlLWNvcmUiCisgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIG91dCAiL2JpbiIpKQorICAgICAg ICAgICAgICAgI3QpKSkpKSkKKyAgICAoaG9tZS1wYWdlICJodHRwczovL2NlZGlsbGUuZ2l0aHVi LmlvLyIpCisgICAgKHN5bm9wc2lzCisgICAgIChzdHJpbmctYXBwZW5kCisgICAgICAiTGFuZ3Vh Z2UgYmFzZWQgb24gQ2FsY3VsdXMgb2YgRGVwZW5kZW50IExhbWJkYSBFbGltaW5hdGlvbnMiKSkK KyAgICAoZGVzY3JpcHRpb24KKyAgICAgIkNlZGlsbGUgaXMgYW4gaW50ZXJhY3RpdmUgdGhlb3Jl bS1wcm92ZXIgYW5kIGRlcGVuZGVudGx5Cit0eXBlZCBwcm9ncmFtbWluZyBsYW5ndWFnZSwgYmFz ZWQgb24gZXh0cmluc2ljIChha2EgQ3Vycnktc3R5bGUpCit0eXBlIHRoZW9yeS4gIFRoaXMgbWFr ZXMgaXQgcmF0aGVyIGRpZmZlcmVudCBmcm9tIHR5cGUgdGhlb3JpZXMKK2xpa2UgQ29xIGFuZCBB Z2RhLCB3aGljaCBhcmUgaW50cmluc2ljIChha2EgQ2h1cmNoLXN0eWxlKS4gIEluCitDZWRpbGxl LCB0ZXJtcyBhcmUgbm90aGluZyBtb3JlIHRoYW4gYW5ub3RhdGVkIHZlcnNpb25zIG9mIHRlcm1z CitvZiBwdXJlIHVudHlwZWQgbGFtYmRhIGNhbGN1bHVzLiAgSW4gY29udHJhc3QsIGluIENvcSBv ciBBZ2RhLAordGhlIHR5cGluZyBhbm5vdGF0aW9ucyBhcmUgaW50cmluc2ljIHBhcnRzIG9mIHRl cm1zLiAgVGhlIHR5cGluZworYW5ub3RhdGlvbnMgY2FuIG9ubHkgYmUgZXJhc2VkIGFzIGFuIG9w dGltaXphdGlvbiB1bmRlciBjZXJ0YWluCitjb25kaXRpb25zLCBub3QgYnkgdmlydHVlIG9mIHRo ZSBkZWZpbml0aW9uIG9mIHRoZSB0eXBlIHRoZW9yeS4iKQorICAgIChsaWNlbnNlIGxpY2Vuc2U6 ZXhwYXQpKSkKLS0gCjIuMjIuMAoK --000000000000d1f3c10590336cf1-- From debbugs-submit-bounces@debbugs.gnu.org Tue Aug 27 18:32:36 2019 Received: (at 37038) by debbugs.gnu.org; 27 Aug 2019 22:32:36 +0000 Received: from localhost ([127.0.0.1]:49571 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2k0y-000371-8k for submit@debbugs.gnu.org; Tue, 27 Aug 2019 18:32:36 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35315) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2k0v-00036l-Vs for 37038@debbugs.gnu.org; Tue, 27 Aug 2019 18:32:34 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:38256) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1i2k0q-0008LR-IU; Tue, 27 Aug 2019 18:32:28 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=45332 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1i2k0o-00020d-L7; Tue, 27 Aug 2019 18:32:28 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: John Soo Subject: Re: [bug#37038] Amending author email References: Date: Wed, 28 Aug 2019 00:32:24 +0200 In-Reply-To: (John Soo's message of "Fri, 16 Aug 2019 03:16:51 +0000") Message-ID: <87tva2kznr.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org 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: -3.3 (---) Hi John, John Soo skribis: > From f9cfc764f79f2c454726ebef4a074e6e80bec449 Mon Sep 17 00:00:00 2001 > From: John Soo > Date: Mon, 12 Aug 2019 08:33:36 -0700 > Subject: [PATCH 1/2] gnu: Add agda-ial. > > * gnu/packages/agda.scm (agda-ial): new variable. Applied with a followup commit to address =E2=80=98guix lint=E2=80=99 warni= ngs. > From 22ff16058b7b43622beaca1742b9520fb987310c Mon Sep 17 00:00:00 2001 > From: John Soo > Date: Mon, 12 Aug 2019 08:43:07 -0700 > Subject: [PATCH 2/2] gnu: Add cedille. > > * gnu/packages/cedille.scm: new file. > * gnu/packages/cedille.scm (cedille): new variable. Could you (1) add this file to gnu/local.mk, and (2) address the remaining =E2=80=98guix lint=E2=80=99 warnings? Also, it fails to build for me: --8<---------------cut here---------------start------------->8--- make[1]: Leaving directory '/tmp/guix-build-cedille-1.1.1.drv-0/cedille-1.1= .1/core' git submodule update --init --recursive fatal: not a git repository (or any of the parent directories): .git make: *** [Makefile:102: ial/ial.agda-lib] Error 128 --8<---------------cut here---------------end--------------->8--- [...] > + (lambda* (#:key outputs #:allow-other-keys) > + (let* ((out (assoc-ref outputs "out")) > + (cedille-site-lisp > + (string-append > + out "/share/emacs/site-lisp/guix.d/cedille-" > + ,version "/"))) To aid readability, I=E2=80=99d call the variable just =E2=80=99lisp=E2=80= =99; long names aren=E2=80=99t helpful for local variables IMO. > + ;; Byte compilation fails > + (delete 'build) Should it be a FIXME? > + (synopsis > + (string-append > + "Language based on Calculus of Dependent Lambda Eliminations")) =E2=80=98string-append=E2=80=99 is unnecessary. > + (description > + "Cedille is an interactive theorem-prover and dependently > +typed programming language, based on extrinsic (aka Curry-style) > +type theory. This makes it rather different from type theories > +like Coq and Agda, which are intrinsic (aka Church-style). In > +Cedille, terms are nothing more than annotated versions of terms > +of pure untyped lambda calculus. In contrast, in Coq or Agda, > +the typing annotations are intrinsic parts of terms. The typing > +annotations can only be erased as an optimization under certain > +conditions, not by virtue of the definition of the type theory.") M-q here if you use Emacs. :-) Could you send an updated patch? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 01:05:42 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 05:05:42 +0000 Received: from localhost ([127.0.0.1]:49720 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2q9N-0004m2-On for submit@debbugs.gnu.org; Wed, 28 Aug 2019 01:05:42 -0400 Received: from mail-ua1-f54.google.com ([209.85.222.54]:38509) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2q9I-0004lk-TA for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 01:05:38 -0400 Received: by mail-ua1-f54.google.com with SMTP id g13so414064uap.5 for <37038@debbugs.gnu.org>; Tue, 27 Aug 2019 22:05:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=s4pnbJUjKSm0xkAkL64rLHSujFJ7vNV1FVcvHZKTFPY=; b=lVuJ7bkJH8eVg/JNvR4TqZsou1kSRU22wnhVrYVltIRnJ9tD9JELaeDVa0DoJuqwvk W+/Jrh8OiD8O2hwhyC64fYO0vpNPJoRLuQPHWT9RoH4L+a3bPPHSRBYyan1Po2CNBHMn i96ElaRFKb1XkZOpGZW8/5+o71Fsf5F0UZL7dyX7Nmo4xRIVTnb7oo4KGfnH2lzbKmPS t/fEkTmWEOjvT2JFnmn8CeqexdT+9iaMM4Z/lsrrPOiPjFM5CGcY3OtUGtTF5nWmnYIv VAvqW3eP8POOGRGqHFCio6H4TFi8xvnGwYd7vAwBj08Iiap3JikI525V2JcM7pxcyZsk 60UA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=s4pnbJUjKSm0xkAkL64rLHSujFJ7vNV1FVcvHZKTFPY=; b=PGtk9413s6Krjgua3RE0W2ayxZnjQLJEoeQ8bMEZhCB8MXsPqaaEYCpI49Mk3FLXyI 3Redt6faZUE2cP66cbRmlTg1B7oaL+DDLkK2/B+QB8CG8F0P1lr+RqrSRTEd/7Q7wjv1 yLiB23MdO+9H3fG7p0gySdD0WJJ+gzjH4ncSr6OmPZQudBj9KNRAwFu6NbjBj9tkcPRG WMDVrk39RO53qLFiXsULkT2SMsnZu0QMSEfX4CmxZ0SMoVJTnirg0p90oLBZMVxQbiE3 zUN5ufw0x+/bNCCLILDiK/lmAO02v48OsBxm3jHAKnt2w7mSSFYNjkeoeBY33rMGSrJw ZVlg== X-Gm-Message-State: APjAAAXoAXfSQ6rHm1nOe3bWQTjg/sOHNj4Z6gLuIHJogA4LRfVe8sJ8 xRdpzTZzQJ/4j0I5N+rzvTpwiL68gooETY/rQsKJwQ== X-Google-Smtp-Source: APXvYqynzydYl+LkRGrRw2ntOCaAw/UIgkjfqUlh1MwDA4SYWG8BMeYgUcjUFVgY2IBhnyckqvgYYcYS5doh4tYo3IA= X-Received: by 2002:ab0:59cb:: with SMTP id k11mr989613uad.36.1566968731207; Tue, 27 Aug 2019 22:05:31 -0700 (PDT) MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> In-Reply-To: <87tva2kznr.fsf@gnu.org> From: John Soo Date: Wed, 28 Aug 2019 05:05:20 +0000 Message-ID: Subject: Re: [bug#37038] Amending author email To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: multipart/alternative; boundary="0000000000009920980591265610" X-Spam-Score: 0.1 (/) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org 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: -0.9 (/) --0000000000009920980591265610 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > Applied with a followup commit to address =E2=80=98guix lint=E2=80=99 war= nings. Thank you! I was unsure what to do about those lint errors. I updated cedille with the proper fetch to fix the lint issues with it. > Also, it fails to build for me I included a second patch to fix the build issue. It looks like this line in the Makefile would cause this problem: ./ial/ial.agda-lib: git submodule update --init --recursive > > From 22ff16058b7b43622beaca1742b9520fb987310c Mon Sep 17 00:00:00 2001 > > From: John Soo > > Date: Mon, 12 Aug 2019 08:43:07 -0700 > > Subject: [PATCH 2/2] gnu: Add cedille. > > > > * gnu/packages/cedille.scm: new file. > > * gnu/packages/cedille.scm (cedille): new variable. > > Could you (1) add this file to gnu/local.mk, and (2) address the > remaining =E2=80=98guix lint=E2=80=99 warnings? > > > --8<---------------cut here---------------start------------->8--- > make[1]: Leaving directory > '/tmp/guix-build-cedille-1.1.1.drv-0/cedille-1.1.1/core' > git submodule update --init --recursive > fatal: not a git repository (or any of the parent directories): .git > make: *** [Makefile:102: ial/ial.agda-lib] Error 128 > --8<---------------cut here---------------end--------------->8--- > > > [...] > > > + (lambda* (#:key outputs #:allow-other-keys) > > + (let* ((out (assoc-ref outputs "out")) > > + (cedille-site-lisp > > + (string-append > > + out "/share/emacs/site-lisp/guix.d/cedille-" > > + ,version "/"))) > > To aid readability, I=E2=80=99d call the variable just =E2=80=99lisp=E2= =80=99; long names aren=E2=80=99t > helpful for local variables IMO. > > > + ;; Byte compilation fails > > + (delete 'build) > > Should it be a FIXME? > > > + (synopsis > > + (string-append > > + "Language based on Calculus of Dependent Lambda Eliminations")) > > =E2=80=98string-append=E2=80=99 is unnecessary. > > > + (description > > + "Cedille is an interactive theorem-prover and dependently > > +typed programming language, based on extrinsic (aka Curry-style) > > +type theory. This makes it rather different from type theories > > +like Coq and Agda, which are intrinsic (aka Church-style). In > > +Cedille, terms are nothing more than annotated versions of terms > > +of pure untyped lambda calculus. In contrast, in Coq or Agda, > > +the typing annotations are intrinsic parts of terms. The typing > > +annotations can only be erased as an optimization under certain > > +conditions, not by virtue of the definition of the type theory.") > > M-q here if you use Emacs. :-) > > Could you send an updated patch? > > Thanks, > Ludo=E2=80=99. > --0000000000009920980591265610 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> Applied with a followup commit to ad= dress =E2=80=98guix lint=E2=80=99 warnings.

Thank you! I was unsure what to do about those lint errors. I updated= cedille with the proper fetch to fix the lint issues with it.
>=C2=A0 Also, it fails to build for me

=
I included a second patch to fix the build issue. It looks like this l= ine in the Makefile would cause this problem:

./ia= l/ial.agda-lib:
git submodule update --init --recursive


> From 22ff16058b7b43622beaca1742b9520fb987310c Mon Sep 17 00:00:00 2001=
> From: John Soo <= jsoo1@asu.edu>
> Date: Mon, 12 Aug 2019 08:43:07 -0700
> Subject: [PATCH 2/2] gnu: Add cedille.
>
> * gnu/packages/cedille.scm: new file.
> * gnu/packages/cedille.scm (cedille): new variable.

Could you (1) add this file to gnu/local.mk, and (2) address the
remaining =E2=80=98guix lint=E2=80=99 warnings?


--8<---------------cut here---------------start------------->8---
make[1]: Leaving directory '/tmp/guix-build-cedille-1.1.1.drv-0/cedille= -1.1.1/core'
git submodule update --init --recursive
fatal: not a git repository (or any of the parent directories): .git
make: *** [Makefile:102: ial/ial.agda-lib] Error 128
--8<---------------cut here---------------end--------------->8---


[...]

> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(lambda* (#:key outputs #:al= low-other-keys)
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(let* ((out (assoc-re= f outputs "out"))
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= (cedille-site-lisp
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0(string-append
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 out "/share/emacs/site-lisp/guix.d/cedille-"
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 ,version "/")))

To aid readability, I=E2=80=99d call the variable just =E2=80=99lisp=E2=80= =99; long names aren=E2=80=99t
helpful for local variables IMO.

> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0;; Byte compilation fails
> +=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(delete 'build)

Should it be a FIXME?

> +=C2=A0 =C2=A0 (synopsis
> +=C2=A0 =C2=A0 =C2=A0(string-append
> +=C2=A0 =C2=A0 =C2=A0 "Language based on Calculus of Dependent La= mbda Eliminations"))

=E2=80=98string-append=E2=80=99 is unnecessary.

> +=C2=A0 =C2=A0 (description
> +=C2=A0 =C2=A0 =C2=A0"Cedille is an interactive theorem-prover an= d dependently
> +typed programming language, based on extrinsic (aka Curry-style)
> +type theory.=C2=A0 This makes it rather different from type theories<= br> > +like Coq and Agda, which are intrinsic (aka Church-style).=C2=A0 In > +Cedille, terms are nothing more than annotated versions of terms
> +of pure untyped lambda calculus.=C2=A0 In contrast, in Coq or Agda, > +the typing annotations are intrinsic parts of terms.=C2=A0 The typing=
> +annotations can only be erased as an optimization under certain
> +conditions, not by virtue of the definition of the type theory."= )

M-q here if you use Emacs.=C2=A0 :-)

Could you send an updated patch?

Thanks,
Ludo=E2=80=99.
--0000000000009920980591265610-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 01:11:57 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 05:11:57 +0000 Received: from localhost ([127.0.0.1]:49725 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qFM-000528-LD for submit@debbugs.gnu.org; Wed, 28 Aug 2019 01:11:57 -0400 Received: from mail-vs1-f65.google.com ([209.85.217.65]:39280) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qFG-00051q-OC for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 01:11:50 -0400 Received: by mail-vs1-f65.google.com with SMTP id y62so1020893vsb.6 for <37038@debbugs.gnu.org>; Tue, 27 Aug 2019 22:11:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=R9eA1G4624dECph8HXdNsCOd+9zpEfMc8qwItMvLUaw=; b=tu+FTalqBiOKcnqiD/4l9IwZ1zzbRHdIbXg6LsfcXSrvZmIqijYDg4xZKxR7RiQS31 R7T1HBVthPX0K4t2Q8kHmhCstPdioTHOWPjVfyiFlblrY513oFZ9lX5bLnCUcRMomXSb mnNOivDnUHqee7CNDHPdnP21HqC4rdFOEMLGp3Zwwddvf1fKcpgqJhwjImJa115ucTll cHgKvjrZSM4iDq3rAcvGUN/2oefslxxpjTeoyF6zFsuQpuPOfKS1mAkBpjY2LEcOXqKH 1R0r0Y13aDCM7+JMaZeVdljRRi5xy8D1EiePWrSjZ7nDIbK+8V9G2Hbog3gaXHexTFnC LhSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=R9eA1G4624dECph8HXdNsCOd+9zpEfMc8qwItMvLUaw=; b=oqkl/7+9cxmmsQ3IcZnDzg34hLaq6nG+fWHCINSIsRU4sfY91w26pk5cVvIy0Hs5Ic 9JaiN57SNVv/SNOzFXWCnor4Rp93a+k+57rNheC0npQMdIdSvu2oUU3+ymiNGzdrtanA ux9xpdhaBcqYeErI+v+Tf/XD3NuPJbyBzU6A3rgqCBgbNeghdyQpx8c9Q7IzrI8FRJju OMBywpWyBU+gi43HZWCX4b41knZRxePhFFssrjQWRaIAg683w5NGn82iUt/u84Utgnm9 WgJt2X6J592+2/BJSYGwNtw/lZ8fBOMGOc3qh5N0/4NpfTsxmiyv/AO+/b4nhrlPQzXU zJJg== X-Gm-Message-State: APjAAAW1LTKOd7uxdIcru6DWFPl7iWxLNDsLdqISL64qgUP8cqRE6/E9 F01T0cAVi9bNqaSl4OabDPb1bk2Une35EVlR2/5pTQ== X-Google-Smtp-Source: APXvYqzjTtJ54OB8Nx2xcWEKkNhtR/AzRFiK0lVnHXJrtLZYgr09Afo7sx8j5Er8Rt1zbeW+ZmRn7jkcxy6njj7pn1c= X-Received: by 2002:a67:cb05:: with SMTP id b5mr1220208vsl.81.1566969101226; Tue, 27 Aug 2019 22:11:41 -0700 (PDT) MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> In-Reply-To: From: John Soo Date: Wed, 28 Aug 2019 05:11:30 +0000 Message-ID: Subject: Re: [bug#37038] Amending author email To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: multipart/mixed; boundary="000000000000a79a890591266c9c" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org 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 (-) --000000000000a79a890591266c9c Content-Type: multipart/alternative; boundary="000000000000a79a870591266c9a" --000000000000a79a870591266c9a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hey everyone, Sorry for that last response, stupid email client. Redoing that. I would love to use gnus for email but I think I need to work on a more recent commit. Sorry for any formatting issues in my emails for now. > Applied with a followup commit to address =E2=80=98guix lint=E2=80=99 war= nings. Thank you! I was unsure what to do about those lint errors. I updated cedille with the proper fetch to fix the lint issues with it. > Also, it fails to build for me I included a second patch to fix the build issue. It looks like this line in the Makefile would cause this problem ./ial/ial.agda-lib: git submodule update --init --recursive > To aid readability, I=E2=80=99d call the variable just =E2=80=99lisp=E2= =80=99; long names aren=E2=80=99t > helpful for local variables IMO. Fixed, I agree. > Should it be a FIXME? I made it a FIXME. > =E2=80=98string-append=E2=80=99 is unnecessary. Fixed, woops!. > M-q here if you use Emacs. :-) I am an Emacs user but I do not know what M-q does (evil mode user, here). What does it do? Thanks again! - John --000000000000a79a870591266c9a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hey everyone,

Sorry for that last response, stupid email client. Redoing that.=C2=A0 I= would love to use gnus for email but I think I need to work on a more rece= nt commit. Sorry for any formatting issues in my emails for now.
<= div>
> Applied with a = followup commit to address =E2=80=98guix lint=E2=80=99 warnings.

Thank you! I was unsure what to do about = those lint errors. I updated cedille with the pro= per fetch to fix the lint issues with it.

=
>=C2=A0 Also, it fails to build for me

I included a second patch to fix the build issue. It looks like t= his line in the Makefile would cause this problem

= ./ial/ial.agda-lib:
=C2=A0=C2=A0=C2=A0 git submodule update --ini= t --recursive

> To aid reada= bility, I=E2=80=99d call the variable just =E2=80=99lisp=E2=80=99; long nam= es aren=E2=80=99t
> helpful for local variables IMO.

Fixed, I agr= ee.

>=20 Should it be a FIXME?

I made it a FIXME.

>=20 =E2=80=98string-append=E2=80=99 is unnecessary.

Fi= xed, woops!.

>=20 M-q here if you use Emacs.=C2=A0 :-)

I am an Emacs= user but I do not know what M-q does (evil mode user, here). What does it = do?

Thanks again!

- John<= /div>




--000000000000a79a870591266c9a-- --000000000000a79a890591266c9c Content-Type: text/x-patch; charset="US-ASCII"; name="0001-gnu-agda-ial-Fix-install-step.patch" Content-Disposition: attachment; filename="0001-gnu-agda-ial-Fix-install-step.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzusvt7g0 RnJvbSAwMGU1NDZmNjUwYjVhOTA5MDkyZTQxZmJlYjQ1NTg4MDk2YzkyYTE4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogVHVlLCAy NyBBdWcgMjAxOSAyMTo0NjoyNiAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBnbnU6IGFnZGEt aWFsOiBGaXggaW5zdGFsbCBzdGVwLgoKKiBnbnUvcGFja2FnZXMvYWdkYS5zY20gKGFnZGEtaWFs KTogY29weSBsaWJyYXJ5IGFuZCBhZ2RhaSBmaWxlcyB3aGVuIGluc3RhbGxpbmcuCi0tLQogZ251 L3BhY2thZ2VzL2FnZGEuc2NtIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCsp LCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2FnZGEuc2NtIGIvZ251 L3BhY2thZ2VzL2FnZGEuc2NtCmluZGV4IDU2ZDRiMTU5NDAuLmMwODViZmFjMmUgMTAwNjQ0Ci0t LSBhL2dudS9wYWNrYWdlcy9hZ2RhLnNjbQorKysgYi9nbnUvcGFja2FnZXMvYWdkYS5zY20KQEAg LTE5MCw3ICsxOTAsNyBAQCBBZ2RhLiAgSXQgYWxzbyBhaWRzIHRoZSBpbnB1dCBvZiBVbmljb2Rl IGNoYXJhY3RlcnMuIikpKQogICAgICAgICAgICAgICAgKGZvci1lYWNoIChsYW1iZGEgKGZpbGUp CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlIGZpbGUpCiAg ICAgICAgICAgICAgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlIGZpbGUgaW5jbHVkZSkpCi0g ICAgICAgICAgICAgICAgICAgICAgICAgKGZpbmQtZmlsZXMgIi4iICJcXC5hZ2RhJCIpKQorICAg ICAgICAgICAgICAgICAgICAgICAgIChmaW5kLWZpbGVzICIuIiAiXFwuYWdkYWk/KC1saWIpPyQi KSkKICAgICAgICAgICAgICAgICN0KSkpKSkpCiAgICAgKHN5bm9wc2lzICJUaGUgSW93YSBBZ2Rh IExpYnJhcnkiKQogICAgIChkZXNjcmlwdGlvbgotLSAKMi4yMi4wCgo= --000000000000a79a890591266c9c Content-Type: text/x-patch; charset="UTF-8"; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzusvt7g1 RnJvbSA1NjAyMjYyYTc3ODViOGIxZjYwZGJhYjhiMGFkMjQzNTFjMzNmN2EyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODo0MzowNyAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMi8yXSBnbnU6IEFkZCBj ZWRpbGxlLgoKKiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY206IG5ldyBmaWxlLgoqIGdudS9wYWNr YWdlcy9jZWRpbGxlLnNjbSAoY2VkaWxsZSk6IG5ldyB2YXJpYWJsZS4KKiBnbnUvbG9jYWwubWsg KGNlZGlsbGUpOiBBZGQgY2VkaWxsZS5zY20gdG8gR05VX1NZU1RFTV9NT0RVTEVTLgotLS0KIGdu dS9sb2NhbC5tayAgICAgICAgICAgICB8ICAgMiArCiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY20g fCAxMjAgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiAyIGZpbGVzIGNo YW5nZWQsIDEyMiBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ251L3BhY2thZ2Vz L2NlZGlsbGUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmlu ZGV4IGE3NTYzMTZmNzcuLjhmYjE2YTNhYjYgMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysg Yi9nbnUvbG9jYWwubWsKQEAgLTIxLDYgKzIxLDcgQEAKICMgQ29weXJpZ2h0IMKpIDIwMTggU3Rl ZmFuIFN0ZWZhbm92acSHIDxzdGVmYW54Mm92aWNAZ21haWwuY29tPgogIyBDb3B5cmlnaHQgwqkg MjAxOCBNYXhpbSBDb3Vybm95ZXIgPG1heGltLmNvdXJub3llckBnbWFpbC5jb20+CiAjIENvcHly aWdodCDCqSAyMDE5IEd1aWxsYXVtZSBMZSBWYWlsbGFudCA8Z2x2QHBvc3Rlby5uZXQ+CisjIENv cHlyaWdodCDCqSAyMDE5IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgogIwogIyBUaGlzIGZpbGUg aXMgcGFydCBvZiBHTlUgR3VpeC4KICMKQEAgLTk5LDYgKzEwMCw3IEBAIEdOVV9TWVNURU1fTU9E VUxFUyA9CQkJCVwKICAgJUQlL3BhY2thZ2VzL2NhbGN1cnNlLnNjbQkJCVwKICAgJUQlL3BhY2th Z2VzL2NjYWNoZS5zY20JCQlcCiAgICVEJS9wYWNrYWdlcy9jZHJvbS5zY20JCQlcCisgICVEJS9w YWNrYWdlcy9jZWRpbGxlLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NlcnRzLnNjbQkJCVwKICAg JUQlL3BhY2thZ2VzL2NoZWNrLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NoZW1pc3RyeS5zY20J CQlcCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2VkaWxsZS5zY20gYi9nbnUvcGFja2FnZXMv Y2VkaWxsZS5zY20KbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uZDViNGI2 M2ZhOQotLS0gL2Rldi9udWxsCisrKyBiL2dudS9wYWNrYWdlcy9jZWRpbGxlLnNjbQpAQCAtMCww ICsxLDEyMCBAQAorOzs7IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVu dCBmb3IgR05VCis7OzsgQ29weXJpZ2h0IMKpIDIwMTkgSm9obiBTb28gPGpzb28xQGFzdS5lZHU+ Cis7OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUgR3VpeC4KKzs7OworOzs7IEdOVSBH dWl4IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVkaXN0cmlidXRlIGl0IGFuZC9vciBtb2Rp ZnkgaXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNl bnNlIGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb247IGVp dGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAorOzs7IHlvdXIgb3B0aW9uKSBh bnkgbGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRo ZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJB TlRZOyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2FycmFudHkgb2YKKzs7OyBNRVJDSEFOVEFC SUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UuICBTZWUgdGhlCis7Ozsg R05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4KKzs7OworOzs7IFlv dSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBM aWNlbnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3 LmdudS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBjZWRp bGxlKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcykKKyAgIzp1c2UtbW9kdWxlIChnbnUg cGFja2FnZXMgYWdkYSkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgZW1hY3MteHl6KQor ICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBoYXNrZWxsKQorICAjOnVzZS1tb2R1bGUgKGdu dSBwYWNrYWdlcyB2ZXJzaW9uLWNvbnRyb2wpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBidWlsZC1z eXN0ZW0gZW1hY3MpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQtZG93bmxvYWQpCisgICM6dXNl LW1vZHVsZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vuc2U6KQorICAjOnVzZS1tb2R1 bGUgKGd1aXggcGFja2FnZXMpKQorCisoZGVmaW5lLXB1YmxpYyBjZWRpbGxlCisgIChwYWNrYWdl CisgICAgKG5hbWUgImNlZGlsbGUiKQorICAgICh2ZXJzaW9uICIxLjEuMSIpCisgICAgKHNvdXJj ZQorICAgICAob3JpZ2luCisgICAgICAgKG1ldGhvZCBnaXQtZmV0Y2gpCisgICAgICAgKHVyaSAo dXJsICJodHRwczovL2dpdGh1Yi5jb20vY2VkaWxsZS9jZWRpbGxlIgorICAgICAgICAgICAgICAg ICAoY29tbWl0IChzdHJpbmctYXBwZW5kICJ2IiB2ZXJzaW9uKSkpKQorICAgICAgIChzaGEyNTYK KyAgICAgICAgKGJhc2UzMgorICAgICAgICAgIjA1YjMyZnNzaGNqcmJoOXlzejRwZnY1eTVqbmRr eWNkN3FyZzhzZGg0c3BubGYwNzdyOTIiKSkpKQorICAgIChpbnB1dHMKKyAgICAgYCgoImFnZGEi ICxhZ2RhKQorICAgICAgICgiYWdkYS1pYWwiICxhZ2RhLWlhbCkKKyAgICAgICAoImdoYyIgLGdo Yy04LjQpCisgICAgICAgKCJnaGMtYWxleCIgLGdoYy1hbGV4KQorICAgICAgICgiZ2hjLWhhcHB5 IiAsZ2hjLWhhcHB5KQorICAgICAgICgiZ2l0IiAsZ2l0KSkpCisgICAgKGJ1aWxkLXN5c3RlbSBl bWFjcy1idWlsZC1zeXN0ZW0pCisgICAgKGFyZ3VtZW50cworICAgICBgKCM6cGhhc2VzCisgICAg ICAgKG1vZGlmeS1waGFzZXMgJXN0YW5kYXJkLXBoYXNlcworICAgICAgICAgKGFkZC1hZnRlciAn dW5wYWNrICdwYXRjaC1jZWRpbGxlLXBhdGgtZWwKKyAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5 IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAgICAgICAgIChsZXQgKChvdXQgKGFz c29jLXJlZiBvdXRwdXRzICJvdXQiKSkpCisgICAgICAgICAgICAgICAoc3Vic3RpdHV0ZSogImNl ZGlsbGUtbW9kZS5lbCIKKyAgICAgICAgICAgICAgICAgKCgiL3Vzci9zaGFyZS9lbWFjcy9zaXRl LWxpc3AvY2VkaWxsZS1tb2RlIikKKyAgICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kCisg ICAgICAgICAgICAgICAgICAgb3V0ICIvc2hhcmUvZW1hY3Mvc2l0ZS1saXNwL2d1aXguZC9jZWRp bGxlLSIKKyAgICAgICAgICAgICAgICAgICAsdmVyc2lvbikpKQorICAgICAgICAgICAgICAgI3Qp KSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAnY29weS1jZWRpbGxlLW1vZGUKKyAgICAg ICAgICAgKGxhbWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAg ICAgICAgIChsZXQqICgob3V0IChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikpCisgICAgICAgICAg ICAgICAgICAgIChsaXNwCisgICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZAorICAg ICAgICAgICAgICAgICAgICAgIG91dCAiL3NoYXJlL2VtYWNzL3NpdGUtbGlzcC9ndWl4LmQvY2Vk aWxsZS0iCisgICAgICAgICAgICAgICAgICAgICAgLHZlcnNpb24gIi8iKSkpCisgICAgICAgICAg ICAgICAobWtkaXItcCAoc3RyaW5nLWFwcGVuZCBsaXNwICJjZWRpbGxlLW1vZGUiKSkKKyAgICAg ICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgImNlZGlsbGUtbW9k ZSIKKyAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCBsaXNwICJjZWRpbGxlLW1vZGUiKSkK KyAgICAgICAgICAgICAgIChta2Rpci1wIChzdHJpbmctYXBwZW5kIGxpc3AgInNlLW1vZGUiKSkK KyAgICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgInNlLW1v ZGUiCisgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgbGlzcCAic2UtbW9kZSIpKQorICAg ICAgICAgICAgICAgI3QpKSkKKyAgICAgICAgIDs7IEZJWE1FOiBCeXRlIGNvbXBpbGF0aW9uIGZh aWxzCisgICAgICAgICAoZGVsZXRlICdidWlsZCkKKyAgICAgICAgIChyZXBsYWNlICdjaGVjawor ICAgICAgICAgICAobGFtYmRhIF8KKyAgICAgICAgICAgICAod2l0aC1kaXJlY3RvcnktZXhjdXJz aW9uICJjZWRpbGxlLXRlc3RzIgorICAgICAgICAgICAgICAgKGludm9rZSAic2giICJydW4tdGVz dHMuc2giKSkpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdwYXRjaC1saWJyYXJpZXMK KyAgICAgICAgICAgKGxhbWJkYSBfIChwYXRjaC1zaGViYW5nICJjcmVhdGUtbGlicmFyaWVzLnNo IikgI3QpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdjb3B5LWlhbAorICAgICAgICAg ICAobGFtYmRhKiAoIzprZXkgaW5wdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAg ICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCAoYXNzb2Mt cmVmIGlucHV0cyAiYWdkYS1pYWwiKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiL2lu Y2x1ZGUvYWdkYS9pYWwiKQorICAgICAgICAgICAgICAiaWFsIikKKyAgICAgICAgICAgICA7OyBB bWJpZ3VvdXMgbW9kdWxlIGlmIG1haW4gaXMgaW5jbHVkZWQgZnJvbSBpYWwKKyAgICAgICAgICAg ICAoZGVsZXRlLWZpbGUgImlhbC9tYWluLmFnZGEiKQorICAgICAgICAgICAgICN0KSkKKyAgICAg ICAgIChhZGQtYWZ0ZXIgJ2NoZWNrICdidWlsZC1jZWRpbGxlCisgICAgICAgICAgIDs7IEFnZGEg aGFzIGEgaGFyZCB0aW1lIHdpdGggcGFyYWxsZWwgY29tcGlsYXRpb24KKyAgICAgICAgICAgKGxh bWJkYSBfIChpbnZva2UgIm1ha2UiICItLWpvYnM9MSIpKSkKKyAgICAgICAgIChhZGQtYWZ0ZXIg J2luc3RhbGwgJ2luc3RhbGwtY2VkaWxsZQorICAgICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0 cHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgKGxldCAoKG91dCAoYXNzb2Mt cmVmIG91dHB1dHMgIm91dCIpKSkKKyAgICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5Cisg ICAgICAgICAgICAgICAgImxpYiIgKHN0cmluZy1hcHBlbmQgb3V0ICIvbGliL2NlZGlsbGUiKSkK KyAgICAgICAgICAgICAgIChpbnN0YWxsLWZpbGUgImNlZGlsbGUiIChzdHJpbmctYXBwZW5kIG91 dCAiL2JpbiIpKQorICAgICAgICAgICAgICAgKGluc3RhbGwtZmlsZSAiY29yZS9jZWRpbGxlLWNv cmUiCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIG91dCAiL2Jp biIpKQorICAgICAgICAgICAgICAgI3QpKSkpKSkKKyAgICAoaG9tZS1wYWdlICJodHRwczovL2Nl ZGlsbGUuZ2l0aHViLmlvLyIpCisgICAgKHN5bm9wc2lzCisgICAgICJMYW5ndWFnZSBiYXNlZCBv biBDYWxjdWx1cyBvZiBEZXBlbmRlbnQgTGFtYmRhIEVsaW1pbmF0aW9ucyIpCisgICAgKGRlc2Ny aXB0aW9uCisgICAgICJDZWRpbGxlIGlzIGFuIGludGVyYWN0aXZlIHRoZW9yZW0tcHJvdmVyIGFu ZCBkZXBlbmRlbnRseQordHlwZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UsIGJhc2VkIG9uIGV4dHJp bnNpYyAoYWthIEN1cnJ5LXN0eWxlKQordHlwZSB0aGVvcnkuICBUaGlzIG1ha2VzIGl0IHJhdGhl ciBkaWZmZXJlbnQgZnJvbSB0eXBlIHRoZW9yaWVzCitsaWtlIENvcSBhbmQgQWdkYSwgd2hpY2gg YXJlIGludHJpbnNpYyAoYWthIENodXJjaC1zdHlsZSkuICBJbgorQ2VkaWxsZSwgdGVybXMgYXJl IG5vdGhpbmcgbW9yZSB0aGFuIGFubm90YXRlZCB2ZXJzaW9ucyBvZiB0ZXJtcworb2YgcHVyZSB1 bnR5cGVkIGxhbWJkYSBjYWxjdWx1cy4gIEluIGNvbnRyYXN0LCBpbiBDb3Egb3IgQWdkYSwKK3Ro ZSB0eXBpbmcgYW5ub3RhdGlvbnMgYXJlIGludHJpbnNpYyBwYXJ0cyBvZiB0ZXJtcy4gIFRoZSB0 eXBpbmcKK2Fubm90YXRpb25zIGNhbiBvbmx5IGJlIGVyYXNlZCBhcyBhbiBvcHRpbWl6YXRpb24g dW5kZXIgY2VydGFpbgorY29uZGl0aW9ucywgbm90IGJ5IHZpcnR1ZSBvZiB0aGUgZGVmaW5pdGlv biBvZiB0aGUgdHlwZSB0aGVvcnkuIikKKyAgICAobGljZW5zZSBsaWNlbnNlOmV4cGF0KSkpCi0t IAoyLjIyLjAKCg== --000000000000a79a890591266c9c-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 01:17:56 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 05:17:56 +0000 Received: from localhost ([127.0.0.1]:49729 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qLE-0005BO-A3 for submit@debbugs.gnu.org; Wed, 28 Aug 2019 01:17:56 -0400 Received: from mail-ua1-f48.google.com ([209.85.222.48]:45688) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qLC-0005B3-Ez for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 01:17:54 -0400 Received: by mail-ua1-f48.google.com with SMTP id j6so402548uae.12 for <37038@debbugs.gnu.org>; Tue, 27 Aug 2019 22:17:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=Hm7DJ7WPlgRirra35PBDR/yY9dZ7k6HvcWrJQY375Ws=; b=Pb6Oa3DPtAjRZJ4h4eLIhqhc9+nVS022HTP9OF5VZvSCZpEB+d5SXw2M0amnQt2M2L Dy/ecr0SRo083u4lbMq+wIB2OBPHQHgmorTgKiYR8otkYituOPj0AguY3R7qzJfkLqkP vfHfCekbz8d6D3BqwwNt+650KUJszhTK5wgJthTE1HH9/Hih+hqC1maskGb88o4meLDo zRiWY6RFCa7p8tDRlLBMwAidiEv4cA66oLu7Bd61gfnmGQD57XbKM9Jt9ez+zudYg11Z KJHCuTeFDI7AOfWOu9T2fmKmqa+ZpQpcqGtL9bIuNc5UUlFeVSijbmnBKOaIWMG2OMRr bCTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=Hm7DJ7WPlgRirra35PBDR/yY9dZ7k6HvcWrJQY375Ws=; b=GcjhwAefOLw5MnItyTjFk/aeEKlQ2xwVs8w9l68wwdkn/cGMii7FSvtxb46PtuGrhn 7ZGmYV9Zh3noQG1ThoKNZVODZsqdrS9U+3jpNxgtpUiWK3tBrpEggL+H07nGNflOIoaP 73b8Oc/9eDiH4g5fECQ/58nQW9Q4wUm0K9Zrw7bUdglX8DGld/Mtd0aH7Y3bc/jmwyt5 OV2sywCxinltocBeesYiQ2ptcVNl0S87CnxdUEVQ5QE+fgDsRbEI5Qew7M7M4CFuRrg8 yYWyCFA5brRW4aBnVz/+og63iY6okxHGYQ7f8UBivUJziwA1feoLinJjMPYxQyqVF39F 3+Fg== X-Gm-Message-State: APjAAAXslAJsw2yD058AbjYSEGnrDkpSsttJV2G8YjvLF8nFGYLMjn0p 6TcdANu839CT7lS7Ds6qEcFdyEiA1fq1pn2t9i4x7fpY X-Google-Smtp-Source: APXvYqyrPzlJGWkeymVlrJQq8RUHA5WBKPJIPavDGwQPzWRAuLuWrS/dbtNVEVL3Ut46DBMyOL59PJyn7fZsAKbEtYE= X-Received: by 2002:ab0:2012:: with SMTP id v18mr990943uak.86.1566969468888; Tue, 27 Aug 2019 22:17:48 -0700 (PDT) MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> In-Reply-To: From: John Soo Date: Wed, 28 Aug 2019 05:17:38 +0000 Message-ID: Subject: Re: [bug#37038] Amending author email To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: multipart/alternative; boundary="000000000000913ed80591268257" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org 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 (-) --000000000000913ed80591268257 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable One last item: > Could you (1) add this file to gnu/local.mk, and (2) address the > remaining =E2=80=98guix lint=E2=80=99 warnings? I thought my patches would fix the `guix lint` warnings, but they do not. I do not know what to do about them, sorry. Thanks again, - John --000000000000913ed80591268257 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
One last item:

<= div>>=20 Could you (1) add this file to gnu/local.mk, and (2) address the
> remainin= g =E2=80=98guix lint=E2=80=99 warnings?

I thought = my patches would fix the `guix lint` warnings, but they do not. I do not kn= ow what to do about them, sorry.

Thanks again,

- John
--000000000000913ed80591268257-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 01:23:20 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 05:23:20 +0000 Received: from localhost ([127.0.0.1]:49743 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qQR-0005KG-QU for submit@debbugs.gnu.org; Wed, 28 Aug 2019 01:23:20 -0400 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21222) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2qQQ-0005K8-AE for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 01:23:19 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1566969794; cv=none; d=zoho.com; s=zohoarc; b=S4wqIeLJf6bjmVGgZpbQWQZsBozsbY5Hy1B9MPLa4eEArIUOcVIFCFJin9DMp3djxrY/Vm3lKWvACqbLFbaKXQA75k0H7QRZNCSC2tuyW/IuhBMHEbjEUSgrD91Yb+dH+c9xw4slgwyrt9ZRnIDKJXWYRz3FZQK4e+Y9oG2k5EI= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1566969794; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=6OTrXDZWKev3uzApwRvmOEv3czY02M7YjIpf/RqGn9A=; b=GgGmWveF+TDYn9vgHzDhKXmwbcVM/+Rr7j9rFgELjcAZzvPwy1ruB8FpYTu5VLJUq6Xksf7yE2gNoV5VTE5W8ksEfSGcOdGmTThJPDmettmZLVoGEAY3ajk3a0QQ1Qsjr4Tr+bzpD4Z4BtOuFiKmNN0YcABrQ0FOzv3efDvVASY= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1566969794; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; l=335; bh=6OTrXDZWKev3uzApwRvmOEv3czY02M7YjIpf/RqGn9A=; b=ai+2+5IYfLUrAxZ43yzmMMY+WB1xKLiU2YdbG3qvRxB0cl7PorDZdufWGWPBbCdn irzzGK3AOrHm6H4A9XQEw7Q1le9b1z6LC8rZpincJU92KxJvJMg4TPtX0yUKT7wPY5u aFxPKKDmJbZHL2jCMx9Zg53xUz4Frm8CRQFTnCBA= Received: from localhost (p54AD4C6F.dip0.t-ipconnect.de [84.173.76.111]) by mx.zohomail.com with SMTPS id 1566969792560527.1053283635162; Tue, 27 Aug 2019 22:23:12 -0700 (PDT) References: <87tva2kznr.fsf@gnu.org> User-agent: mu4e 1.2.0; emacs 26.2 From: Ricardo Wurmus To: John Soo Subject: Re: [bug#37038] Amending author email In-reply-to: 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 Date: Wed, 28 Aug 2019 07:23:08 +0200 Message-ID: <87r255hnib.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: 37038 Cc: 37038@debbugs.gnu.org, Ludovic =?utf-8?Q?Court=C3=A8s?= 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 (-) John Soo writes: >> M-q here if you use Emacs. :-) > > I am an Emacs user but I do not know what M-q does (evil mode user, here). > What does it do? It runs =E2=80=98fill-paragraph=E2=80=98 on the text at point. (Or =E2=80=99paredit-reindent-defun=E2=80=9C if you=E2=80=99re using paredit.) -- Ricardo From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 02:21:52 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 06:21:52 +0000 Received: from localhost ([127.0.0.1]:49756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2rL0-0006vu-OP for submit@debbugs.gnu.org; Wed, 28 Aug 2019 02:21:52 -0400 Received: from mail-vs1-f43.google.com ([209.85.217.43]:36028) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2rKy-0006vc-82 for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 02:21:45 -0400 Received: by mail-vs1-f43.google.com with SMTP id y16so1126557vsc.3 for <37038@debbugs.gnu.org>; Tue, 27 Aug 2019 23:21:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=A8FiezYiqGAYGuejW1ybh2P1aUIzDsX4i/c9PJA1t4g=; b=sx1Et6Gwrh9maHJCWOd+Lz4afDd34WrP5EU+VodOI07kGAjalTc7IsCFYrRhZFJ4EF hB5ll0dS8De5F8wizISAw5V7EBL5IcuWIShbGPY6GmzBRQevBKOOofdyMM+jTQt1MSN0 jUFRE3gas0wyWHmEzhmGFP5TIiT6B9ScoMIvQBOYCPGcWAcSBlWZdibQ1g04J/g4qtE8 s4LNb1R5/2cWlE4qG0EuIwhDRDj/jyb1r5+p12H3X/ElICQIuVQl4VFOpc6rQmAuC05Y gYA0oIxO0Vs+wIFYoBWPUyXjHKP1bAaE/aM45YJPoRJNe7lUK6AFlOj2CXJnZnSjulLU b3Dw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=A8FiezYiqGAYGuejW1ybh2P1aUIzDsX4i/c9PJA1t4g=; b=WlZali/A5keRAgmHQwel9H1ETzfkH9itLKATNx6SBPTT9ulhW4bYDSBvjxR+lxjXt8 1O66KFl6aW5tXqSoVBn+d6JHv+w6/7T2UFlwgUvALRrUa/6siPXrmUZ0+PrsRBtVeLbP ISCvInBElRz5CFliBRCS3hvqqADA7iTkLDI6DrDv+o667JOYsi2yaSo5LCyk+eEiUlMd kTHj5sOwTTXtSTLpgXwKMxOpWwPmETuXr9BTxmu8Hcz2oHMajUhk/5ynbzzsucPmTXbm oH3PYvls5vPYfpGDNA2rcJEjiFjGBiWN8Uhu4U5m4VGrXvmY0np2ZKrKM7iLRAKv3RgO tgmw== X-Gm-Message-State: APjAAAXchxi6AgkBI1rOYP90N6R2EXA0uSGrwqzDPUsSmdv47qZxHyrF muSmLMA9gQtZzz9Lk+Pe1/PTNV5wBknYHUwSgzzeaQ7T X-Google-Smtp-Source: APXvYqxlU6sesTFlXZAUwUhylM7iHTgun6dsJdy1g39tDMd0qYLMfzDyMo/3Myvd7V4udTmQS/DD8itL9+zwi6YU+qc= X-Received: by 2002:a67:eed1:: with SMTP id o17mr1353782vsp.80.1566973298605; Tue, 27 Aug 2019 23:21:38 -0700 (PDT) MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> <87r255hnib.fsf@elephly.net> In-Reply-To: <87r255hnib.fsf@elephly.net> From: John Soo Date: Wed, 28 Aug 2019 06:21:27 +0000 Message-ID: Subject: Re: [bug#37038] Amending author email To: Ricardo Wurmus Content-Type: multipart/mixed; boundary="000000000000d762120591276623" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org, =?UTF-8?Q?Ludovic_Court=C3=A8s?= 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 (-) --000000000000d762120591276623 Content-Type: multipart/alternative; boundary="000000000000d7620a0591276621" --000000000000d7620a0591276621 Content-Type: text/plain; charset="UTF-8" Hi Ricardo and Ludo, Thank you for fill-paragraph, what a great function! I never knew. I love how Emacs is an editor for all kinds of text aside from code. I fixed the lint warnings from before and removed a dependency on git with this patchset (along with the fill-paragraph magic). Thanks again! - John --000000000000d7620a0591276621 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Ricardo and Ludo,

<= /div>
Thank you for fill-paragraph, what a great function! I never knew= . I love how Emacs is an editor for all kinds of text aside from code.

I fixed the lint warnings from before and removed a de= pendency on git with this patchset (along with the fill-paragraph magic).

Thanks again!

- John
=
--000000000000d7620a0591276621-- --000000000000d762120591276623 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-gnu-agda-ial-Fix-install-step.patch" Content-Disposition: attachment; filename="0001-gnu-agda-ial-Fix-install-step.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzuvfits0 RnJvbSAwMGU1NDZmNjUwYjVhOTA5MDkyZTQxZmJlYjQ1NTg4MDk2YzkyYTE4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogVHVlLCAy NyBBdWcgMjAxOSAyMTo0NjoyNiAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBnbnU6IGFnZGEt aWFsOiBGaXggaW5zdGFsbCBzdGVwLgoKKiBnbnUvcGFja2FnZXMvYWdkYS5zY20gKGFnZGEtaWFs KTogY29weSBsaWJyYXJ5IGFuZCBhZ2RhaSBmaWxlcyB3aGVuIGluc3RhbGxpbmcuCi0tLQogZ251 L3BhY2thZ2VzL2FnZGEuc2NtIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCsp LCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2FnZGEuc2NtIGIvZ251 L3BhY2thZ2VzL2FnZGEuc2NtCmluZGV4IDU2ZDRiMTU5NDAuLmMwODViZmFjMmUgMTAwNjQ0Ci0t LSBhL2dudS9wYWNrYWdlcy9hZ2RhLnNjbQorKysgYi9nbnUvcGFja2FnZXMvYWdkYS5zY20KQEAg LTE5MCw3ICsxOTAsNyBAQCBBZ2RhLiAgSXQgYWxzbyBhaWRzIHRoZSBpbnB1dCBvZiBVbmljb2Rl IGNoYXJhY3RlcnMuIikpKQogICAgICAgICAgICAgICAgKGZvci1lYWNoIChsYW1iZGEgKGZpbGUp CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlIGZpbGUpCiAg ICAgICAgICAgICAgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlIGZpbGUgaW5jbHVkZSkpCi0g ICAgICAgICAgICAgICAgICAgICAgICAgKGZpbmQtZmlsZXMgIi4iICJcXC5hZ2RhJCIpKQorICAg ICAgICAgICAgICAgICAgICAgICAgIChmaW5kLWZpbGVzICIuIiAiXFwuYWdkYWk/KC1saWIpPyQi KSkKICAgICAgICAgICAgICAgICN0KSkpKSkpCiAgICAgKHN5bm9wc2lzICJUaGUgSW93YSBBZ2Rh IExpYnJhcnkiKQogICAgIChkZXNjcmlwdGlvbgotLSAKMi4yMi4wCgo= --000000000000d762120591276623 Content-Type: text/x-patch; charset="UTF-8"; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzuvfits1 RnJvbSA4YjA5ZjFhN2MwMTJkYmZmODliM2U3MDNhNDNmNjU0ZTMxMjFiNGFmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODo0MzowNyAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMi8yXSBnbnU6IEFkZCBj ZWRpbGxlLgoKKiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY206IG5ldyBmaWxlLgoqIGdudS9wYWNr YWdlcy9jZWRpbGxlLnNjbSAoY2VkaWxsZSk6IG5ldyB2YXJpYWJsZS4KKiBnbnUvbG9jYWwubWsg KGNlZGlsbGUpOiBBZGQgY2VkaWxsZS5zY20gdG8gR05VX1NZU1RFTV9NT0RVTEVTLgotLS0KIGdu dS9sb2NhbC5tayAgICAgICAgICAgICB8ICAgMiArCiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY20g fCAxMjQgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiAyIGZpbGVzIGNo YW5nZWQsIDEyNiBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ251L3BhY2thZ2Vz L2NlZGlsbGUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmlu ZGV4IGE3NTYzMTZmNzcuLjhmYjE2YTNhYjYgMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysg Yi9nbnUvbG9jYWwubWsKQEAgLTIxLDYgKzIxLDcgQEAKICMgQ29weXJpZ2h0IMKpIDIwMTggU3Rl ZmFuIFN0ZWZhbm92acSHIDxzdGVmYW54Mm92aWNAZ21haWwuY29tPgogIyBDb3B5cmlnaHQgwqkg MjAxOCBNYXhpbSBDb3Vybm95ZXIgPG1heGltLmNvdXJub3llckBnbWFpbC5jb20+CiAjIENvcHly aWdodCDCqSAyMDE5IEd1aWxsYXVtZSBMZSBWYWlsbGFudCA8Z2x2QHBvc3Rlby5uZXQ+CisjIENv cHlyaWdodCDCqSAyMDE5IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgogIwogIyBUaGlzIGZpbGUg aXMgcGFydCBvZiBHTlUgR3VpeC4KICMKQEAgLTk5LDYgKzEwMCw3IEBAIEdOVV9TWVNURU1fTU9E VUxFUyA9CQkJCVwKICAgJUQlL3BhY2thZ2VzL2NhbGN1cnNlLnNjbQkJCVwKICAgJUQlL3BhY2th Z2VzL2NjYWNoZS5zY20JCQlcCiAgICVEJS9wYWNrYWdlcy9jZHJvbS5zY20JCQlcCisgICVEJS9w YWNrYWdlcy9jZWRpbGxlLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NlcnRzLnNjbQkJCVwKICAg JUQlL3BhY2thZ2VzL2NoZWNrLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NoZW1pc3RyeS5zY20J CQlcCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2VkaWxsZS5zY20gYi9nbnUvcGFja2FnZXMv Y2VkaWxsZS5zY20KbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uMzZmYTNh ZTE3ZQotLS0gL2Rldi9udWxsCisrKyBiL2dudS9wYWNrYWdlcy9jZWRpbGxlLnNjbQpAQCAtMCww ICsxLDEyNCBAQAorOzs7IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVu dCBmb3IgR05VCis7OzsgQ29weXJpZ2h0IMKpIDIwMTkgSm9obiBTb28gPGpzb28xQGFzdS5lZHU+ Cis7OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUgR3VpeC4KKzs7OworOzs7IEdOVSBH dWl4IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVkaXN0cmlidXRlIGl0IGFuZC9vciBtb2Rp ZnkgaXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNl bnNlIGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb247IGVp dGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAorOzs7IHlvdXIgb3B0aW9uKSBh bnkgbGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRo ZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJB TlRZOyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2FycmFudHkgb2YKKzs7OyBNRVJDSEFOVEFC SUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UuICBTZWUgdGhlCis7Ozsg R05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4KKzs7OworOzs7IFlv dSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBM aWNlbnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3 LmdudS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBjZWRp bGxlKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcykKKyAgIzp1c2UtbW9kdWxlIChnbnUg cGFja2FnZXMgYWdkYSkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgZW1hY3MteHl6KQor ICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBoYXNrZWxsKQorICAjOnVzZS1tb2R1bGUgKGd1 aXggYnVpbGQtc3lzdGVtIGVtYWNzKQorICAjOnVzZS1tb2R1bGUgKGd1aXggZ2l0LWRvd25sb2Fk KQorICAjOnVzZS1tb2R1bGUgKChndWl4IGxpY2Vuc2VzKSAjOnByZWZpeCBsaWNlbnNlOikKKyAg Izp1c2UtbW9kdWxlIChndWl4IHBhY2thZ2VzKSkKKworKGRlZmluZS1wdWJsaWMgY2VkaWxsZQor ICAocGFja2FnZQorICAgIChuYW1lICJjZWRpbGxlIikKKyAgICAodmVyc2lvbiAiMS4xLjEiKQor ICAgIChzb3VyY2UKKyAgICAgKG9yaWdpbgorICAgICAgIChtZXRob2QgZ2l0LWZldGNoKQorICAg ICAgICh1cmkgKGdpdC1yZWZlcmVuY2UKKyAgICAgICAgICAgICAodXJsICJodHRwczovL2dpdGh1 Yi5jb20vY2VkaWxsZS9jZWRpbGxlIikKKyAgICAgICAgICAgICAoY29tbWl0IChzdHJpbmctYXBw ZW5kICJ2IiB2ZXJzaW9uKSkpKQorICAgICAgIChmaWxlLW5hbWUgKGdpdC1maWxlLW5hbWUgbmFt ZSB2ZXJzaW9uKSkKKyAgICAgICAoc2hhMjU2CisgICAgICAgIChiYXNlMzIKKyAgICAgICAgICIw N2t2OXduY3lpcGZqZjV3NGF4OGgycDM1ZzcwemIxcXc2emM0YWZkN2MyMjV4aWE1NXdwIikpKSkK KyAgICAoaW5wdXRzCisgICAgIGAoKCJhZ2RhIiAsYWdkYSkKKyAgICAgICAoImFnZGEtaWFsIiAs YWdkYS1pYWwpCisgICAgICAgKCJnaGMiICxnaGMtOC40KQorICAgICAgICgiZ2hjLWFsZXgiICxn aGMtYWxleCkKKyAgICAgICAoImdoYy1oYXBweSIgLGdoYy1oYXBweSkpKQorICAgIChidWlsZC1z eXN0ZW0gZW1hY3MtYnVpbGQtc3lzdGVtKQorICAgIChhcmd1bWVudHMKKyAgICAgYCgjOnBoYXNl cworICAgICAgIChtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgIChhZGQt YWZ0ZXIgJ3VucGFjayAncGF0Y2gtY2VkaWxsZS1wYXRoLWVsCisgICAgICAgICAgIChsYW1iZGEq ICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAobGV0ICgo b3V0IChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikpKQorICAgICAgICAgICAgICAgKHN1YnN0aXR1 dGUqICJjZWRpbGxlLW1vZGUuZWwiCisgICAgICAgICAgICAgICAgICgoIi91c3Ivc2hhcmUvZW1h Y3Mvc2l0ZS1saXNwL2NlZGlsbGUtbW9kZSIpCisgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFw cGVuZAorICAgICAgICAgICAgICAgICAgIG91dCAiL3NoYXJlL2VtYWNzL3NpdGUtbGlzcC9ndWl4 LmQvY2VkaWxsZS0iCisgICAgICAgICAgICAgICAgICAgLHZlcnNpb24pKSkKKyAgICAgICAgICAg ICAgICN0KSkpCisgICAgICAgICAoYWRkLWFmdGVyICd1bnBhY2sgJ2NvcHktY2VkaWxsZS1tb2Rl CisgICAgICAgICAgIChsYW1iZGEqICgjOmtleSBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykK KyAgICAgICAgICAgICAobGV0KiAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIpKQorICAg ICAgICAgICAgICAgICAgICAobGlzcAorICAgICAgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBl bmQKKyAgICAgICAgICAgICAgICAgICAgICBvdXQgIi9zaGFyZS9lbWFjcy9zaXRlLWxpc3AvZ3Vp eC5kL2NlZGlsbGUtIgorICAgICAgICAgICAgICAgICAgICAgICx2ZXJzaW9uICIvIikpKQorICAg ICAgICAgICAgICAgKG1rZGlyLXAgKHN0cmluZy1hcHBlbmQgbGlzcCAiY2VkaWxsZS1tb2RlIikp CisgICAgICAgICAgICAgICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAgICJjZWRp bGxlLW1vZGUiCisgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgbGlzcCAiY2VkaWxsZS1t b2RlIikpCisgICAgICAgICAgICAgICAobWtkaXItcCAoc3RyaW5nLWFwcGVuZCBsaXNwICJzZS1t b2RlIikpCisgICAgICAgICAgICAgICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAg ICJzZS1tb2RlIgorICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIGxpc3AgInNlLW1vZGUi KSkKKyAgICAgICAgICAgICAgICN0KSkpCisgICAgICAgICA7OyBGSVhNRTogQnl0ZSBjb21waWxh dGlvbiBmYWlscworICAgICAgICAgKGRlbGV0ZSAnYnVpbGQpCisgICAgICAgICAocmVwbGFjZSAn Y2hlY2sKKyAgICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgKHdpdGgtZGlyZWN0b3J5 LWV4Y3Vyc2lvbiAiY2VkaWxsZS10ZXN0cyIKKyAgICAgICAgICAgICAgIChpbnZva2UgInNoIiAi cnVuLXRlc3RzLnNoIikpKSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAncGF0Y2gtbGli cmFyaWVzCisgICAgICAgICAgIChsYW1iZGEgXyAocGF0Y2gtc2hlYmFuZyAiY3JlYXRlLWxpYnJh cmllcy5zaCIpICN0KSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAnY29weS1pYWwKKyAg ICAgICAgICAgKGxhbWJkYSogKCM6a2V5IGlucHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAg ICAgICAgICAgKGNvcHktcmVjdXJzaXZlbHkKKyAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQg KGFzc29jLXJlZiBpbnB1dHMgImFnZGEtaWFsIikKKyAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIi9pbmNsdWRlL2FnZGEvaWFsIikKKyAgICAgICAgICAgICAgImlhbCIpCisgICAgICAgICAg ICAgOzsgQW1iaWd1b3VzIG1vZHVsZSBpZiBtYWluIGlzIGluY2x1ZGVkIGZyb20gaWFsCisgICAg ICAgICAgICAgKGRlbGV0ZS1maWxlICJpYWwvbWFpbi5hZ2RhIikKKyAgICAgICAgICAgICAjdCkp CisgICAgICAgICAoYWRkLWFmdGVyICdjaGVjayAnYnVpbGQtY2VkaWxsZQorICAgICAgICAgICA7 OyBBZ2RhIGhhcyBhIGhhcmQgdGltZSB3aXRoIHBhcmFsbGVsIGNvbXBpbGF0aW9uCisgICAgICAg ICAgIChsYW1iZGEgXworICAgICAgICAgICAgIChpbnZva2UgInRvdWNoIiAic3JjL1RlbXBsYXRl cy5ocyIpCisgICAgICAgICAgICAgKG1ha2UtZmlsZS13cml0YWJsZSAgInNyYy9UZW1wbGF0ZXMu aHMiKQorICAgICAgICAgICAgIChpbnZva2UgInRvdWNoIiAic3JjL3RlbXBsYXRlcy5hZ2RhIikK KyAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlICAic3JjL3RlbXBsYXRlcy5hZ2RhIikK KyAgICAgICAgICAgICAoaW52b2tlICJtYWtlIiAiLS1qb2JzPTEiKSkpCisgICAgICAgICAoYWRk LWFmdGVyICdpbnN0YWxsICdpbnN0YWxsLWNlZGlsbGUKKyAgICAgICAgICAgKGxhbWJkYSogKCM6 a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAgICAgICAgIChsZXQgKChvdXQg KGFzc29jLXJlZiBvdXRwdXRzICJvdXQiKSkpCisgICAgICAgICAgICAgICAoY29weS1yZWN1cnNp dmVseQorICAgICAgICAgICAgICAgICJsaWIiIChzdHJpbmctYXBwZW5kIG91dCAiL2xpYi9jZWRp bGxlIikpCisgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlICJjZWRpbGxlIiAoc3RyaW5nLWFw cGVuZCBvdXQgIi9iaW4iKSkKKyAgICAgICAgICAgICAgIChpbnN0YWxsLWZpbGUgImNvcmUvY2Vk aWxsZS1jb3JlIgorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCBv dXQgIi9iaW4iKSkKKyAgICAgICAgICAgICAgICN0KSkpKSkpCisgICAgKGhvbWUtcGFnZSAiaHR0 cHM6Ly9jZWRpbGxlLmdpdGh1Yi5pby8iKQorICAgIChzeW5vcHNpcworICAgICAiTGFuZ3VhZ2Ug YmFzZWQgb24gQ2FsY3VsdXMgb2YgRGVwZW5kZW50IExhbWJkYSBFbGltaW5hdGlvbnMiKQorICAg IChkZXNjcmlwdGlvbgorICAgICAiQ2VkaWxsZSBpcyBhbiBpbnRlcmFjdGl2ZSB0aGVvcmVtLXBy b3ZlciBhbmQgZGVwZW5kZW50bHkgdHlwZWQKK3Byb2dyYW1taW5nIGxhbmd1YWdlLCBiYXNlZCBv biBleHRyaW5zaWMgKGFrYSBDdXJyeS1zdHlsZSkgdHlwZSB0aGVvcnkuICBUaGlzCittYWtlcyBp dCByYXRoZXIgZGlmZmVyZW50IGZyb20gdHlwZSB0aGVvcmllcyBsaWtlIENvcSBhbmQgQWdkYSwg d2hpY2ggYXJlCitpbnRyaW5zaWMgKGFrYSBDaHVyY2gtc3R5bGUpLiAgSW4gQ2VkaWxsZSwgdGVy bXMgYXJlIG5vdGhpbmcgbW9yZSB0aGFuCithbm5vdGF0ZWQgdmVyc2lvbnMgb2YgdGVybXMgb2Yg cHVyZSB1bnR5cGVkIGxhbWJkYSBjYWxjdWx1cy4gIEluIGNvbnRyYXN0LCBpbgorQ29xIG9yIEFn ZGEsIHRoZSB0eXBpbmcgYW5ub3RhdGlvbnMgYXJlIGludHJpbnNpYyBwYXJ0cyBvZiB0ZXJtcy4g IFRoZSB0eXBpbmcKK2Fubm90YXRpb25zIGNhbiBvbmx5IGJlIGVyYXNlZCBhcyBhbiBvcHRpbWl6 YXRpb24gdW5kZXIgY2VydGFpbiBjb25kaXRpb25zLAorbm90IGJ5IHZpcnR1ZSBvZiB0aGUgZGVm aW5pdGlvbiBvZiB0aGUgdHlwZSB0aGVvcnkuIikKKyAgICAobGljZW5zZSBsaWNlbnNlOmV4cGF0 KSkpCi0tIAoyLjIyLjAKCg== --000000000000d762120591276623-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 11:10:50 2019 Received: (at 37038) by debbugs.gnu.org; 28 Aug 2019 15:10:51 +0000 Received: from localhost ([127.0.0.1]:51052 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2zb0-0007Xi-K9 for submit@debbugs.gnu.org; Wed, 28 Aug 2019 11:10:50 -0400 Received: from mail-vs1-f41.google.com ([209.85.217.41]:45922) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i2zay-0007XU-7Z for 37038@debbugs.gnu.org; Wed, 28 Aug 2019 11:10:49 -0400 Received: by mail-vs1-f41.google.com with SMTP id j25so161991vsq.12 for <37038@debbugs.gnu.org>; Wed, 28 Aug 2019 08:10:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=GIk/444MoFsVCqEQPN0JuRcWanBsiU0XqeEp5lSLQlw=; b=KevGIzS5kL/ql5xzgdFiklxyo36OP/fbRTguefDt4RW29scc0uIuLYk3TfJIfb5Q55 aKFFrjxU7Us1sj9GhKGslwRdfDhfHGAv/qtd8iIW13ZFqQmrh+Hk3Q3UYYkSbCZmk6Hy 7dKVvMZenJJjNAQxIbBkvsJhJK6EkU0U2y2LIbZgpmFMqpm58P7wqO9rutn5olbbFrS/ GjCvbj1/Rjfh6waHemEqp9OTFoqg1uvwXeLQ7nLUGEdeA5gO1R/qlBVYosEg31dlM8XO engmshI1YvYleMpi/7hmt7cwI1SPPOwvWxab5BIvjLAn7cUlDt6yb7krBLusr1jtNwXx jo/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=GIk/444MoFsVCqEQPN0JuRcWanBsiU0XqeEp5lSLQlw=; b=E/tg4hpVVh0SXcGFghrm//jUx/xHnXThhx1YJCq5mf9/Mlj0sdxfEjP4tgKU/m5dfH MHmFEFV/hqOLIiWcbU5Dlgo5yhIOjLsCj4jQRKzebH7VtB0HI3bhMnu3cuWrm/l272U3 UdCcbSxHdGbSxmsCzqZQOIydVwfABOeftm2OZ9CcvsyupDzAoH++vO74IpKpoGP7HyS8 rz1IITUeMhQTSMQ8yDy/46qpW2WR+egkdfW3MEuqFg3brIdHJ8pzV21L83FjlYIOE7ze YAGGtFQDM7cy0HMtAdMOiLOtk90HFT9+yhV5eOWDWgIQm6Euo0/cWN2jwMU6PsIMvSci sdgA== X-Gm-Message-State: APjAAAX8SzhBD6bDp9hFj4t7R54vSBY0dn2i7CqboUfuZDrznqtG1HGH YRPXh5/NEDk/P59Yh7wGFphFJYFIkjNs54qPQTozlg== X-Google-Smtp-Source: APXvYqxVDlsE79n1WWZ1l/clnR5nkkpxdL86GP1jTjABr9yMACe1MY+9o7kF/zHxGJSuiQ6p9qzgQHNia0VOIoSnLuw= X-Received: by 2002:a67:eed1:: with SMTP id o17mr2521370vsp.80.1567005042401; Wed, 28 Aug 2019 08:10:42 -0700 (PDT) MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> <87r255hnib.fsf@elephly.net> In-Reply-To: From: John Soo Date: Wed, 28 Aug 2019 15:10:30 +0000 Message-ID: Subject: Re: [bug#37038] Amending author email To: Ricardo Wurmus Content-Type: multipart/mixed; boundary="000000000000ebb00105912eca26" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038 Cc: 37038@debbugs.gnu.org, =?UTF-8?Q?Ludovic_Court=C3=A8s?= 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 (-) --000000000000ebb00105912eca26 Content-Type: multipart/alternative; boundary="000000000000ebaffe05912eca24" --000000000000ebaffe05912eca24 Content-Type: text/plain; charset="UTF-8" Hi again, One last set removing an unused import and moving a comment. - John --000000000000ebaffe05912eca24 Content-Type: text/html; charset="UTF-8"
Hi again,

One last set removing an unused import and moving a comment.

- John
--000000000000ebaffe05912eca24-- --000000000000ebb00105912eca26 Content-Type: application/x-patch; name="0001-gnu-agda-ial-Fix-install-step.patch" Content-Disposition: attachment; filename="0001-gnu-agda-ial-Fix-install-step.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzvebsy80 RnJvbSAwMGU1NDZmNjUwYjVhOTA5MDkyZTQxZmJlYjQ1NTg4MDk2YzkyYTE4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogVHVlLCAy NyBBdWcgMjAxOSAyMTo0NjoyNiAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBnbnU6IGFnZGEt aWFsOiBGaXggaW5zdGFsbCBzdGVwLgoKKiBnbnUvcGFja2FnZXMvYWdkYS5zY20gKGFnZGEtaWFs KTogY29weSBsaWJyYXJ5IGFuZCBhZ2RhaSBmaWxlcyB3aGVuIGluc3RhbGxpbmcuCi0tLQogZ251 L3BhY2thZ2VzL2FnZGEuc2NtIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCsp LCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2FnZGEuc2NtIGIvZ251 L3BhY2thZ2VzL2FnZGEuc2NtCmluZGV4IDU2ZDRiMTU5NDAuLmMwODViZmFjMmUgMTAwNjQ0Ci0t LSBhL2dudS9wYWNrYWdlcy9hZ2RhLnNjbQorKysgYi9nbnUvcGFja2FnZXMvYWdkYS5zY20KQEAg LTE5MCw3ICsxOTAsNyBAQCBBZ2RhLiAgSXQgYWxzbyBhaWRzIHRoZSBpbnB1dCBvZiBVbmljb2Rl IGNoYXJhY3RlcnMuIikpKQogICAgICAgICAgICAgICAgKGZvci1lYWNoIChsYW1iZGEgKGZpbGUp CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlIGZpbGUpCiAg ICAgICAgICAgICAgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlIGZpbGUgaW5jbHVkZSkpCi0g ICAgICAgICAgICAgICAgICAgICAgICAgKGZpbmQtZmlsZXMgIi4iICJcXC5hZ2RhJCIpKQorICAg ICAgICAgICAgICAgICAgICAgICAgIChmaW5kLWZpbGVzICIuIiAiXFwuYWdkYWk/KC1saWIpPyQi KSkKICAgICAgICAgICAgICAgICN0KSkpKSkpCiAgICAgKHN5bm9wc2lzICJUaGUgSW93YSBBZ2Rh IExpYnJhcnkiKQogICAgIChkZXNjcmlwdGlvbgotLSAKMi4yMi4wCgo= --000000000000ebb00105912eca26 Content-Type: application/x-patch; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzvebsy81 RnJvbSA1YjY5MjdhNjVkZWIwYWI4OWNiMjc2NTZjZjg0ZWVjY2Y2NTNhOTI5IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODo0MzowNyAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMi8yXSBnbnU6IEFkZCBj ZWRpbGxlLgoKKiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY206IG5ldyBmaWxlLgoqIGdudS9wYWNr YWdlcy9jZWRpbGxlLnNjbSAoY2VkaWxsZSk6IG5ldyB2YXJpYWJsZS4KKiBnbnUvbG9jYWwubWsg KGNlZGlsbGUpOiBBZGQgY2VkaWxsZS5zY20gdG8gR05VX1NZU1RFTV9NT0RVTEVTLgotLS0KIGdu dS9sb2NhbC5tayAgICAgICAgICAgICB8ICAgMiArCiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY20g fCAxMjMgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiAyIGZpbGVzIGNo YW5nZWQsIDEyNSBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ251L3BhY2thZ2Vz L2NlZGlsbGUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmlu ZGV4IGE3NTYzMTZmNzcuLjhmYjE2YTNhYjYgMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysg Yi9nbnUvbG9jYWwubWsKQEAgLTIxLDYgKzIxLDcgQEAKICMgQ29weXJpZ2h0IMKpIDIwMTggU3Rl ZmFuIFN0ZWZhbm92acSHIDxzdGVmYW54Mm92aWNAZ21haWwuY29tPgogIyBDb3B5cmlnaHQgwqkg MjAxOCBNYXhpbSBDb3Vybm95ZXIgPG1heGltLmNvdXJub3llckBnbWFpbC5jb20+CiAjIENvcHly aWdodCDCqSAyMDE5IEd1aWxsYXVtZSBMZSBWYWlsbGFudCA8Z2x2QHBvc3Rlby5uZXQ+CisjIENv cHlyaWdodCDCqSAyMDE5IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgogIwogIyBUaGlzIGZpbGUg aXMgcGFydCBvZiBHTlUgR3VpeC4KICMKQEAgLTk5LDYgKzEwMCw3IEBAIEdOVV9TWVNURU1fTU9E VUxFUyA9CQkJCVwKICAgJUQlL3BhY2thZ2VzL2NhbGN1cnNlLnNjbQkJCVwKICAgJUQlL3BhY2th Z2VzL2NjYWNoZS5zY20JCQlcCiAgICVEJS9wYWNrYWdlcy9jZHJvbS5zY20JCQlcCisgICVEJS9w YWNrYWdlcy9jZWRpbGxlLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NlcnRzLnNjbQkJCVwKICAg JUQlL3BhY2thZ2VzL2NoZWNrLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NoZW1pc3RyeS5zY20J CQlcCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2VkaWxsZS5zY20gYi9nbnUvcGFja2FnZXMv Y2VkaWxsZS5zY20KbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uZGQxZjY0 NjdkMwotLS0gL2Rldi9udWxsCisrKyBiL2dudS9wYWNrYWdlcy9jZWRpbGxlLnNjbQpAQCAtMCww ICsxLDEyMyBAQAorOzs7IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVu dCBmb3IgR05VCis7OzsgQ29weXJpZ2h0IMKpIDIwMTkgSm9obiBTb28gPGpzb28xQGFzdS5lZHU+ Cis7OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUgR3VpeC4KKzs7OworOzs7IEdOVSBH dWl4IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVkaXN0cmlidXRlIGl0IGFuZC9vciBtb2Rp ZnkgaXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNl bnNlIGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb247IGVp dGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAorOzs7IHlvdXIgb3B0aW9uKSBh bnkgbGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRo ZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJB TlRZOyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2FycmFudHkgb2YKKzs7OyBNRVJDSEFOVEFC SUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UuICBTZWUgdGhlCis7Ozsg R05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4KKzs7OworOzs7IFlv dSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBM aWNlbnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3 LmdudS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBjZWRp bGxlKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcykKKyAgIzp1c2UtbW9kdWxlIChnbnUg cGFja2FnZXMgYWdkYSkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgaGFza2VsbCkKKyAg Izp1c2UtbW9kdWxlIChndWl4IGJ1aWxkLXN5c3RlbSBlbWFjcykKKyAgIzp1c2UtbW9kdWxlIChn dWl4IGdpdC1kb3dubG9hZCkKKyAgIzp1c2UtbW9kdWxlICgoZ3VpeCBsaWNlbnNlcykgIzpwcmVm aXggbGljZW5zZTopCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBwYWNrYWdlcykpCisKKyhkZWZpbmUt cHVibGljIGNlZGlsbGUKKyAgKHBhY2thZ2UKKyAgICAobmFtZSAiY2VkaWxsZSIpCisgICAgKHZl cnNpb24gIjEuMS4xIikKKyAgICAoc291cmNlCisgICAgIChvcmlnaW4KKyAgICAgICAobWV0aG9k IGdpdC1mZXRjaCkKKyAgICAgICAodXJpIChnaXQtcmVmZXJlbmNlCisgICAgICAgICAgICAgKHVy bCAiaHR0cHM6Ly9naXRodWIuY29tL2NlZGlsbGUvY2VkaWxsZSIpCisgICAgICAgICAgICAgKGNv bW1pdCAoc3RyaW5nLWFwcGVuZCAidiIgdmVyc2lvbikpKSkKKyAgICAgICAoZmlsZS1uYW1lIChn aXQtZmlsZS1uYW1lIG5hbWUgdmVyc2lvbikpCisgICAgICAgKHNoYTI1NgorICAgICAgICAoYmFz ZTMyCisgICAgICAgICAiMDdrdjl3bmN5aXBmamY1dzRheDhoMnAzNWc3MHpiMXF3NnpjNGFmZDdj MjI1eGlhNTV3cCIpKSkpCisgICAgKGlucHV0cworICAgICBgKCgiYWdkYSIgLGFnZGEpCisgICAg ICAgKCJhZ2RhLWlhbCIgLGFnZGEtaWFsKQorICAgICAgICgiZ2hjIiAsZ2hjLTguNCkKKyAgICAg ICAoImdoYy1hbGV4IiAsZ2hjLWFsZXgpCisgICAgICAgKCJnaGMtaGFwcHkiICxnaGMtaGFwcHkp KSkKKyAgICAoYnVpbGQtc3lzdGVtIGVtYWNzLWJ1aWxkLXN5c3RlbSkKKyAgICAoYXJndW1lbnRz CisgICAgIGAoIzpwaGFzZXMKKyAgICAgICAobW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2Vz CisgICAgICAgICAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoLWNlZGlsbGUtcGF0aC1lbAorICAg ICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAg ICAgICAgICAgKGxldCAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIpKSkKKyAgICAgICAg ICAgICAgIChzdWJzdGl0dXRlKiAiY2VkaWxsZS1tb2RlLmVsIgorICAgICAgICAgICAgICAgICAo KCIvdXNyL3NoYXJlL2VtYWNzL3NpdGUtbGlzcC9jZWRpbGxlLW1vZGUiKQorICAgICAgICAgICAg ICAgICAgKHN0cmluZy1hcHBlbmQKKyAgICAgICAgICAgICAgICAgICBvdXQgIi9zaGFyZS9lbWFj cy9zaXRlLWxpc3AvZ3VpeC5kL2NlZGlsbGUtIgorICAgICAgICAgICAgICAgICAgICx2ZXJzaW9u KSkpCisgICAgICAgICAgICAgICAjdCkpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdj b3B5LWNlZGlsbGUtbW9kZQorICAgICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0cHV0cyAjOmFs bG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgKGxldCogKChvdXQgKGFzc29jLXJlZiBvdXRw dXRzICJvdXQiKSkKKyAgICAgICAgICAgICAgICAgICAgKGxpc3AKKyAgICAgICAgICAgICAgICAg ICAgIChzdHJpbmctYXBwZW5kCisgICAgICAgICAgICAgICAgICAgICAgb3V0ICIvc2hhcmUvZW1h Y3Mvc2l0ZS1saXNwL2d1aXguZC9jZWRpbGxlLSIKKyAgICAgICAgICAgICAgICAgICAgICAsdmVy c2lvbiAiLyIpKSkKKyAgICAgICAgICAgICAgIChta2Rpci1wIChzdHJpbmctYXBwZW5kIGxpc3Ag ImNlZGlsbGUtbW9kZSIpKQorICAgICAgICAgICAgICAgKGNvcHktcmVjdXJzaXZlbHkKKyAgICAg ICAgICAgICAgICAiY2VkaWxsZS1tb2RlIgorICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5k IGxpc3AgImNlZGlsbGUtbW9kZSIpKQorICAgICAgICAgICAgICAgKG1rZGlyLXAgKHN0cmluZy1h cHBlbmQgbGlzcCAic2UtbW9kZSIpKQorICAgICAgICAgICAgICAgKGNvcHktcmVjdXJzaXZlbHkK KyAgICAgICAgICAgICAgICAic2UtbW9kZSIKKyAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVu ZCBsaXNwICJzZS1tb2RlIikpCisgICAgICAgICAgICAgICAjdCkpKQorICAgICAgICAgOzsgRklY TUU6IEJ5dGUgY29tcGlsYXRpb24gZmFpbHMKKyAgICAgICAgIChkZWxldGUgJ2J1aWxkKQorICAg ICAgICAgKHJlcGxhY2UgJ2NoZWNrCisgICAgICAgICAgIChsYW1iZGEgXworICAgICAgICAgICAg ICh3aXRoLWRpcmVjdG9yeS1leGN1cnNpb24gImNlZGlsbGUtdGVzdHMiCisgICAgICAgICAgICAg ICAoaW52b2tlICJzaCIgInJ1bi10ZXN0cy5zaCIpKSkpCisgICAgICAgICAoYWRkLWFmdGVyICd1 bnBhY2sgJ3BhdGNoLWxpYnJhcmllcworICAgICAgICAgICAobGFtYmRhIF8gKHBhdGNoLXNoZWJh bmcgImNyZWF0ZS1saWJyYXJpZXMuc2giKSAjdCkpCisgICAgICAgICAoYWRkLWFmdGVyICd1bnBh Y2sgJ2NvcHktaWFsCisgICAgICAgICAgIChsYW1iZGEqICgjOmtleSBpbnB1dHMgIzphbGxvdy1v dGhlci1rZXlzKQorICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAg IChzdHJpbmctYXBwZW5kIChhc3NvYy1yZWYgaW5wdXRzICJhZ2RhLWlhbCIpCisgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICIvaW5jbHVkZS9hZ2RhL2lhbCIpCisgICAgICAgICAgICAgICJp YWwiKQorICAgICAgICAgICAgIDs7IEFtYmlndW91cyBtb2R1bGUgaWYgbWFpbiBpcyBpbmNsdWRl ZCBmcm9tIGlhbAorICAgICAgICAgICAgIChkZWxldGUtZmlsZSAiaWFsL21haW4uYWdkYSIpCisg ICAgICAgICAgICAgI3QpKQorICAgICAgICAgKGFkZC1hZnRlciAnY2hlY2sgJ2J1aWxkLWNlZGls bGUKKyAgICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgKGludm9rZSAidG91Y2giICJz cmMvVGVtcGxhdGVzLmhzIikKKyAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlICAic3Jj L1RlbXBsYXRlcy5ocyIpCisgICAgICAgICAgICAgKGludm9rZSAidG91Y2giICJzcmMvdGVtcGxh dGVzLmFnZGEiKQorICAgICAgICAgICAgIChtYWtlLWZpbGUtd3JpdGFibGUgICJzcmMvdGVtcGxh dGVzLmFnZGEiKQorICAgICAgICAgICAgIDs7IEFnZGEgaGFzIGEgaGFyZCB0aW1lIHdpdGggcGFy YWxsZWwgY29tcGlsYXRpb24KKyAgICAgICAgICAgICAoaW52b2tlICJtYWtlIiAiLS1qb2JzPTEi KSkpCisgICAgICAgICAoYWRkLWFmdGVyICdpbnN0YWxsICdpbnN0YWxsLWNlZGlsbGUKKyAgICAg ICAgICAgKGxhbWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAg ICAgICAgIChsZXQgKChvdXQgKGFzc29jLXJlZiBvdXRwdXRzICJvdXQiKSkpCisgICAgICAgICAg ICAgICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAgICJsaWIiIChzdHJpbmctYXBw ZW5kIG91dCAiL2xpYi9jZWRpbGxlIikpCisgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlICJj ZWRpbGxlIiAoc3RyaW5nLWFwcGVuZCBvdXQgIi9iaW4iKSkKKyAgICAgICAgICAgICAgIChpbnN0 YWxsLWZpbGUgImNvcmUvY2VkaWxsZS1jb3JlIgorICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAoc3RyaW5nLWFwcGVuZCBvdXQgIi9iaW4iKSkKKyAgICAgICAgICAgICAgICN0KSkpKSkpCisg ICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9jZWRpbGxlLmdpdGh1Yi5pby8iKQorICAgIChzeW5vcHNp cworICAgICAiTGFuZ3VhZ2UgYmFzZWQgb24gQ2FsY3VsdXMgb2YgRGVwZW5kZW50IExhbWJkYSBF bGltaW5hdGlvbnMiKQorICAgIChkZXNjcmlwdGlvbgorICAgICAiQ2VkaWxsZSBpcyBhbiBpbnRl cmFjdGl2ZSB0aGVvcmVtLXByb3ZlciBhbmQgZGVwZW5kZW50bHkgdHlwZWQKK3Byb2dyYW1taW5n IGxhbmd1YWdlLCBiYXNlZCBvbiBleHRyaW5zaWMgKGFrYSBDdXJyeS1zdHlsZSkgdHlwZSB0aGVv cnkuICBUaGlzCittYWtlcyBpdCByYXRoZXIgZGlmZmVyZW50IGZyb20gdHlwZSB0aGVvcmllcyBs aWtlIENvcSBhbmQgQWdkYSwgd2hpY2ggYXJlCitpbnRyaW5zaWMgKGFrYSBDaHVyY2gtc3R5bGUp LiAgSW4gQ2VkaWxsZSwgdGVybXMgYXJlIG5vdGhpbmcgbW9yZSB0aGFuCithbm5vdGF0ZWQgdmVy c2lvbnMgb2YgdGVybXMgb2YgcHVyZSB1bnR5cGVkIGxhbWJkYSBjYWxjdWx1cy4gIEluIGNvbnRy YXN0LCBpbgorQ29xIG9yIEFnZGEsIHRoZSB0eXBpbmcgYW5ub3RhdGlvbnMgYXJlIGludHJpbnNp YyBwYXJ0cyBvZiB0ZXJtcy4gIFRoZSB0eXBpbmcKK2Fubm90YXRpb25zIGNhbiBvbmx5IGJlIGVy YXNlZCBhcyBhbiBvcHRpbWl6YXRpb24gdW5kZXIgY2VydGFpbiBjb25kaXRpb25zLAorbm90IGJ5 IHZpcnR1ZSBvZiB0aGUgZGVmaW5pdGlvbiBvZiB0aGUgdHlwZSB0aGVvcnkuIikKKyAgICAobGlj ZW5zZSBsaWNlbnNlOmV4cGF0KSkpCi0tIAoyLjIyLjAKCg== --000000000000ebb00105912eca26-- From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 11:48:39 2019 Received: (at 37038-done) by debbugs.gnu.org; 28 Aug 2019 15:48:39 +0000 Received: from localhost ([127.0.0.1]:51097 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i30Ba-0008SG-6M for submit@debbugs.gnu.org; Wed, 28 Aug 2019 11:48:39 -0400 Received: from eggs.gnu.org ([209.51.188.92]:41362) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i30BV-0008Ro-V0 for 37038-done@debbugs.gnu.org; Wed, 28 Aug 2019 11:48:36 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:50858) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1i30BQ-0007Vu-It; Wed, 28 Aug 2019 11:48:28 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=47438 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1i30BP-0008WU-Ql; Wed, 28 Aug 2019 11:48:28 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: John Soo Subject: Re: [bug#37038] Amending author email References: <87tva2kznr.fsf@gnu.org> <87r255hnib.fsf@elephly.net> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 11 Fructidor an 227 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 28 Aug 2019 17:48:25 +0200 In-Reply-To: (John Soo's message of "Wed, 28 Aug 2019 06:21:27 +0000") Message-ID: <87blw9i94m.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 37038-done Cc: Ricardo Wurmus , 37038-done@debbugs.gnu.org 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: -3.3 (---) Hi, John Soo skribis: > I fixed the lint warnings from before and removed a dependency on git with > this patchset (along with the fill-paragraph magic). Perfect, I applied both after tweaking the commit log of the second patch. Apologies if I introduced a regression in agda-ial when I switched it to =E2=80=98git-fetch=E2=80=99! Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed Aug 28 13:00:11 2019 Received: (at 37038-done) by debbugs.gnu.org; 28 Aug 2019 17:00:11 +0000 Received: from localhost ([127.0.0.1]:51176 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i31Io-00024a-W0 for submit@debbugs.gnu.org; Wed, 28 Aug 2019 13:00:11 -0400 Received: from mail-ot1-f47.google.com ([209.85.210.47]:44660) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i31Im-00023S-PZ for 37038-done@debbugs.gnu.org; Wed, 28 Aug 2019 13:00:09 -0400 Received: by mail-ot1-f47.google.com with SMTP id w4so471882ote.11 for <37038-done@debbugs.gnu.org>; Wed, 28 Aug 2019 10:00:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=L0PD2f5YzOXWw/bNs3N0B5RTFvPDnkfUm+PC09ZKEdU=; b=wZID0V8Ffod3VlpkwwzoiPTtTP99jy5JwDgSg8lRjw/f9JDr/QkRYLLpeixo2ywzFq 5hJa1hQKBt5EuoaSOPUPZlvE6E4NS5f91QnIdwy2TKJuIXVdK6c/ycOJVMJ/QZGN37zt /0E6SNIHwlXZldFYsZCbzwe+5yeYocEaR1m++9Y2yMkIlp7NL1UI+3XqlLe4SEsh38aj rQGyHKyg9Vh1srWlsA90YgIJv1nCRrAXUR1usC0XrKgQKiwvQv89U0LQ9CB7018MLIqy B4naNGxyb4gPJOj5RcET0uyBVHSKD29hbyvhmoMVBDgR2qjeEenoosutUOgwbZ+U3agr Gmdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=L0PD2f5YzOXWw/bNs3N0B5RTFvPDnkfUm+PC09ZKEdU=; b=t/yYlfH16Wdh4pWE/1yNaJF6t4EokE6pUbeDm+P2gTWQVJAb6Iunt9SQhy+vbfyKo9 7RRcHQ7kG1NEhsetZET8t+2ANLtdYbEWldugvBjrG3fesM4Q4bWw8UgO7Ow1YxCPTr6S rHhSjHMRintjtC81PId0PYIOFjNEuIIFu3s+nRxPlQOzhRN+VAEfJMgtkVQsukRrBqgb ffkhrMju62XV+s37T4OQVKswgN5nas7yp6d5jEMJNRywGLwpdVW97v/aMz5DPbuRONwK 8TlfIsIhXmDSziDuqCF660T0cBslLPjFBcPPqDBi8qwi6t8ftqB/hEsKJ1neIKkZuErU 901g== X-Gm-Message-State: APjAAAVoDeK/ve/6KDyW6ci9MTA/pqtBN/BjCo6/yxlsOHABr/RKhHu9 AIHSePcaHBHNS9g8ZoOzxeeTS3K2BEk= X-Google-Smtp-Source: APXvYqx4s0Cl+6unrJX7Edl+3BGgFf3/1xDTZMcil+6IsuafV5dvqiQ61Yhd7Xr8XPT7qwHJJAASFg== X-Received: by 2002:a9d:6356:: with SMTP id y22mr3854392otk.20.1567011603074; Wed, 28 Aug 2019 10:00:03 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:f0df:80f:66a7:239e? ([2600:1700:83b0:8bd0:f0df:80f:66a7:239e]) by smtp.gmail.com with ESMTPSA id e22sm821794oii.7.2019.08.28.10.00.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 28 Aug 2019 10:00:02 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (1.0) Subject: Re: [bug#37038] Amending author email From: John Soo X-Mailer: iPhone Mail (16G77) In-Reply-To: <87blw9i94m.fsf@gnu.org> Date: Wed, 28 Aug 2019 10:00:01 -0700 Content-Transfer-Encoding: quoted-printable Message-Id: <8DCCB479-9EB7-4B40-B2DB-C6C0EE2AB053@asu.edu> References: <87tva2kznr.fsf@gnu.org> <87r255hnib.fsf@elephly.net> <87blw9i94m.fsf@gnu.org> To: =?utf-8?Q?Ludovic_Court=C3=A8s?= X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37038-done Cc: Ricardo Wurmus , 37038-done@debbugs.gnu.org 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 (-) No problem thanks so much Ludo! > On Aug 28, 2019, at 8:48 AM, Ludovic Court=C3=A8s wrote: >=20 > Hi, >=20 > John Soo skribis: >=20 >> I fixed the lint warnings from before and removed a dependency on git wit= h >> this patchset (along with the fill-paragraph magic). >=20 > Perfect, I applied both after tweaking the commit log of the second > patch. >=20 > Apologies if I introduced a regression in agda-ial when I switched it to > =E2=80=98git-fetch=E2=80=99! >=20 > Thanks, > Ludo=E2=80=99. From unknown Tue Aug 12 04:06:57 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 26 Sep 2019 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator