Index of /pub/pkgsrc/misc/sbd/reports/Linux-x86_64/20120324.2259/coq-8.3pl1nb8/

../
build.log                                          28-Mar-2012 02:55    106K
checksum.log                                       28-Mar-2012 02:51     204
configure.log                                      28-Mar-2012 02:51    3246
depends.log                                        28-Mar-2012 02:51     278
install.log                                        28-Mar-2012 02:55     29K
pre-clean.log                                      28-Mar-2012 02:51      32
work.log                                           28-Mar-2012 02:55    149K