How to download
Direct download from the archive pool

The sources tarballs and the Debian/Ubuntu packages could be directly downloaded from the Download Area.

 
Use our Ubuntu/Debian Package Source

The Ubuntu packages could be downloaded by adding the Arakhnê.org package source into your /etc/apt/sources.list file.
The line to add is:

deb http://download.tuxfamily.org/arakhne/ubuntu distname universe

where distname must be replace by one of the supported distributions, one of:
  • intrepid-arakhne
  • hardy-arakhne
  • gutsy-arakhne
  • feisty-arakhne

The packages are signed by a GPG public key. You must add this key into your apt key list to avoid warnings. To proceed use one of the following methods:

  1. Download the public key from the download area and add it into the apt key list:
    wget -q http://download.tuxfamily.org/arakhne/public.key -O- | sudo apt-key add -
  2. Import the public key into your local key repository:
    $> gpg --keyserver www.keyserver.net --recv-keys 0xBA62BC7E
    or
    $> gpg --keyserver keyserver.mobrien.net --recv-keys 0xBA62BC7E
    Add the imported public key into the apt key list:
    $> gpg --export -a 0xBA62BC7E | sudo apt-key add -
  3. Import the public key into your local key repository:
    $> gpg --keyserver keyserver.mobrien.net --recv-keys 0xBA62BC7E
    the imported public key into the apt key list:
    $> gpg --export -a 0xBA62BC7E | sudo apt-key add -