Index of pub/pkgsrc/packages/reports/2022Q3/NetBSD-8.0-i386/20220926.2004/coq-8.15.2nb2/

Name	Last modified	Size
Parent Directory	08-Oct-2022 14:31	11kB
checksum.log	03-Oct-2022 01:50	1kB
configure.log	03-Oct-2022 01:51	4kB
depends.log	03-Oct-2022 01:50	7kB
pre-clean.log	03-Oct-2022 01:47	1kB
work.log	03-Oct-2022 01:51	8kB