diff --git a/C/CapAndHomalg/Versions.toml b/C/CapAndHomalg/Versions.toml index c3f35bfc22a32fe..3ebc930784b1964 100644 --- a/C/CapAndHomalg/Versions.toml +++ b/C/CapAndHomalg/Versions.toml @@ -120,3 +120,6 @@ git-tree-sha1 = "df2e05accd048f95d0b803b5a4c9d309133a4f6d" ["1.5.2"] git-tree-sha1 = "c9b196e457cdc28cde46db46d39d6e79fdd38601" + +["1.5.3"] +git-tree-sha1 = "010ee4363673988810bfce54209b30193a2360cc"