From 9a03c9ed2917f908e3101553fc44f88aa16f6415 Mon Sep 17 00:00:00 2001
From: Michael Cho <cho-m@tuta.io>
Date: Fri, 27 May 2022 10:55:44 -0700
Subject: [PATCH] flat_namespace_allowlist: remove `coq`

---
 audit_exceptions/flat_namespace_allowlist.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/audit_exceptions/flat_namespace_allowlist.json b/audit_exceptions/flat_namespace_allowlist.json
index e446c2a9bd1..9642df9c42d 100644
--- a/audit_exceptions/flat_namespace_allowlist.json
+++ b/audit_exceptions/flat_namespace_allowlist.json
@@ -3,7 +3,6 @@
   "arpack",
   "bind",
   "blast",
-  "coq",
   "e2fsprogs",
   "gnuradio",
   "hdf5-mpi",