Index of pub/pkgsrc/misc/joerg/20200410.1852/mapserver-5.6.8nb43/

Name	Last modified	Size
Parent Directory	11-Apr-2020 02:24	14kB
checksum.log	10-Apr-2020 23:47	1kB
configure.log	10-Apr-2020 23:48	9kB
depends.log	10-Apr-2020 23:47	5kB
pre-clean.log	10-Apr-2020 23:45	1kB
work.log	10-Apr-2020 23:48	2kB