Skip to content

Commit 6e52c91

Browse files
committed
Turn polymaking into a needed depdency
There is no harm done: GAP ships with it, and it does not actually require polymake to be installed.
1 parent 594ec63 commit 6e52c91

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

PackageInfo.g

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,14 +72,14 @@ SetPackageInfo( rec(
7272
[ "aclib", ">=1.1" ],
7373
[ "nq", ">=1.1" ],
7474
[ "SmallGrp", ">=1.1" ],
75+
[ "Polymaking", ">=0.8.4"],
7576
],
7677
SuggestedOtherPackages := [
7778
[ "homology", ">=0.0" ],
7879
[ "edim", ">=1.2.2" ],
7980
[ "singular", ">=06.07.23" ],
8081
[ "congruence", ">=0,0" ],
8182
[ "HAPcryst", ">=0.1.0" ],
82-
[ "Polymaking", ">=0.8.4"],
8383
[ "xmod", ">0.0" ],
8484
[ "laguna", ">0.0"]
8585
],

0 commit comments

Comments
 (0)