Index of pub/pkgsrc/packages/reports/2022Q4/NetBSD-8.0-i386/20230127.0013/coq-8.15.2nb3/

NameLast modifiedSize
Parent Directory27-Jan-2023 17:0210kB
checksum.log27-Jan-2023 06:331kB
configure.log27-Jan-2023 06:344kB
depends.log27-Jan-2023 06:337kB
pre-clean.log27-Jan-2023 06:311kB
work.log27-Jan-2023 06:347kB