Index of /Darwin/12.3/arm64/20250523.0816/coq-8.20.1nb2/

../
build.log                                          23-May-2025 19:23                1311
checksum.log                                       23-May-2025 19:22                  89
configure.log                                      23-May-2025 19:22                7081
depends.log                                        23-May-2025 19:22                7988
install.log                                        23-May-2025 19:34               93280
pre-clean.log                                      23-May-2025 19:21                  32
work.log                                           23-May-2025 19:34             7223595