flat_namespace_allowlist: remove `coq`

master
Michael Cho 2022-05-27 10:55:44 -07:00 committed by BrewTestBot
parent 62cc1aeeb2
commit 9a03c9ed29
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 0 additions and 1 deletions

View File

@ -3,7 +3,6 @@
"arpack",
"bind",
"blast",
"coq",
"e2fsprogs",
"gnuradio",
"hdf5-mpi",