Index of /pub/pkgsrc/misc/joerg/20180705.1005/grub2-2.02/


../
build.log                                          06-Jul-2018 14:35    717K
checksum.log                                       06-Jul-2018 14:33     943
configure.log                                      06-Jul-2018 14:34     31K
depends.log                                        06-Jul-2018 14:33    2021
pre-clean.log                                      06-Jul-2018 14:33      29
work.log                                           06-Jul-2018 14:35      1M