diff --git a/C/CapAndHomalg/Compat.toml b/C/CapAndHomalg/Compat.toml index 99c72bb3eac067f..cdb3b34f2abf15b 100644 --- a/C/CapAndHomalg/Compat.toml +++ b/C/CapAndHomalg/Compat.toml @@ -16,5 +16,8 @@ julia = "1.6.0-1" ["1.2-1.3"] GAP = "0.7" -["1.4-1"] +["1.4-1.4.12"] GAP = "0.7-0.8" + +["1.4.13-1"] +GAP = ["0.7-0.8", "0.9.3-0.9"] diff --git a/C/CapAndHomalg/Versions.toml b/C/CapAndHomalg/Versions.toml index 541287fe395034a..16712e0f61af555 100644 --- a/C/CapAndHomalg/Versions.toml +++ b/C/CapAndHomalg/Versions.toml @@ -102,3 +102,6 @@ git-tree-sha1 = "44983e1659a14948ae84d1d5860052619ae2f3b2" ["1.4.12"] git-tree-sha1 = "c74b1640cbbd3385f118cfff7c132608a189f701" + +["1.4.13"] +git-tree-sha1 = "6fb08b8ef1f82c9943388939a086e12c87e867c5"