diff --git a/C/CUDD/Versions.toml b/C/CUDD/Versions.toml
index 0944665f215a74b..dc75618bff79e9e 100644
--- a/C/CUDD/Versions.toml
+++ b/C/CUDD/Versions.toml
@@ -15,3 +15,6 @@ git-tree-sha1 = "5d53ccd26bc93a618d4c1114c337b10edb0d9a25"
 
 ["0.3.0"]
 git-tree-sha1 = "df3504dc82a03ab9f7569561938452a467db4de7"
+
+["0.3.1"]
+git-tree-sha1 = "c6808045d6b189854e33a7f5754737dcf8e73eff"