The "coq" package depends on X11

[Guillaume Claret]

The "coq" depends on X11. Since there is a specific "coqide" package, I was expecting "coq" to be independent of a graphical interface.
This bug seems of minor importance since Coq is not supposed to be used on a server environment. But I actually use Coq a lot inside containers with Docker to do development, and having small dependencies is critical to keep images small.
Here is the dependency graph of "coq": http://guillaume.claret.me/tmp/coq-ubuntu.png

Thanks.

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: coq 8.4pl3dfsg-1
ProcVersionSignature: Ubuntu 3.13.0-32.57-generic 3.13.11.4
Uname: Linux 3.13.0-32-generic x86_64
ApportVersion: 2.14.1-0ubuntu3.2
Architecture: amd64
CurrentDesktop: Unity
Date: Mon Jul 28 15:22:08 2014
InstallationDate: Installed on 2014-05-30 (58 days ago)
InstallationMedia: Ubuntu 14.04 LTS "Trusty Tahr" - Release amd64 (20140417)
SourcePackage: coq
UpgradeStatus: No upgrade log present (probably fresh install)