Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20121027.1945/coq-8.3pl1nb16/

../
build.log                                          01-Nov-2012 06:31     32K
checksum.log                                       01-Nov-2012 06:30     204
configure.log                                      01-Nov-2012 06:30    3304
depends.log                                        01-Nov-2012 06:30     143
pre-clean.log                                      01-Nov-2012 06:30      33
work.log                                           01-Nov-2012 06:31    6232