repo/core/grub
2019-10-14 18:35:17 +03:00
..
files grub: revert 2.04 2019-08-11 01:38:27 +00:00
build grub: remove file now handled by package manager 2019-10-14 18:35:17 +03:00
checksums
depends
sources grub: use https for source 2019-09-13 09:16:10 +03:00
version