Publishing details

• Removed from disk on 2018-06-17.
• Removal requested on 2018-06-17.
• Superseded on 2018-06-16 by grub-customizer - 5.0.8-0ubuntu1~ppa1a
• Published on 2017-10-20

Changelog

grub-customizer (5.0.7-0ubuntu1~ppa1a) artful; urgency=low

   * new upstream release

 -- Daniel Richter <email address hidden>  Fri, 20 Oct 2017 22:27:45 +0200

Builds

• amd64
• i386

Package files

• grub-customizer_5.0.7-0ubuntu1~ppa1a.debian.tar.xz (3.2 KiB)
• grub-customizer_5.0.7-0ubuntu1~ppa1a.dsc (1.6 KiB)
• grub-customizer_5.0.7-0ubuntu1~ppa1a_amd64.deb (1.1 MiB)
• grub-customizer_5.0.7-0ubuntu1~ppa1a_i386.deb (1.2 MiB)
• grub-customizer_5.0.7.orig.tar.gz (528.4 KiB)