From d2dc386997655c75eba60b4bfe5f95defd2aaadb Mon Sep 17 00:00:00 2001
From: Marek Marczykowski <marmarek@invisiblethingslab.com>
Date: Wed, 6 Feb 2013 00:40:50 +0100
Subject: [PATCH] vm/kernel-placeholder: update provided version

Some fc18 packages requires >3.5 kernel, so update kernel-placeholder
appropriate (according to newest available package in unstable
repository).
---
 rpm_spec/core-vm-kernel-placeholder.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rpm_spec/core-vm-kernel-placeholder.spec b/rpm_spec/core-vm-kernel-placeholder.spec
index f5fe27bd..691a50e5 100644
--- a/rpm_spec/core-vm-kernel-placeholder.spec
+++ b/rpm_spec/core-vm-kernel-placeholder.spec
@@ -18,7 +18,7 @@ Obsoletes:  kernel-debug
 Obsoletes:  xorg-x11-drv-nouveau
 Provides:   xorg-x11-drv-nouveau
 #  choose the oldest Qubes-supported VM kernel
-Provides:   kernel = 3.2.7
+Provides:   kernel = 3.7.4
 
 %description
 Placeholder for kernel package as it is managed by Dom0.