Index of /pub/pkgsrc/misc/joerg/20170219.2004/php71-intl-7.1.2/

../
build.log                                          20-Feb-2017 00:17    131K
checksum.log                                       20-Feb-2017 00:16     957
configure.log                                      20-Feb-2017 00:16    6617
depends.log                                        20-Feb-2017 00:16    2312
install.log                                        20-Feb-2017 00:17     903
pre-clean.log                                      20-Feb-2017 00:16      36
work.log                                           20-Feb-2017 00:17    147K