utilisation du nom de la version debian plutot qu'on nom generique

darcs-hash:20080907184146-c41ad-cdf8488c6a848d97862e8db31468386ddee08e21.gz
This commit is contained in:
Jeremie Dimino 2008-09-07 20:41:46 +02:00
parent 8ef50278f5
commit adb58f9e74
2 changed files with 24 additions and 8 deletions

View file

@ -15,7 +15,7 @@ if has("ovh"):
@# Paquet construit a la main
source("ftp://mirror.adm.crans.org/custom ./")
elif has("debian-testing"):
elif has("debian-lenny"):
prefix = ""
source("http://debian.ens-cachan.fr/debian/ lenny main contrib")
source("http://security.debian.org/ lenny/updates main")
@ -24,7 +24,7 @@ elif has("debian-testing"):
if has("o2"):
prefix = ""
@# Avant-premières des paquets ocsigen
source("http://ocsigen.org/debian/ testing main contrib")
source("http://ocsigen.org/debian/ lenny main contrib")
else:
# Pour les mises a jour de sécurité on utilise pas de mirroi...