Index of pub/pkgsrc/misc/joerg/20200506.1244/jrep-1.1.0/

Name	Last modified	Size
Parent Directory	07-May-2020 13:16	11kB
checksum.log	07-May-2020 08:04	1kB
configure.log	07-May-2020 08:04	6kB
depends.log	07-May-2020 08:04	5kB
pre-clean.log	07-May-2020 08:03	1kB
work.log	07-May-2020 08:04	2kB