Coq installs older OCaml

oot@titan:~/jrelisp-abcl# apt-get install coq
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following packages were automatically installed and are no longer required:
  libjdependency-java libjetty8-java libplexus-digest-java
  libwerken.xpath-java
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
  coq-theories coqide libcoq-ocaml libgtkspell0 liblablgtk2-ocaml
  ocaml-base-nox
Suggested packages:
  ocaml-nox proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc
The following NEW packages will be installed:
  coq coq-theories coqide libcoq-ocaml libgtkspell0 liblablgtk2-ocaml
  ocaml-base-nox
0 upgraded, 7 newly installed, 0 to remove and 299 not upgraded.
Need to get 39.5 MB of archives.
After this operation, 193 MB of additional disk space will be used.
Do you want to continue? [Y/n] y
Get:1 http://us.archive.ubuntu.com/ubuntu/ trusty/universe coq-theories all 8.4pl3dfsg-1 [32.0 MB]
Get:2 http://us.archive.ubuntu.com/ubuntu/ trusty/main ocaml-base-nox amd64 4.01.0-3ubuntu3 [445 kB]
Get:3 http://us.archive.ubuntu.com/ubuntu/ trusty/main libgtkspell0 amd64 2.0.16-1ubuntu7 [11.0 kB]
Get:4 http://us.archive.ubuntu.com/ubuntu/ trusty/universe liblablgtk2-ocaml amd64 2.16.0+dfsg-1 [752 kB]
Get:5 http://us.archive.ubuntu.com/ubuntu/ trusty/universe libcoq-ocaml amd64 8.4pl3dfsg-1 [1,585 kB]
Get:6 http://us.archive.ubuntu.com/ubuntu/ trusty/universe coq amd64 8.4pl3dfsg-1 [4,040 kB]
Get:7 http://us.archive.ubuntu.com/ubuntu/ trusty/universe coqide amd64 8.4pl3dfsg-1 [745 kB]
Fetched 39.5 MB in 6s (6,116 kB/s)
Selecting previously unselected package coq-theories.
(Reading database ... 406485 files and directories currently installed.)
Preparing to unpack .../coq-theories_8.4pl3dfsg-1_all.deb ...
Unpacking coq-theories (8.4pl3dfsg-1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.01.0-3ubuntu3_amd64.deb ...
Unpacking ocaml-base-nox (4.01.0-3ubuntu3) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../libgtkspell0_2.0.16-1ubuntu7_amd64.deb ...
Unpacking libgtkspell0 (2.0.16-1ubuntu7) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../liblablgtk2-ocaml_2.16.0+dfsg-1_amd64.deb ...
Unpacking liblablgtk2-ocaml (2.16.0+dfsg-1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../libcoq-ocaml_8.4pl3dfsg-1_amd64.deb ...
Unpacking libcoq-ocaml (8.4pl3dfsg-1) ...
Selecting previously unselected package coq.
Preparing to unpack .../coq_8.4pl3dfsg-1_amd64.deb ...
ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.
Unpacking coq (8.4pl3dfsg-1) ...
Selecting previously unselected package coqide.
Preparing to unpack .../coqide_8.4pl3dfsg-1_amd64.deb ...
Unpacking coqide (8.4pl3dfsg-1) ...
Processing triggers for doc-base (0.10.5) ...
Processing 1 added doc-base file...
Processing triggers for man-db (2.6.7.1-1ubuntu1) ...
Processing triggers for menu (2.1.46ubuntu1) ...
Processing triggers for mime-support (3.54ubuntu1.1) ...
Processing triggers for gnome-menus (3.10.1-0ubuntu2) ...
Processing triggers for desktop-file-utils (0.22-1ubuntu1) ...
Processing triggers for bamfdaemon (0.5.1+14.04.20140409-0ubuntu1) ...
Rebuilding /usr/share/applications/bamf-2.index...
Setting up ocaml-base-nox (4.01.0-3ubuntu3) ...
Setting up libgtkspell0 (2.0.16-1ubuntu7) ...
Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ...
Setting up libcoq-ocaml (8.4pl3dfsg-1) ...
Setting up coq-theories (8.4pl3dfsg-1) ...
Setting up coq (8.4pl3dfsg-1) ...
ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.
Install emacsen-common for emacs24
emacsen-common: Handling install of emacsen flavor emacs24
Wrote /etc/emacs24/site-start.d/00debian-vars.elc
Wrote /usr/share/emacs24/site-lisp/debian-startup.elc
Install emacsen-common for xemacs21
emacsen-common: Handling install of emacsen flavor xemacs21
Loading /usr/share/emacs/site-lisp/debian-startup...
Loading 00debian...
Loading site-start...
Loading 00debian-vars...
Loading 20apel...
Loading 50autoconf...
Loading 50ciao-mode-init...
Loading /usr/lib/ciao/ciao-1.15/ciao-site-file.el...
Loading 50cmake-data...
Loading 50coq...
Loading 50dictionaries-common...
Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el...
Error while loading 50dictionaries-common: Symbol's value as variable is void: debian-aspell-only-dictionary-alist
Loading 50emacs-window-layout...
Loading 50emacspeak...
Loading 50flim...
Loading 50prolog-el...
Loading 50psvn...
Loading 50python-docutils...
Loading 50slime...
Loading /usr/share/emacs/site-lisp/slime/slime-autoloads.el...
Loading 50w3m-el...
Compiling /etc/xemacs21/site-start.d/00debian-vars.el...
Wrote /etc/xemacs21/site-start.d/00debian-vars.elc
Compiling /usr/share/xemacs21/site-lisp/debian-startup.el...
Wrote /usr/share/xemacs21/site-lisp/debian-startup.elc
Done
Install coq for emacs
Install coq for emacs24
install/coq: Handling install for emacsen flavor emacs24
Loading 00debian-vars...
Loading /etc/emacs/site-start.d/20apel.el (source)...
Loading /etc/emacs/site-start.d/50autoconf.el (source)...
Loading /etc/emacs/site-start.d/50ciao-mode-init.el (source)...
Loading /usr/lib/ciao/ciao-1.15/ciao-site-file.el (source)...
Loading info...
Loading /etc/emacs/site-start.d/50cmake-data.el (source)...
Loading /etc/emacs/site-start.d/50coq.el (source)...
Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)...
Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el (source)...
Error while loading 50dictionaries-common: Symbol's value as variable is void: debian-aspell-only-dictionary-alist
Loading /etc/emacs/site-start.d/50emacs-window-layout.el (source)...
Loading /etc/emacs/site-start.d/50emacspeak.el (source)...
Loading /etc/emacs/site-start.d/50flim.el (source)...
Loading /etc/emacs/site-start.d/50prolog-el.el (source)...
Loading /etc/emacs24/site-start.d/50psgml-init.el (source)...
Loading /etc/emacs/site-start.d/50psvn.el (source)...
Loading /etc/emacs/site-start.d/50python-docutils.el (source)...
Loading /etc/emacs/site-start.d/50slime.el (source)...
Loading /usr/share/emacs24/site-lisp/slime/slime-autoloads.elc...
Loading /etc/emacs/site-start.d/50w3m-el.el (source)...

In coq-sort-menu-entries:
coq-db.el:164:31:Warning: (lambda (x y) ...) quoted with ' rather than with #'
Wrote /usr/share/emacs24/site-lisp/coq/coq-db.elc
Wrote /usr/share/emacs24/site-lisp/coq/coq-font-lock.elc
Wrote /usr/share/emacs24/site-lisp/coq/coq-inferior.elc
Wrote /usr/share/emacs24/site-lisp/coq/coq-syntax.elc
Wrote /usr/share/emacs24/site-lisp/coq/coq.elc
Install coq for xemacs21
install/coq: Handling install for emacsen flavor xemacs21
Loading /usr/share/emacs/site-lisp/debian-startup...
Loading 00debian...
Loading site-start...
Loading 00debian-vars...
Loading 20apel...
Loading 50autoconf...
Loading 50ciao-mode-init...
Loading /usr/lib/ciao/ciao-1.15/ciao-site-file.el...
Loading 50cmake-data...
Loading 50coq...
Loading 50dictionaries-common...
Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el...
Error while loading 50dictionaries-common: Symbol's value as variable is void: debian-aspell-only-dictionary-alist
Loading 50emacs-window-layout...
Loading 50emacspeak...
Loading 50flim...
Loading 50prolog-el...
Loading 50psvn...
Loading 50python-docutils...
Loading 50slime...
Loading /usr/share/emacs/site-lisp/slime/slime-autoloads.el...
Loading 50w3m-el...
Compiling /usr/share/xemacs21/site-lisp/coq/coq-db.el...
Wrote /usr/share/xemacs21/site-lisp/coq/coq-db.elc
Compiling /usr/share/xemacs21/site-lisp/coq/coq-font-lock.el...
Wrote /usr/share/xemacs21/site-lisp/coq/coq-font-lock.elc
Compiling /usr/share/xemacs21/site-lisp/coq/coq-inferior.el...
Wrote /usr/share/xemacs21/site-lisp/coq/coq-inferior.elc
Compiling /usr/share/xemacs21/site-lisp/coq/coq-syntax.el...
Wrote /usr/share/xemacs21/site-lisp/coq/coq-syntax.elc
Compiling /usr/share/xemacs21/site-lisp/coq/coq.el...
Wrote /usr/share/xemacs21/site-lisp/coq/coq.elc
Done
Setting up coqide (8.4pl3dfsg-1) ...
Processing triggers for libc-bin (2.19-0ubuntu6.6) ...
Processing triggers for menu (2.1.46ubuntu1) ...
root@titan:~/jrelisp-abcl#