Index of /NetBSD/trunk/x86_64/20250709.1308/coq-8.20.1nb2/

../
build.log                                          11-Jul-2025 02:13                1967
checksum.log                                       11-Jul-2025 02:11                 411
configure.log                                      11-Jul-2025 02:12                6878
depends.log                                        11-Jul-2025 02:11                6674
install.log                                        11-Jul-2025 02:30                1111
pre-clean.log                                      11-Jul-2025 02:11                  32
work.log                                           11-Jul-2025 02:30             5870956