--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Fluorine



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