Index of pub/pkgsrc/misc/joerg/20180510.1510/gimp-color-manager-0.1.0nb45/

Name	Last modified	Size
Parent Directory	10-May-2018 21:24	13kB
checksum.log	10-May-2018 19:14	1kB
configure.log	10-May-2018 19:15	6kB
depends.log	10-May-2018 19:14	10kB
pre-clean.log	10-May-2018 19:13	1kB
work.log	10-May-2018 19:15	22kB