camlp4-extra depends on non existant packages
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| ocaml (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
Bug Description
When i try to install camlp4-extra, I get the following error
> > sudo apt-get install camlp4-extra
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> 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:
> camlp4-extra : Depends: ocaml-nox-3.12.1
> Depends: camlp4-3.12.1
> E: Unable to correct problems, you have held broken packages.
However, neither of these packages are available. In fact, I already do have ocaml-nox and camlp4 installed.
> > dpkg -s ocaml-nox
> Package: ocaml-nox
> Status: install ok installed
> Priority: optional
> Section: ocaml
> Installed-Size: 25711
> Maintainer: Debian OCaml Maintainers <email address hidden>
> Architecture: amd64
> Source: ocaml
> Version: 4.01.0-1ppa4~raring
> Replaces: ocaml-interp (<< 3.11.1-3)
> Provides: libnums-ocaml-dev, ocaml-nox-4.01.0
> Depends: ocaml-base-nox, libc6 (>= 2.15), libtinfo5, zlib1g (>= 1:1.2.0), ocaml-base-
> Recommends: camlp4, file
> Suggests: ocaml-doc, tuareg-mode | ocaml-mode
> Breaks: camlidl (<< 1.04), camlp4 (<< 3.10.0), dh-ocaml (<< 1.0.0), ocaml-interp (<< 3.11.1-3)
> Description: ML implementation with a class-based object system (no X)
> Objective Caml (OCaml) is an implementation of the ML language, based on
> the Caml Light dialect extended with a complete class-based object system
> and a powerful module system in the style of Standard ML.
> .
> OCaml comprises two compilers. One generates bytecode
> which is then interpreted by a C program. This compiler runs quickly,
> generates compact code with moderate memory requirements, and is
> portable to essentially any 32 or 64 bit Unix platform. Performance of
> generated programs is quite good for a bytecoded implementation:
> almost twice as fast as Caml Light 0.7. This compiler can be used
> either as a standalone, batch-oriented compiler that produces
> standalone programs, or as an interactive, toplevel-based system.
> .
> The other compiler generates high-performance native code for a number
> of processors. Compilation takes longer and generates bigger code, but
> the generated programs deliver excellent performance, while retaining
> the moderate memory requirements of the bytecode compiler. It is not
> available on all arches though.
> .
> This package contains everything needed to develop OCaml applications
> that do not require the graphics library.
> Homepage: http://
> > dpkg -s camlp4
> Package: camlp4
> Status: install ok installed
> Priority: optional
> Section: ocaml
> Installed-Size: 70556
> Maintainer: Debian OCaml Maintainers <email address hidden>
> Architecture: amd64
> Source: ocaml
> Version: 4.01.0-1ppa4~raring
> Provides: camlp4-4.01.0
> Depends: libc6 (>= 2.15), ocaml-nox-4.01.0
> Description: Pre Processor Pretty Printer for OCaml
> Objective Caml (OCaml) is an implementation of the ML language,
> based on the Caml Light dialect extended with a complete
> class-based object system and a powerful module system in the
> style of Standard ML.
> .
> CamlP4 is a Pre-Processor-
> offers tools for syntax (Stream Parsers and Grammars) and the
> ability to modify the concrete syntax of the language
> (Quotations, Syntax Extensions).
> .
> This package contains the basic CamlP4 executables and libraries
> for pre-processing and pretty-printing OCaml sources both
> interactively and in a batch fashion.
> Homepage: http://
| Eli Frey (eli-lee-frey) wrote | #1 |
I have worked around the problem by downloading the correct deb from https:/
I am running Ubuntu 13.10
Here is the contents of my /etc/apt/
> #
>
> # deb cdrom:[
>
> # deb cdrom:[
>
> # See http://
> # newer versions of the distribution.
> deb http://
> deb-src http://
>
> ## Major bug fix updates produced after the final release of the
> ## distribution.
> deb http://
> deb-src http://
>
> ## N.B. software from this repository is ENTIRELY UNSUPPORTED by the Ubuntu
> ## team. Also, please note that software in universe WILL NOT receive any
> ## review or updates from the Ubuntu security team.
> deb http://
> deb-src http://
> deb http://
> deb-src http://
>
> ## N.B. software from this repository is ENTIRELY UNSUPPORTED by the Ubuntu
> ## team, and may not be under a free licence. Please satisfy yourself as to
> ## your rights to use the software. Also, please note that software in
> ## multiverse WILL NOT receive any review or updates from the Ubuntu
> ## security team.
> deb http://
> deb-src http://
> deb http://
> deb-src http://
>
> ## N.B. software from this repository may not have been tested as
> ## extensively as that contained in the main release, although it includes
> ## newer versions of some applications which may provide useful features.
> ## Also, please note that software in backports WILL NOT receive any review
> ## or updates from the Ubuntu security team.
> deb http://
> deb-src http://
>
> deb http://
> deb-src http://
> deb http://
> deb-src http://
> deb http://
> deb-src http://
>
> ## Uncomment the following two lines to add software from Canonical's
> ## 'partner' repository.
> ## This software is not part of Ubuntu, but is offered by Canonical and the
> ## respective vendors as a service to Ubuntu users.
> # deb http://...