Index of /cache/build/coq-8.20.0-2.fc42/rebuild/


../
build.log                                          29-Jan-2025 20:08             3087716
comparison.json                                    29-Jan-2025 20:08                 704
coq-8.20.0-2.fc42.src.rpm                          29-Jan-2025 20:08             7888133
coq-8.20.0-2.fc42.x86_64.rpm                       29-Jan-2025 20:08            25264843
coq-coqide-8.20.0-2.fc42.x86_64.rpm                29-Jan-2025 20:08             3286577
coq-coqide-debuginfo-8.20.0-2.fc42.x86_64.rpm      29-Jan-2025 20:08              829244
coq-coqide-server-8.20.0-2.fc42.x86_64.rpm         29-Jan-2025 20:08            28325548
coq-coqide-server-debuginfo-8.20.0-2.fc42.x86_6..> 29-Jan-2025 20:08             3834144
coq-core-8.20.0-2.fc42.x86_64.rpm                  29-Jan-2025 20:08           237782462
coq-core-debuginfo-8.20.0-2.fc42.x86_64.rpm        29-Jan-2025 20:08            19786035
coq-debuginfo-8.20.0-2.fc42.x86_64.rpm             29-Jan-2025 20:08              328793
coq-debugsource-8.20.0-2.fc42.x86_64.rpm           29-Jan-2025 20:08             2056832
hw_info.log                                        29-Jan-2025 20:08                3316
installed_pkgs.log                                 29-Jan-2025 20:08               39756
root.log                                           29-Jan-2025 20:08              299846
state.log                                          29-Jan-2025 20:08                1380