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

Name	Last modified	Size
Parent Directory	31-Mar-2020 13:32	14kB
checksum.log	31-Mar-2020 12:47	1kB
configure.log	31-Mar-2020 12:47	9kB
depends.log	31-Mar-2020 12:47	5kB
pre-clean.log	31-Mar-2020 12:44	1kB
work.log	31-Mar-2020 12:47	2kB