Index of /pub/pkgsrc/misc/joerg/20180510.1510/coq-8.7.2nb3/


../
build.log                                          10-May-2018 17:15    275K
checksum.log                                       10-May-2018 17:09     553
configure.log                                      10-May-2018 17:09    5723
depends.log                                        10-May-2018 17:09     16K
install.log                                        10-May-2018 17:16    129K
pre-clean.log                                      10-May-2018 17:07      31
work.log                                           10-May-2018 17:15      2M