diff --git a/contrib/rootfs/offline_repo.json b/contrib/rootfs/offline_repo.json index 32c14dd3bdcb1c6f364d50d63cd17c89c21b4a21..5d05062cfd0763b54d87bfb3f46eee8e618f154a 100644 --- a/contrib/rootfs/offline_repo.json +++ b/contrib/rootfs/offline_repo.json @@ -77,22 +77,22 @@ "tagged": true }, { - "pkgname": "linux-image-4.14.0-041400rc3-generic", + "pkgname": "linux-image-4.16.1-041601-generic", "pkgdescription": "Vanilla Linux Kernel", "tagged": false, "urls": [ - "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14-rc3/linux-image-4.14.0-041400rc3-generic_4.14.0-041400rc3.201710011930_amd64.deb", - "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14-rc3/linux-image-4.14.0-041400rc3-generic_4.14.0-041400rc3.201710011930_i386.deb" + "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.1/linux-image-4.16.1-041601-generic_4.16.1-041601.201804081334_amd64.deb", + "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.1/linux-image-4.16.1-041601-generic_4.16.1-041601.201804081334_i386.deb" ] }, { - "pkgname": "linux-headers-4.14.0-041400rc3-generic", + "pkgname": "linux-headers-4.16.1-041601-generic", "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" + "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.1/linux-headers-4.16.1-041601_4.16.1-041601.201804081334_all.deb", + "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.1/linux-headers-4.16.1-041601-generic_4.16.1-041601.201804081334_amd64.deb", + "http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.1/linux-headers-4.16.1-041601-generic_4.16.1-041601.201804081334_i386.deb" ] } ] @@ -210,11 +210,6 @@ }, "Informatik": { "packages": [ - { - "pkgname": "eclipse", - "pkgdescription": "Umfangreiche Entwicklungsumgebung für verschiedene Programiersprachen, vornehmlich Java.", - "tagged": false - }, { "pkgname": "postgresql", "pkgdescription": "Datenbank-Server. Nett um in der Datenbanken-Vorlesungen Dinge auszuprobieren",