diff --git a/.gitignore b/.gitignore
index 5cd9667..d2de305 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ target
 com.io7m.calino.specification/src/main/coq/html
 .jqwik-database
 dependency-reduced-pom.xml
+pom.xml.versionsBackup