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

Name	Last modified	Size
Parent Directory	29-Jul-2022 12:57	9kB
checksum.log	28-Jul-2022 13:11	1kB
configure.log	28-Jul-2022 13:12	4kB
depends.log	28-Jul-2022 13:11	8kB
pre-clean.log	28-Jul-2022 13:10	1kB
work.log	28-Jul-2022 13:12	8kB