Index of pub/pkgsrc/packages/reports/2022Q2/NetBSD-8.0-i386/20220827.2029/coq-8.15.2/
Name
Last modified
Size
Parent Directory
29-Aug-2022 18:50
9kB
checksum.log
28-Aug-2022 22:56
1kB
configure.log
28-Aug-2022 22:57
4kB
depends.log
28-Aug-2022 22:56
8kB
pre-clean.log
28-Aug-2022 22:55
1kB
work.log
28-Aug-2022 22:57
8kB