Index of /work/tasks/4296/132074296
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
build.log 2025-04-28 15:28 2.8M
![[ ]](/icons/unknown.gif)
coq-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 24M
coq-coqide-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 3.3M
coq-coqide-debuginfo-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 943K
coq-coqide-server-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 26M
coq-coqide-server-debuginfo-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 3.4M
coq-core-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 222M
coq-core-debuginfo-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 22M
coq-debuginfo-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 346K
coq-debugsource-8.18.0-4.fc40.x86_64.rpm 2025-04-28 15:28 1.9M
dnf5.log 2025-04-28 15:15 876K
hw_info.log 2025-04-28 15:15 3.6K
mock_config.log 2025-04-28 15:14 1.7K
mock_output.log 2025-04-28 15:28 8.8K
root.log 2025-04-28 15:28 299K
state.log 2025-04-28 15:28 1.6K