Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20121016.0803/coq-8.3pl1nb14/

../
build.log                                          20-Oct-2012 11:25    106K
checksum.log                                       20-Oct-2012 11:21     204
configure.log                                      20-Oct-2012 11:21    3316
depends.log                                        20-Oct-2012 11:21     143
install.log                                        20-Oct-2012 11:25     29K
pre-clean.log                                      20-Oct-2012 11:21      33
work.log                                           20-Oct-2012 11:25    150K