diff --git a/srcpkgs/ProofGeneral/update b/srcpkgs/ProofGeneral/update
new file mode 100644
index 0000000000..8758aff9cb
--- /dev/null
+++ b/srcpkgs/ProofGeneral/update
@@ -0,0 +1 @@
+ignore="*pre*"