From a21f471eda596527d41028cf2a4e3ccb89b0d43b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 11 Aug 2022 16:05:24 -0400
Subject: [PATCH] .gitignore for packages

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index b6e84eae..847c638f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@
 .coq-native/
 Makefile.coq
 Makefile.coq.conf
+_CoqProject.*
+Makefile.package.*
+.Makefile.package.*
 *.crashcoqide
 html/
 builddep/
-- 
GitLab