Package details
Package | grub-dev |
---|---|
Version | 2.12-r6 |
Description | Bootloader with support for Linux, Multiboot and more (development files) |
Project | https://www.gnu.org/software/grub/ |
License | GPL-3.0-or-later |
Branch | edge |
Repository | main |
Architecture | x86 |
Size | 6.7KiB |
Installed size | 116.0KiB |
Origin | grub |
Maintainer | Timo Teräs |
Build time | 2024-08-02 13:26:44 |
Commit | e9c79f43c138141bf235b511c8e3ba5cc81a5aa5 | Merge request | 70004 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |