diff --git a/C/CapAndHomalg/Versions.toml b/C/CapAndHomalg/Versions.toml index 7a8ccb52d5848da..c3f35bfc22a32fe 100644 --- a/C/CapAndHomalg/Versions.toml +++ b/C/CapAndHomalg/Versions.toml @@ -117,3 +117,6 @@ git-tree-sha1 = "f0c0f5f21e02b1a7c102101e21835ee7a5562cc4" ["1.5.1"] git-tree-sha1 = "df2e05accd048f95d0b803b5a4c9d309133a4f6d" + +["1.5.2"] +git-tree-sha1 = "c9b196e457cdc28cde46db46d39d6e79fdd38601"