diff --git a/P/ProxAL/Versions.toml b/P/ProxAL/Versions.toml
index 062f37f0b21f11b..e3a6a8299ce25b5 100644
--- a/P/ProxAL/Versions.toml
+++ b/P/ProxAL/Versions.toml
@@ -9,3 +9,6 @@ git-tree-sha1 = "baf027eb642703470bb0c4d280885d11835fcd13"
 
 ["0.5.0"]
 git-tree-sha1 = "02fd326091017deef488e004b2dc54fd23ef7ae9"
+
+["0.5.1"]
+git-tree-sha1 = "ac840f2bca97d071aad81ec17d5b06a77b2050e7"