diff --git a/C/CapAndHomalg/Versions.toml b/C/CapAndHomalg/Versions.toml index 2279e7579f6bed0..04acf688bf9c140 100644 --- a/C/CapAndHomalg/Versions.toml +++ b/C/CapAndHomalg/Versions.toml @@ -45,3 +45,6 @@ git-tree-sha1 = "b9a5e0118fdfa180097e6c7442926e9422260d5e" ["1.2.1"] git-tree-sha1 = "7d9a9a44ac35f9731a927bfec017bc55069d5090" + +["1.3.0"] +git-tree-sha1 = "7bcf0f525b677be6a1c5c1295fbaa35e7fe99532"