From 6b05c4cc42ee071421013bc8126221569d822e35 Mon Sep 17 00:00:00 2001
From: OSAK Buildhauer <osak@fsmpi.rwth-aachen.de>
Date: Fri, 6 Oct 2017 01:13:24 +0000
Subject: [PATCH] Fixed kernel headers in offline repo

---
 contrib/rootfs/offline_repo.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/rootfs/offline_repo.json b/contrib/rootfs/offline_repo.json
index e57fcd0..7d6185a 100644
--- a/contrib/rootfs/offline_repo.json
+++ b/contrib/rootfs/offline_repo.json
@@ -96,6 +96,7 @@
             "pkgdescription": "Vanilla Linux Kernel Headers",
             "tagged": false,
             "urls": [
+              "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14-rc3/linux-headers-4.14.0-041400rc3_4.14.0-041400rc3.201710011930_all.deb",
               "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14-rc3/linux-headers-4.14.0-041400rc3-generic_4.14.0-041400rc3.201710011930_amd64.deb",
               "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14-rc3/linux-headers-4.14.0-041400rc3-generic_4.14.0-041400rc3.201710011930_i386.deb"
             ]
-- 
GitLab