Rename Julia file

gap-packages · Aug 30, 2024 · b031f54 · b031f54
1 parent 7883d3a
commit b031f54
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -90,7 +90,7 @@ Dependencies := rec(
 
 Extensions := [
     rec( needed := [ [ "JuliaInterface", ">= 0.9.3" ] ],
-         filename := "gap/Download.g" ),
+         filename := "gap/Julia.g" ),
 ],
 
 AvailabilityTest := function()

diff --git a/gap/Download.g → gap/Julia.g b/gap/Download.g → gap/Julia.g