The Coq mailing list

[Kevin Sullivan <sullivan.kevinj AT gmail.com>]

PLEASE IGNORE PREVIOUS MESSAGE. Wrong VM was selected. Sorry for the noise. --Kevin

On Thu, May 22, 2014 at 1:52 PM, Kevin Sullivan <sullivan.kevinj AT gmail.com> wrote:

I could spend all day doing systems hacking, but please forgive me if I just ask here first. I'm trying this shortcut not only for myself, but because I'm sure that this situation will frustrate my students if/when they try to do the same thing.  

To install coq and coqide on linux, I followed the instructions here, http://coq.inria.fr/cocorico/Installation%20of%20Coq%20on%20Linux, namely 

sudo apt-get install coq coqide

 

The machine on which I'm installing is an almost fresh Ubuntu 14.04 LTS VM. I have installed OCaml, following the directions on the OCaml site: first install package manager, then install a bunch of additional programs and resources. Here's what I get when I now try to install Coq:

"Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation:

The following packages have unmet dependencies:

 coq : Depends: libcoq-ocaml-k3dy8

       Depends: ocaml-base-nox-3.12.1

 coqide : Depends: libcoq-ocaml-k3dy8

          Depends: liblablgtk2-ocaml-yfv67

          Depends: ocaml-base-nox-3.12.1

Best, 

Kevin