From 5cde4bfcae65b1cbcaed13c15df2c2037944e7d0 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 7 Oct 2015 09:21:00 +0200
Subject: [PATCH] re-expose old fcdistros that are used in some pkgs files

---
 pkgs.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs.py b/pkgs.py
index 3aafc3d4..8bbc43ab 100755
--- a/pkgs.py
+++ b/pkgs.py
@@ -38,6 +38,9 @@ known_arch = ['i386', 'i686', 'x86_64']
 default_fcdistro = 'f22'
 known_fcdistros = [
     'centos5', 'centos6',
+    # oldies but we have references to that in the pkgs files
+    'f8', 'f10', 'f12', 'f16',
+    # these ones are still relevant
     'f14', 'f18', 'f20', 'f21', 'f22',
     'sl6', 
     # debians
-- 
2.43.0