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

NameLast modifiedSize
Parent Directory26-Jan-2023 23:3410kB
checksum.log26-Jan-2023 03:501kB
configure.log26-Jan-2023 03:504kB
depends.log26-Jan-2023 03:507kB
pre-clean.log26-Jan-2023 03:481kB
work.log26-Jan-2023 03:507kB