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

NameLast modifiedSize
Parent Directory10-Mar-2023 00:0810kB
checksum.log09-Mar-2023 06:511kB
configure.log09-Mar-2023 06:514kB
depends.log09-Mar-2023 06:517kB
pre-clean.log09-Mar-2023 06:501kB
work.log09-Mar-2023 06:527kB