Index of /pub/pkgsrc/misc/joerg/20180705.1005/ghc-7.6.3nb12/

../
checksum.log                                       05-Jul-2018 15:58    1517
depends.log                                        05-Jul-2018 15:58    1856
pre-clean.log                                      05-Jul-2018 15:57      32
work.log                                           05-Jul-2018 15:57       0