summaryrefslogtreecommitdiffstats
path: root/academic/coq/coq.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/coq/coq.info')
-rw-r--r--academic/coq/coq.info1
1 files changed, 0 insertions, 1 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info
index f23d0bd09c..c33d173f1e 100644
--- a/academic/coq/coq.info
+++ b/academic/coq/coq.info
@@ -7,4 +7,3 @@ DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
MAINTAINER="William Bowman"
EMAIL="wilbowma@indiana.edu"
-APPROVED="Niels Horn"