paparazzi-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paparazzi-devel] compiling Ivy


From: Marcus Wolschon
Subject: Re: [Paparazzi-devel] compiling Ivy
Date: Fri, 25 Jan 2008 11:49:12 +0100
User-agent: Mozilla-Thunderbird 2.0.0.4 (X11/20070622)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Pascal Brisset schrieb:
| Three versions of ivy-ocaml are provided:
| - For the old stable distribution , sarge: ivy-ocaml_1.1-1_i386.deb compiled for OCaml 3.08
|  - For the stable, etch:  ivy-ocaml_1.1-2_i386.deb compiled for OCaml 3.09
| - For the unstable, sid: ivy-ocaml_1.1-5_i386.deb compiled for OCaml 3.10 | You have to choose the right source for the packages, according to the distribution you are using: | - Debian sarge (old stable, probably old versions of Ubuntu): deb http://paparazzi.enac.fr/debian sarge main | - Debian etch (stable), Ubuntu 7.04, Ubuntun 7.10: deb http://paparazzi.enac.fr/debian etch main
| - Debian sid (unstable) : deb http://paparazzi.enac.fr/debian sid main
Hello Pascal!

Oh, I only saw "http://paparazzi.enac.fr/debian sarge main" on the website, when I set up the systen and had no reason to add any other repository to the apt.sources then the one published there. I just checked and it seems to have been updated to "etch" now. The new paparazzi-dev package works with the current ocaml 3.10 as included in
debian and paparazzi_08_01_10 compiles with it.
(Names like "stable" "old" or "testing" would probably be better in the long run as people upgrade their system will will not touch the paparazzi-line in their apt-sources .


Marcus
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFHmb6of1hPnk3Z0cQRAt4LAKCbDWtC293y6W5gyjcqnz5kJHp5oQCeITH0
A99DeFA0GiluUh4o3ioTC38=
=5E7C
-----END PGP SIGNATURE-----





reply via email to

[Prev in Thread] Current Thread [Next in Thread]