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 Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1258957 Title: camlp4-extra depends on non existant packages To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ocaml/+bug/1258957/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
