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

Name	Size	Date
📁 ../	-	-
📄 checksum.log	951 bytes	2017-01-04 10:47:52
📄 configure.log	5220 bytes	2017-01-04 10:48:58
📄 depends.log	15396 bytes	2017-01-04 10:47:42
📄 pre-clean.log	26 bytes	2017-01-04 10:46:58
📄 work.log	1260 bytes	2017-01-04 10:48:57