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

NameLast modifiedSize
Parent Directory13-Jan-2023 22:2567kB
checksum.log09-Jan-2023 18:311kB
configure.log09-Jan-2023 18:324kB
depends.log09-Jan-2023 18:317kB
pre-clean.log09-Jan-2023 18:301kB
work.log09-Jan-2023 18:327kB