Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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:
> 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
> 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  404  Not Found
> W: Failed to fetch  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,

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 raring main
deb-src raring main