download patch

commit eb900c650c8eb1f77e8c9581457648c1c1bce5e6
Author: John MacFarlane <jgm@berkeley.edu>
Date:   Mon Jan 2 16:39:15 2023 -0800

    Fix URL in rockspec.in.

diff --git a/rockspec.in b/rockspec.in
index 39478fc..00f2dd9 100644
--- a/rockspec.in
+++ b/rockspec.in
@@ -2,7 +2,7 @@ rockspec_format = "3.0"
 package = "djot"
 version = "_VERSION-_REVISION"
 source = {
-    url = "git+https://github.com/jgm/djot",
+    url = "git+https://github.com/jgm/djot.lua",
     tag = "_VERSION"
 }
 description = {
@@ -11,9 +11,9 @@ description = {
      Djot is a light markup format and a library and program
      that parses it.
    ]],
-   homepage = "https://github.com/jgm/djot",
+   homepage = "https://github.com/jgm/djot.lua",
    license = "MIT",
-   issues_url = "https://github.com/jgm/djot/issues",
+   issues_url = "https://github.com/jgm/djot.lua/issues",
    maintainer = "John MacFarlane <jgm@berkeley.edu>"
 }
 dependencies = {