Index of pub/pkgsrc/packages/reports/2022Q2/NetBSD-8.0-i386/20220829.1929/coq-8.15.2/

Name	Last modified	Size
Parent Directory	30-Aug-2022 14:50	9kB
checksum.log	30-Aug-2022 06:14	1kB
configure.log	30-Aug-2022 06:14	4kB
depends.log	30-Aug-2022 06:13	8kB
pre-clean.log	30-Aug-2022 06:12	1kB
work.log	30-Aug-2022 06:14	8kB