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

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