Format: 1.8 Date: Fri, 24 Feb 2017 15:01:23 +0000 Source: flash-kernel Binary: flash-kernel flash-kernel-installer Architecture: source Version: 3.0~rc.4ubuntu64~rpi3.1+apw1 Distribution: xenial Urgency: low Maintainer: Ubuntu Developers Changed-By: Andy Whitcroft Description: flash-kernel - utility to make certain embedded devices bootable flash-kernel-installer - Make the system bootable (udeb) Changes: flash-kernel (3.0~rc.4ubuntu64~rpi3.1+apw1) xenial; urgency=low . * Always run flash-kernel when flash-kernel is updated. Also fixes triggers going missing when flash-kernel is installed at the same time as a triggering kernel. Checksums-Sha1: 3124197009fa4f8cc09ab957fcda2f046cd05334 1988 flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.dsc 9960756c87944585ca60de3f70f64221ebe7f05c 65128 flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.tar.gz Checksums-Sha256: ec3f33631d726af9e75d56ee60cfbc8c889c7ae992b2868f3e701430028bbb64 1988 flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.dsc 1e1a26754b6f91577ca8c2b29a95932287dd4412e38101dcba18166b4c3905fc 65128 flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.tar.gz Files: 26b5b5636e46226c4a1e171a56e268e1 1988 utils optional flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.dsc cfdad660a42f3999c4edb68825d01dd6 65128 utils optional flash-kernel_3.0~rc.4ubuntu64~rpi3.1+apw1.tar.gz Original-Maintainer: Debian Install System Team