Index of pub/pkgsrc/packages/reports/2021Q4/NetBSD-9.0-i386/20220204.1327/coq-8.12.2nb3/

NameLast modifiedSize
Parent Directory06-Feb-2022 05:0913kB
build.log05-Feb-2022 10:4122kB
checksum.log05-Feb-2022 10:401kB
configure.log05-Feb-2022 10:406kB
depends.log05-Feb-2022 10:406kB
pre-clean.log05-Feb-2022 10:381kB
work.log05-Feb-2022 10:4132kB