--- doc/intro.xml.orig 2020-02-02 05:09:45.000000000 -0700
+++ doc/intro.xml 2020-02-02 08:48:00.624233367 -0700
@@ -81,7 +81,7 @@ The following ⪆ packages are require
The following ⪆ packages are not required but highly recommended:
<List>
-<Item><Package>carat</Package></Item>
+<Item><Package>CaratInterface</Package></Item>
<Item><Package>CrystCat</Package></Item>
<Item><Package>GAPDoc</Package> is needed to display the online manual</Item>
</List>
--- PackageInfo.g.orig 2020-02-02 08:48:00.625233365 -0700
+++ PackageInfo.g 2020-02-02 08:48:50.373123965 -0700
@@ -74,7 +74,7 @@ Dependencies := rec(
["polymaking",">=0.7.9"],
],
SuggestedOtherPackages := [
- [ "Carat", ">=1.1" ],
+ [ "CaratInterface", ">=1.1" ],
["CrystCat",">=1.1.2"],
["GAPDoc", ">= 0.99"]
],