I have worked around the problem by downloading the correct deb from https://launchpad.net/~avsm/+archive/ocaml41+opam10/+build/5212804.
I am running Ubuntu 13.10 Here is the contents of my /etc/apt/sources.list > # > > # deb cdrom:[Ubuntu-Server 12.10 _Quantal Quetzal_ - Release amd64 > (20121017.2)]/ quantal main restricted > > # deb cdrom:[Ubuntu-Server 12.10 _Quantal Quetzal_ - Release amd64 > (20121017.2)]/ quantal main restricted > > # See http://help.ubuntu.com/community/UpgradeNotes for how to upgrade to > # newer versions of the distribution. > deb http://us.archive.ubuntu.com/ubuntu/ saucy main restricted > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy main restricted > > ## Major bug fix updates produced after the final release of the > ## distribution. > deb http://us.archive.ubuntu.com/ubuntu/ saucy-updates main restricted > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy-updates main restricted > > ## 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://us.archive.ubuntu.com/ubuntu/ saucy universe > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy universe > deb http://us.archive.ubuntu.com/ubuntu/ saucy-updates universe > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy-updates universe > > ## 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://us.archive.ubuntu.com/ubuntu/ saucy multiverse > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy multiverse > deb http://us.archive.ubuntu.com/ubuntu/ saucy-updates multiverse > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy-updates multiverse > > ## 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://us.archive.ubuntu.com/ubuntu/ saucy-backports main restricted > universe multiverse > deb-src http://us.archive.ubuntu.com/ubuntu/ saucy-backports main restricted > universe multiverse > > deb http://security.ubuntu.com/ubuntu saucy-security main restricted > deb-src http://security.ubuntu.com/ubuntu saucy-security main restricted > deb http://security.ubuntu.com/ubuntu saucy-security universe > deb-src http://security.ubuntu.com/ubuntu saucy-security universe > deb http://security.ubuntu.com/ubuntu saucy-security multiverse > deb-src http://security.ubuntu.com/ubuntu saucy-security multiverse > > ## 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://archive.canonical.com/ubuntu quantal partner > # deb-src http://archive.canonical.com/ubuntu quantal partner > > ## Uncomment the following two lines to add software from Ubuntu's > ## 'extras' repository. > ## This software is not part of Ubuntu, but is offered by third-party > ## developers who want to ship their latest software. > # deb http://extras.ubuntu.com/ubuntu quantal main > # deb-src http://extras.ubuntu.com/ubuntu quantal main > > # spotify > deb http://repository.spotify.com stable non-free # disabled on upgrade to > raring disabled on upgrade to saucy > > # i3 > deb http://debian.sur5r.net/i3/ saucy universe # disabled on upgrade to > raring disabled on upgrade to saucy > > # weechat > deb http://ppa.launchpad.net/nesthib/weechat-stable/ubuntu raring main # > disabled on upgrade to raring > > # rust > deb http://ppa.launchpad.net/hansjorg/rust/ubuntu saucy main # disabled on > upgrade to saucy > deb-src http://ppa.launchpad.net/hansjorg/rust/ubuntu saucy main # disabled > on upgrade to saucy -- You received this bug notification because you are a member of Debian OCaml Maintainers, which is subscribed to ocaml in Ubuntu. https://bugs.launchpad.net/bugs/1258957 Title: camlp4-extra depends on non existant packages Status in “ocaml” package in Ubuntu: New 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 protected]> > 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-nox-4.01.0, libncurses5-dev, ocaml-interp (= 4.01.0-1ppa4~raring), gcc, binutils > 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://caml.inria.fr/ > > dpkg -s camlp4 > Package: camlp4 > Status: install ok installed > Priority: optional > Section: ocaml > Installed-Size: 70556 > Maintainer: Debian OCaml Maintainers <[email protected]> > 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-Pretty-Printer for Objective Caml. It > 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://caml.inria.fr/ To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ocaml/+bug/1258957/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~ocaml-maint Post to : [email protected] Unsubscribe : https://launchpad.net/~ocaml-maint More help : https://help.launchpad.net/ListHelp
