Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20111120.2241/coq-8.3pl1nb2/

../
build.log                                          23-Nov-2011 02:00    106K
checksum.log                                       23-Nov-2011 01:56     204
configure.log                                      23-Nov-2011 01:56    2643
depends.log                                        23-Nov-2011 01:56       0
install.log                                        23-Nov-2011 02:00     29K
pre-clean.log                                      23-Nov-2011 01:56      32
work.log                                           23-Nov-2011 02:00    154K