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


../
build.log                                          20-Jun-2025 23:24                1311
checksum.log                                       20-Jun-2025 23:23                  89
configure.log                                      20-Jun-2025 23:24                7072
depends.log                                        20-Jun-2025 23:23                7986
install.log                                        20-Jun-2025 23:36               93280
pre-clean.log                                      20-Jun-2025 23:23                  32
work.log                                           20-Jun-2025 23:36             7223595