From 6f2c91fb9961461208b2b0f1e1843a78a0fb234d Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 30 Jan 2013 15:23:52 +0100
Subject: [PATCH] f18
---
pkgs.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pkgs.py b/pkgs.py
index c5f84798..3d97cc82 100755
--- a/pkgs.py
+++ b/pkgs.py
@@ -35,7 +35,7 @@ default_arch='x86_64'
known_arch = ['i386', 'i686', 'x86_64']
default_fcdistro='f14'
known_fcdistros = [ 'centos5','centos6',
- 'f8', 'f10','f12', 'f14', 'f16', 'f17',
+ 'f8', 'f10','f12', 'f14', 'f16', 'f18',
'sl6',
# debians
'squeeze','wheezy',
--
2.47.0