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
> (201
Public bug reported:
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
