Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20121001.0754/coq-8.3pl1nb13/

../
build.log                                          03-Oct-2012 22:17    106K
checksum.log                                       03-Oct-2012 22:13     204
configure.log                                      03-Oct-2012 22:13    3316
depends.log                                        03-Oct-2012 22:13     143
install.log                                        03-Oct-2012 22:18     29K
pre-clean.log                                      03-Oct-2012 22:13      33
work.log                                           03-Oct-2012 22:17    150K