diff --git a/D/DynamicPPL/Versions.toml b/D/DynamicPPL/Versions.toml index 2997d93f7165c8d..35fe7ff12a7f970 100644 --- a/D/DynamicPPL/Versions.toml +++ b/D/DynamicPPL/Versions.toml @@ -393,3 +393,6 @@ git-tree-sha1 = "839b5a5257047c2fe47946e84a706e37d9cfee27" ["0.25.0"] git-tree-sha1 = "6a423f7b0b422509e728d1705b2779c48b74da2c" + +["0.25.1"] +git-tree-sha1 = "7ac167090861bb7474519709e02568eb14f21a70"