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

Name	Size	Date
📁 ../	-	-
📄 checksum.log	900 bytes	2018-05-10 18:59:10
📄 configure.log	4196 bytes	2018-05-10 19:00:21
📄 depends.log	892 bytes	2018-05-10 18:59:04
📄 pre-clean.log	34 bytes	2018-05-10 18:58:52
📄 work.log	2643 bytes	2018-05-10 19:00:21