diff --git a/srcpkgs/pragha/update b/srcpkgs/pragha/update
new file mode 100644
index 00000000000..92e383744b1
--- /dev/null
+++ b/srcpkgs/pragha/update
@@ -0,0 +1 @@
+ignore="1.3.9*"