Index of /pub/pkgsrc/misc/joerg/20170105.1427/coq-8.6

	Name	Last modified	Size	Description

	Parent Directory		-
	checksum.log	2017-01-07 03:04	539
	configure.log	2017-01-07 03:04	5.1K
	depends.log	2017-01-07 03:04	15K
	pre-clean.log	2017-01-07 03:03	26
	work.log	2017-01-07 03:04	1.2K

Apache/2.4.61 (Unix) OpenSSL/3.0.13 Server at kmq.jp.rsync.macports.org Port 80