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

Name	Last modified	Size
Parent Directory	10-May-2018 21:24	13kB
checksum.log	10-May-2018 15:19	2kB
depends.log	10-May-2018 15:18	2kB
pre-clean.log	10-May-2018 15:18	1kB
work.log	10-May-2018 15:18	0kB