Index of pub/pkgsrc/packages/reports/2022Q2/NetBSD-8.0-i386/20220709.1101/coq-8.15.2/

NameLast modifiedSize
Parent Directory15-Jul-2022 07:379kB
checksum.log12-Jul-2022 17:251kB
configure.log12-Jul-2022 17:254kB
depends.log12-Jul-2022 17:258kB
pre-clean.log12-Jul-2022 17:221kB
work.log12-Jul-2022 17:258kB