Index of pub/pkgsrc/misc/joerg/20200420.0152/mapserver-5.6.8nb44/

Name	Last modified	Size
Parent Directory	20-Apr-2020 05:27	12kB
checksum.log	20-Apr-2020 03:21	1kB
configure.log	20-Apr-2020 03:21	9kB
depends.log	20-Apr-2020 03:21	5kB
pre-clean.log	20-Apr-2020 03:19	1kB
work.log	20-Apr-2020 03:21	2kB