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

Name	Last modified	Size
Parent Directory	24-Jul-2022 20:47	9kB
checksum.log	24-Jul-2022 09:51	1kB
configure.log	24-Jul-2022 09:52	4kB
depends.log	24-Jul-2022 09:51	8kB
pre-clean.log	24-Jul-2022 09:48	1kB
work.log	24-Jul-2022 09:51	8kB