diff --git a/.gitignore b/.gitignore
index e36bf46..cb4434d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@ _CoqProject
 Makefile.coq
 Makefile.coq.conf
 .build
+.coqdeps.d
 
 *.vo
 *.vio
diff --git a/lib/paco b/lib/paco
index 619cdbc..e033af4 160000
--- a/lib/paco
+++ b/lib/paco
@@ -1 +1 @@
-Subproject commit 619cdbc5c88bc4a5247457d9136e0bf2534123b7
+Subproject commit e033af41b56a97f8f9526ba8b9087dbb91ae3376