Merge pull request #618 from mohamed-barakat/AutoDoc

homalg-project · Nov 23, 2024 · b37da9f · b37da9f
2 parents 973523c + dd00cc8
commit b37da9f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/4ti2Interface/PackageInfo.g b/4ti2Interface/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "4ti2Interface",
 Subtitle := "A link to 4ti2",
-Version := "2023.02-04",
+Version := "2024.11-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 
@@ -65,7 +65,6 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [ [ "io", ">=4.2" ] ],
-  SuggestedOtherPackages := [ [ "AutoDoc", ">=2013.08.22" ]  ],
   ExternalConditions := [ [ "4ti2", "https://4ti2.github.io/" ] ],
 ),