Index of /Darwin/12.3/arm64/20250418.0752/coq-8.20.1nb1/

../
build.log                                          18-Apr-2025 19:24                1311
checksum.log                                       18-Apr-2025 19:23                  89
configure.log                                      18-Apr-2025 19:23                7041
depends.log                                        18-Apr-2025 19:23                8232
install.log                                        18-Apr-2025 19:37               93286
pre-clean.log                                      18-Apr-2025 19:23                  32
work.log                                           18-Apr-2025 19:37             7223595