From 8dfab4fe56b5c210719bd3d8e0e885bc1b859acd Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Fri, 19 Apr 2024 20:26:21 +0000
Subject: [PATCH] New version: DynamicPPL v0.25.1

UUID: 366bfd00-2699-11ea-058f-f148b4cae6d8
Repo: https://github.com/TuringLang/DynamicPPL.jl.git
Tree: 7ac167090861bb7474519709e02568eb14f21a70

Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
---
 D/DynamicPPL/Versions.toml | 3 +++
 1 file changed, 3 insertions(+)

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"