Index of /pub/pkgsrc/misc/joerg/20180705.1005/ghdl-0.32rc1nb2/

Name	Size	Date
📁 ../	-	-
📄 checksum.log	900 bytes	2018-07-06 18:32:59
📄 configure.log	4198 bytes	2018-07-06 18:34:07
📄 depends.log	894 bytes	2018-07-06 18:32:53
📄 pre-clean.log	34 bytes	2018-07-06 18:32:39
📄 work.log	2643 bytes	2018-07-06 18:34:07