Index of /pub/pkgsrc/misc/joerg/20170723.1138/ghdl-0.32rc1nb1/

Name	Size	Date
📁 ../	-	-
📄 checksum.log	900 bytes	2017-07-23 18:25:35
📄 configure.log	4198 bytes	2017-07-23 18:27:54
📄 depends.log	898 bytes	2017-07-23 18:25:22
📄 pre-clean.log	34 bytes	2017-07-23 18:25:00
📄 work.log	2640 bytes	2017-07-23 18:27:53