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

NameLast modifiedSize
Parent Directory31-Jan-2023 07:4910kB
checksum.log30-Jan-2023 21:051kB
configure.log30-Jan-2023 21:064kB
depends.log30-Jan-2023 21:057kB
pre-clean.log30-Jan-2023 21:041kB
work.log30-Jan-2023 21:067kB