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