Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20120304.1324/coq-8.3pl1nb7/

../
build.log                                          07-Mar-2012 05:10    106K
checksum.log                                       07-Mar-2012 05:06     204
configure.log                                      07-Mar-2012 05:06    3249
depends.log                                        07-Mar-2012 05:06     278
install.log                                        07-Mar-2012 05:11     29K
pre-clean.log                                      07-Mar-2012 05:06      32
work.log                                           07-Mar-2012 05:10    149K