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

Name	Size	Date
📁 ../	-	-
📄 checksum.log	539 bytes	2017-01-11 04:15:10
📄 configure.log	5220 bytes	2017-01-11 04:16:22
📄 depends.log	28916 bytes	2017-01-11 04:15:08
📄 pre-clean.log	26 bytes	2017-01-11 04:14:16
📄 work.log	1260 bytes	2017-01-11 04:16:19