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

Name	Size	Date
📁 ../	-	-
📄 checksum.log	1517 bytes	2018-07-05 12:58:26
📄 depends.log	1856 bytes	2018-07-05 12:58:19
📄 pre-clean.log	32 bytes	2018-07-05 12:57:30
📄 work.log	0 bytes	2018-07-05 12:57:29