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

NameLast modifiedSize
Parent Directory22-Sep-2022 03:119kB
checksum.log21-Sep-2022 14:501kB
configure.log21-Sep-2022 14:514kB
depends.log21-Sep-2022 14:508kB
pre-clean.log21-Sep-2022 14:491kB
work.log21-Sep-2022 14:518kB