Version 0.9.4

oscar-system · Mar 5, 2023 · b2ab3c1 · b2ab3c1 · fingolfin · Mar 5, 2023
1 parent d0d6e53
commit b2ab3c1
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "GAP"
 uuid = "c863536a-3901-11e9-33e7-d5cd0df7b904"
 authors = ["Thomas Breuer <[email protected]>", "Sebastian Gutsche <[email protected]>", "Max Horn <[email protected]>"]
-version = "0.9.3"
+version = "0.9.4"
 
 [deps]
 Downloads = "f43a241f-c20a-4ad4-852c-f6b1247861c6"

diff --git a/gap/systemfile.g b/gap/systemfile.g
@@ -6,7 +6,7 @@
     # and such that it is available when user files get read
     # via the GAP command line.
     deps:= SHALLOW_COPY_OBJ( GAPInfo.Dependencies.NeededOtherPackages );
-    APPEND_LIST_INTR( deps, [ [ "JuliaInterface", ">=0.9.3" ] ] );
+    APPEND_LIST_INTR( deps, [ [ "JuliaInterface", ">=0.9.4" ] ] );
     GAPInfo.Dependencies:= MakeImmutable( rec( NeededOtherPackages:= deps ) );
 
     # force the --norepl option to be on

diff --git a/pkg/JuliaExperimental/PackageInfo.g b/pkg/JuliaExperimental/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "JuliaExperimental",
 Subtitle := "Experimental code for the GAP Julia integration",
-Version := "0.9.3",
-Date := "05/02/2023", # dd/mm/yyyy format
+Version := "0.9.4",
+Date := "04/03/2023", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -81,7 +81,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.11",
   NeededOtherPackages := [ ],
-  OtherPackagesLoadedInAdvance := [ [ "JuliaInterface", ">=0.9.3" ] ], 
+  OtherPackagesLoadedInAdvance := [ [ "JuliaInterface", ">=0.9.4" ] ], 
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
 ),

diff --git a/pkg/JuliaInterface/PackageInfo.g b/pkg/JuliaInterface/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "JuliaInterface",
 Subtitle := "Interface to Julia",
-Version := "0.9.3",
-Date := "05/02/2023", # dd/mm/yyyy format
+Version := "0.9.4",
+Date := "04/03/2023", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [