| ../ | | | Directory |
| success | 2025-Jan-06 02:52:54 | 4.00B | Text File |
| python3-cvc5-debuginfo-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:52:59 | 1.03M | RPM File |
| cvc5-java-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:52:59 | 216.05K | RPM File |
| build.info | 2025-Jan-06 01:54:45 | 59.00B | INFO File |
| cvc5-devel-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:00 | 100.76K | RPM File |
| configs.tar.gz | 2025-Jan-06 02:52:54 | 38.00K | GZ Compressed Archive |
| backend.log.gz | 2025-Jan-06 02:53:19 | 2.69K | GZ Compressed Archive |
| build.log.gz | 2025-Jan-06 01:55:22 | 957.00B | GZ Compressed Archive |
| root.log.gz | 2025-Jan-06 01:55:23 | 15.94K | GZ Compressed Archive |
| cvc5-java-debuginfo-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:01 | 1.20M | RPM File |
| cvc5-debugsource-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:02 | 2.93M | RPM File |
| build-08473367.rsync.log | 2025-Jan-06 02:52:57 | 775.00B | LOG File |
| state.log.gz | 2025-Jan-06 01:55:23 | 309.00B | GZ Compressed Archive |
| cvc5-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:03 | 115.38K | RPM File |
| chroot_scan.tar.gz | 2025-Jan-06 02:52:53 | 49.11K | GZ Compressed Archive |
| cvc5-1.2.0-2.fc42.src.rpm | 2025-Jan-06 02:53:04 | 8.19M | RPM File |
| builder-live.log.gz | 2025-Jan-06 02:52:54 | 173.44K | GZ Compressed Archive |
| cvc5-debuginfo-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:05 | 1.01M | RPM File |
| cvc5-libs-debuginfo-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:07 | 117.21M | RPM File |
| results.json | 2025-Jan-06 02:52:54 | 1.94K | JSON File |
| python3-cvc5-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:10 | 565.56K | RPM File |
| cvc5-libs-1.2.0-2.fc42.x86_64.rpm | 2025-Jan-06 02:53:10 | 5.40M | RPM File |
| hw_info.log.gz | 2025-Jan-06 01:55:25 | 1.37K | GZ Compressed Archive |
| cvc5.spec | 2025-Jan-06 01:54:48 | 9.27K | SPEC File |