Comment 1 for bug 1258957

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