Index of pub/pkgsrc/misc/joerg/20171205.1959/php72-sodium-7.2.0/

Name	Last modified	Size
Parent Directory	05-Dec-2017 23:06	5kB
checksum.log	05-Dec-2017 21:34	1kB
configure.log	05-Dec-2017 21:34	4kB
depends.log	05-Dec-2017 21:34	3kB
pre-clean.log	05-Dec-2017 21:33	1kB
work.log	05-Dec-2017 21:34	8kB