Index of pub/pkgsrc/packages/reports/2022Q2/NetBSD-8.0-i386/20220723.2059/coq-8.15.2/
Name
Last modified
Size
Parent Directory
24-Jul-2022 20:47
9kB
checksum.log
24-Jul-2022 09:51
1kB
configure.log
24-Jul-2022 09:52
4kB
depends.log
24-Jul-2022 09:51
8kB
pre-clean.log
24-Jul-2022 09:48
1kB
work.log
24-Jul-2022 09:51
8kB