The "coq" package depends on X11
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
coq (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
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://
Thanks.
ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: coq 8.4pl3dfsg-1
ProcVersionSign
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)