Skip to content

Commit 2ffa65a

Browse files
OtherPackagesLoadedInAdvance := [ [ "io", ">=4.2" ] ]
Closes #329
1 parent ef0d29b commit 2ffa65a

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

4ti2Interface/PackageInfo.g

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ Version := Maximum( [
99
## this line prevents merge conflicts
1010
"2018.07.06", ## Kamal's version
1111
## this line prevents merge conflicts
12-
"2020.04.26", ## Mohamed's version
12+
"2020.05.04", ## Mohamed's version
1313
] ),
1414

1515
Date := ~.Version{[ 1 .. 10 ]},
@@ -66,6 +66,7 @@ Dependencies := rec(
6666
GAP := ">=4.7",
6767
NeededOtherPackages := [ [ "io", ">=4.2" ] ],
6868
SuggestedOtherPackages := [ [ "AutoDoc", ">=2013.08.22" ] ],
69+
OtherPackagesLoadedInAdvance := [ [ "io", ">=4.2" ] ],
6970
ExternalConditions := []
7071

7172
),

0 commit comments

Comments
 (0)