From b031f545ea23a800821c85c26a45e362a02f0c03 Mon Sep 17 00:00:00 2001
From: Michael Young <mct25@st-andrews.ac.uk>
Date: Fri, 30 Aug 2024 17:24:09 +0100
Subject: [PATCH] Rename Julia file

---
 PackageInfo.g               | 2 +-
 gap/{Download.g => Julia.g} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename gap/{Download.g => Julia.g} (100%)

diff --git a/PackageInfo.g b/PackageInfo.g
index b885076..70cc5d3 100644
--- 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 b/gap/Julia.g
similarity index 100%
rename from gap/Download.g
rename to gap/Julia.g