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

Name	Last modified	Size
Parent Directory	29-Aug-2022 18:50	9kB
checksum.log	28-Aug-2022 22:56	1kB
configure.log	28-Aug-2022 22:57	4kB
depends.log	28-Aug-2022 22:56	8kB
pre-clean.log	28-Aug-2022 22:55	1kB
work.log	28-Aug-2022 22:57	8kB