../ | | | Directory |
chroot_scan/ | 2024-Mar-29 21:14:24 | -- | Directory |
python3-cvc5-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:00 | 477.02K | RPM File |
success | 2024-Mar-29 21:29:57 | 4.00B | 23/FEDORA-41-AARCH64/07233498-CVC5//SUCCESS File |
cvc5-debugsource-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:00 | 2.76M | RPM File |
cvc5-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:01 | 114.39K | RPM File |
cvc5-libs-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:02 | 5.13M | RPM File |
cvc5-1.1.2-2.fc41.src.rpm | 2024-Mar-29 21:30:03 | 7.87M | RPM File |
cvc5-java-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:04 | 168.43K | RPM File |
build.info | 2024-Aug-12 17:40:18 | 76.00B | INFO File |
configs.tar.gz | 2024-Mar-29 21:29:57 | 35.21K | GZ Compressed Archive |
backend.log.gz | 2024-Mar-29 21:30:22 | 2.63K | GZ Compressed Archive |
cvc5-java-debuginfo-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:05 | 1.06M | RPM File |
build.log.gz | 2024-Mar-29 21:14:24 | 959.00B | GZ Compressed Archive |
cvc5-debuginfo-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:05 | 1.07M | RPM File |
root.log.gz | 2024-Mar-29 21:14:24 | 16.53K | GZ Compressed Archive |
state.log.gz | 2024-Mar-29 21:14:24 | 330.00B | GZ Compressed Archive |
cvc5-devel-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:06 | 79.61K | RPM File |
builder-live.log.gz | 2024-Mar-29 21:29:57 | 97.90K | GZ Compressed Archive |
results.json | 2024-Mar-29 21:29:57 | 1.95K | JSON File |
cvc5-libs-debuginfo-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:08 | 105.16M | RPM File |
hw_info.log.gz | 2024-Mar-29 21:14:26 | 918.00B | GZ Compressed Archive |
build-07233498.rsync.log | 2024-Mar-29 21:29:58 | 1.18K | LOG File |
python3-cvc5-debuginfo-1.1.2-2.fc41.aarch64.rpm | 2024-Mar-29 21:30:09 | 1.73M | RPM File |
cvc5.spec | 2024-Mar-29 21:13:47 | 9.27K | SPEC File |