--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on August 2013 ---
Hi Stephen, On 22/08/2013 20:59, Stephen Siegel wrote: > Here are the details: > > > student at cisc614:~$ sudo add-apt-repository ppa:avsm/ppa > [sudo] password for student: > You are about to add the following PPA to your system: > Latest stable versions of OCaml and OPAM. > More info: https://launchpad.net/~avsm/+archive/ppa > Press [ENTER] to continue or ctrl-c to cancel adding it > > gpg: keyring `/tmp/tmplkbphr/secring.gpg' created > gpg: keyring `/tmp/tmplkbphr/pubring.gpg' created > gpg: requesting key 61707B09 from hkp server keyserver.ubuntu.com > gpg: /tmp/tmplkbphr/trustdb.gpg: trustdb created > gpg: key 61707B09: public key "Launchpad PPA for Anil Madhavapeddy" imported > gpg: Total number processed: 1 > gpg: imported: 1 (RSA: 1) > OK > student at cisc614:~$ cd Downloads/^C > student at cisc614:~$ sudo apt-get update [...] > Fetched 1,101 kB in 12s (86.1 kB/s) > W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/quantal/main/source/Sources 404 Not Found > > W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/quantal/main/binary-i386/Packages 404 Not Found > > E: Some index files failed to download. They have been ignored, or old ones used instead. That seems to indicate a problem. The list of package for this ppa have not been found. On the page of the ppa, https://launchpad.net/~avsm/+archive/ppa there are more informations. And it indicates that the version provided is for Ubuntu raring not Ubuntu quantal. However you can perhaps test the package by replacing in your /etc/apt/sources.list in the lines of this ppa quantal by raring. deb http://ppa.launchpad.net/avsm/ppa/ubuntu raring main deb-src http://ppa.launchpad.net/avsm/ppa/ubuntu raring main Best, -- Fran?ois