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

NameLast modifiedSize
Parent Directory25-Jan-2023 18:2010kB
checksum.log22-Jan-2023 19:261kB
configure.log22-Jan-2023 19:274kB
depends.log22-Jan-2023 19:267kB
pre-clean.log22-Jan-2023 19:251kB
work.log22-Jan-2023 19:277kB