Package: linux-headers-deb

Description: Ubuntu Linux mainline kernel (Headers)

Maintainers: Oren Klopfer

Version: 7.2~rc5-1

Source