Index of /Darwin/12.3/arm64/20250408.1741/coq-8.20.1/

../
build.log                                          09-Apr-2025 04:23                1308
checksum.log                                       09-Apr-2025 04:22                 161
configure.log                                      09-Apr-2025 04:23                7012
depends.log                                        09-Apr-2025 04:22                8222
install.log                                        09-Apr-2025 04:34               93280
pre-clean.log                                      09-Apr-2025 04:22                  29
work.log                                           09-Apr-2025 04:34             7260406