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

NameLast modifiedSize
Parent Directory09-Oct-2022 21:0110kB
checksum.log09-Oct-2022 07:121kB
configure.log09-Oct-2022 07:134kB
depends.log09-Oct-2022 07:127kB
pre-clean.log09-Oct-2022 07:111kB
work.log09-Oct-2022 07:138kB