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

NameLast modifiedSize
Parent Directory15-Mar-2023 02:178kB
checksum.log14-Mar-2023 06:401kB
configure.log14-Mar-2023 06:404kB
depends.log14-Mar-2023 06:407kB
pre-clean.log14-Mar-2023 06:391kB
work.log14-Mar-2023 06:417kB