Index of pub/pkgsrc/misc/joerg/20171129.0015/php72-sodium-7.2.0RC6/

Name	Last modified	Size
Parent Directory	30-Nov-2017 02:38	8kB
checksum.log	29-Nov-2017 15:58	1kB
configure.log	29-Nov-2017 15:58	4kB
depends.log	29-Nov-2017 15:58	3kB
pre-clean.log	29-Nov-2017 15:57	1kB
work.log	29-Nov-2017 15:58	8kB