The "coq" package depends on X11

Bug #1349422 reported by Guillaume Claret
This bug affects 1 person
Affects Status Importance Assigned to Milestone
coq (Ubuntu)

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":


ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: coq 8.4pl3dfsg-1
ProcVersionSignature: Ubuntu 3.13.0-32.57-generic
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)

Revision history for this message
Guillaume Claret (x-dev-u) wrote :
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers