From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:43518) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1hyIJH-0005KD-CM for guix-patches@gnu.org; Thu, 15 Aug 2019 12:09:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hyIJC-0006vs-6X for guix-patches@gnu.org; Thu, 15 Aug 2019 12:09:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:43501) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hyIJC-0006vg-2i for guix-patches@gnu.org; Thu, 15 Aug 2019 12:09:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hyIJB-0002Lt-TK for guix-patches@gnu.org; Thu, 15 Aug 2019 12:09:01 -0400 Subject: [bug#37038] [PATCH] Add Cedille. Resent-Message-ID: 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 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) MIME-Version: 1.0 From: John Soo Date: Thu, 15 Aug 2019 16:07:49 +0000 Message-ID: Content-Type: multipart/mixed; boundary="000000000000f304f005902a1318" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:37520) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1hySke-00015d-1k for guix-patches@gnu.org; Thu, 15 Aug 2019 23:18:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hySkc-0002Os-6l for guix-patches@gnu.org; Thu, 15 Aug 2019 23:18:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44043) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hySkb-0002Oe-S6 for guix-patches@gnu.org; Thu, 15 Aug 2019 23:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hySkb-0001EW-LJ for guix-patches@gnu.org; Thu, 15 Aug 2019 23:18:01 -0400 Subject: [bug#37038] Amending author email References: In-Reply-To: Resent-Message-ID: MIME-Version: 1.0 From: John Soo Date: Fri, 16 Aug 2019 03:16:51 +0000 Message-ID: Content-Type: multipart/mixed; boundary="000000000000d1f3c10590336cf1" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:43822) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2k1U-0002qh-9c for guix-patches@gnu.org; Tue, 27 Aug 2019 18:33:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2k1R-0008R4-2j for guix-patches@gnu.org; Tue, 27 Aug 2019 18:33:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40750) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2k1O-0008QN-Ax for guix-patches@gnu.org; Tue, 27 Aug 2019 18:33:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2k1O-00037o-5q for guix-patches@gnu.org; Tue, 27 Aug 2019 18:33:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= 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> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: John Soo Cc: 37038@debbugs.gnu.org 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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:32814) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2q9m-0005Y7-Ua for guix-patches@gnu.org; Wed, 28 Aug 2019 01:06:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2q9j-0001Kd-5k for guix-patches@gnu.org; Wed, 28 Aug 2019 01:06:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40899) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2q9i-0001K2-HS for guix-patches@gnu.org; Wed, 28 Aug 2019 01:06:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2q9i-0004md-Bd for guix-patches@gnu.org; Wed, 28 Aug 2019 01:06:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: 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: Content-Type: multipart/alternative; boundary="0000000000009920980591265610" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:33377) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2qFY-00062u-A8 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2qFW-0005CV-F3 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40904) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2qFW-0005CK-B8 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2qFW-00052X-5H for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: 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: Content-Type: multipart/mixed; boundary="000000000000a79a890591266c9c" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:33980) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2qLK-0007nW-W4 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:18:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2qLJ-0001C4-US for guix-patches@gnu.org; Wed, 28 Aug 2019 01:18:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40908) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2qLJ-0001Bv-S3 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:18:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2qLJ-0005Bi-MO for guix-patches@gnu.org; Wed, 28 Aug 2019 01:18:01 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: 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: Content-Type: multipart/alternative; boundary="000000000000913ed80591268257" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:34803) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2qR9-0008Me-Ab for guix-patches@gnu.org; Wed, 28 Aug 2019 01:24:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2qR8-00051t-Dx for guix-patches@gnu.org; Wed, 28 Aug 2019 01:24:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40922) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2qR8-00051i-BT for guix-patches@gnu.org; Wed, 28 Aug 2019 01:24:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2qR8-0005LE-4s for guix-patches@gnu.org; Wed, 28 Aug 2019 01:24:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: References: <87tva2kznr.fsf@gnu.org> From: Ricardo Wurmus In-reply-to: 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 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: John Soo Cc: 37038@debbugs.gnu.org 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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:41069) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2rLJ-0000bv-L7 for guix-patches@gnu.org; Wed, 28 Aug 2019 02:22:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2rLG-0001cT-LJ for guix-patches@gnu.org; Wed, 28 Aug 2019 02:22:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40935) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2rLG-0001cH-Hq for guix-patches@gnu.org; Wed, 28 Aug 2019 02:22:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2rLG-0006wa-C2 for guix-patches@gnu.org; Wed, 28 Aug 2019 02:22:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: 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: Content-Type: multipart/mixed; boundary="000000000000d762120591276623" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ricardo Wurmus Cc: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:39047) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2zbD-000428-NY for guix-patches@gnu.org; Wed, 28 Aug 2019 11:11:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2zbC-0001SO-Ny for guix-patches@gnu.org; Wed, 28 Aug 2019 11:11:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42231) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2zbC-0001S4-KQ for guix-patches@gnu.org; Wed, 28 Aug 2019 11:11:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2zbC-0007Y8-F7 for guix-patches@gnu.org; Wed, 28 Aug 2019 11:11:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: 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: Content-Type: multipart/mixed; boundary="000000000000ebb00105912eca26" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ricardo Wurmus Cc: 37038@debbugs.gnu.org --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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:49999) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i30C4-0008FO-3P for guix-patches@gnu.org; Wed, 28 Aug 2019 11:49:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i30C2-0007iF-4Z for guix-patches@gnu.org; Wed, 28 Aug 2019 11:49:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42281) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i30C0-0007hk-Vn for guix-patches@gnu.org; Wed, 28 Aug 2019 11:49:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i30C0-0008TN-Si for guix-patches@gnu.org; Wed, 28 Aug 2019 11:49:04 -0400 Subject: bug#37038: Amending author email Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87tva2kznr.fsf@gnu.org> <87r255hnib.fsf@elephly.net> 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> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: John Soo Cc: 37038-done@debbugs.gnu.org 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 mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:44500) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i31Jg-0007zp-Hi for guix-patches@gnu.org; Wed, 28 Aug 2019 13:01:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i31Jf-0006Dc-Hy for guix-patches@gnu.org; Wed, 28 Aug 2019 13:01:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42355) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i31Jf-0006DT-E6 for guix-patches@gnu.org; Wed, 28 Aug 2019 13:01:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i31Je-00025u-AO for guix-patches@gnu.org; Wed, 28 Aug 2019 13:01:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (1.0) From: John Soo 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> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37038-done@debbugs.gnu.org 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.