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

../
build.log                                          27-Jun-2025 03:24                1967
checksum.log                                       27-Jun-2025 03:22                 411
configure.log                                      27-Jun-2025 03:22                6877
depends.log                                        27-Jun-2025 03:22                6677
install.log                                        27-Jun-2025 03:38                1111
pre-clean.log                                      27-Jun-2025 03:22                  32
work.log                                           27-Jun-2025 03:38             5870913