diff --git a/.gitignore b/.gitignore
index a2c795656831b2dc75c0b2a1c8feac6d06200d20..3816b70dd8be0daa1a87c0c253e9b0764bd7c69c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,5 @@ Makefile.coq.conf
 .coqdeps.d
 _opam
 *.crashcoqide
+*.vok
+*.vos