Index of /results/churchyard/setuptools-80.9.0:custom:isolated/fedora-rawhide-x86_64/09650076-Agda/

NameLast ModifiedSizeType
../  Directory
ghc-fmlist-devel-0.9.4-56.fc44.x86_64.rpm2025-Oct-07 12:01:5538.67K RPM File
ghc-ListLike-4.7.8.3-56.fc44.x86_64.rpm2025-Oct-07 12:01:56432.77K RPM File
ghc-Agda-devel-2.8.0-56.fc44.x86_64.rpm2025-Oct-07 12:01:5724.96M RPM File
ghc-pqueue-prof-1.5.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:01:58354.49K RPM File
ghc-peano-prof-0.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:01:5936.88K RPM File
ghc-process-extras-prof-0.7.4-56.fc44.x86_64.rpm2025-Oct-07 12:01:59104.36K RPM File
ghc-pqueue-devel-1.5.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:00235.73K RPM File
ghc-nonempty-vector-prof-0.2.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:01222.43K RPM File
ghc-ListLike-prof-4.7.8.3-56.fc44.x86_64.rpm2025-Oct-07 12:02:03989.77K RPM File
ghc-nonempty-vector-doc-0.2.4-56.fc44.noarch.rpm2025-Oct-07 12:02:04124.71K RPM File
success2025-Oct-07 12:01:514.00B 0:CUSTOM:ISOLATED/FEDORA-RAWHIDE-X86_64/09650076-AGDA//SUCCESS File
ghc-nonempty-vector-devel-0.2.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:04146.38K RPM File
ghc-show-combinators-doc-0.2.0.0-56.fc44.noarch.rpm2025-Oct-07 12:02:0555.91K RPM File
build-09650076.rsync.log2025-Oct-07 12:01:542.80K LOG File
ghc-ap-normalize-0.1.0.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:0619.79K RPM File
ghc-nonempty-containers-prof-0.3.5.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:07522.09K RPM File
ghc-fmlist-0.9.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:0827.78K RPM File
ghc-vector-hashtables-devel-0.1.2.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:08200.69K RPM File
ghc-vector-hashtables-prof-0.1.2.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:09336.54K RPM File
ghc-nonempty-containers-doc-0.3.5.0-56.fc44.noarch.rpm2025-Oct-07 12:02:10297.46K RPM File
build.info2025-Oct-07 11:31:2859.00B INFO File
configs.tar.gz2025-Oct-07 12:01:5144.61K GZ Compressed Archive
backend.log.gz2025-Oct-07 12:02:418.05K GZ Compressed Archive
ghc-generic-data-prof-1.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:02:11255.18K RPM File
ghc-ap-normalize-devel-0.1.0.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:1126.67K RPM File
ghc-vector-hashtables-0.1.2.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:12131.31K RPM File
build.log.gz2025-Oct-07 11:32:28932.00B GZ Compressed Archive
ghc-pqueue-doc-1.5.0.0-56.fc44.noarch.rpm2025-Oct-07 12:02:13160.20K RPM File
Agda.spec2025-Oct-07 11:31:3225.66K SPEC File
ghc-murmur-hash-devel-0.1.0.11-56.fc44.x86_64.rpm2025-Oct-07 12:02:1432.51K RPM File
Agda-common-2.8.0-56.fc44.noarch.rpm2025-Oct-07 12:02:14579.39K RPM File
ghc-Agda-prof-2.8.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:1536.72M RPM File
ghc-vector-hashtables-doc-0.1.2.1-56.fc44.noarch.rpm2025-Oct-07 12:02:1694.01K RPM File
root.log.gz2025-Oct-07 11:32:2818.08K GZ Compressed Archive
ghc-process-extras-0.7.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:1750.13K RPM File
ghc-show-combinators-0.2.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:1816.30K RPM File
state.log.gz2025-Oct-07 11:32:28310.00B GZ Compressed Archive
ghc-Agda-2.8.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:1911.11M RPM File
chroot_scan.tar.gz2025-Oct-07 12:01:4926.53K GZ Compressed Archive
ghc-nonempty-containers-0.3.5.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:19211.13K RPM File
ghc-peano-0.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:02:2024.16K RPM File
ghc-show-combinators-prof-0.2.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:2121.67K RPM File
ghc-murmur-hash-0.1.0.11-56.fc44.x86_64.rpm2025-Oct-07 12:02:2223.57K RPM File
builder-live.log.gz2025-Oct-07 12:01:51161.32K GZ Compressed Archive
ghc-ListLike-devel-4.7.8.3-56.fc44.x86_64.rpm2025-Oct-07 12:02:22687.42K RPM File
Agda-2.8.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:2310.47M RPM File
ghc-generic-data-1.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:02:2485.52K RPM File
ghc-pqueue-1.5.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:25122.11K RPM File
ghc-process-extras-devel-0.7.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:2680.83K RPM File
ghc-process-extras-doc-0.7.4-56.fc44.noarch.rpm2025-Oct-07 12:02:2677.28K RPM File
results.json2025-Oct-07 12:01:5110.04K JSON File
Agda-2.8.0-56.fc44.src.rpm2025-Oct-07 12:02:272.19M RPM File
hw_info.log.gz2025-Oct-07 11:32:301.40K GZ Compressed Archive
ghc-ListLike-doc-4.7.8.3-56.fc44.noarch.rpm2025-Oct-07 12:02:28162.74K RPM File
ghc-generic-data-devel-1.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:02:29180.07K RPM File
ghc-fmlist-prof-0.9.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:3054.59K RPM File
ghc-peano-devel-0.1.0.2-56.fc44.x86_64.rpm2025-Oct-07 12:02:3030.08K RPM File
ghc-ap-normalize-prof-0.1.0.1-56.fc44.x86_64.rpm2025-Oct-07 12:02:3134.05K RPM File
ghc-nonempty-vector-0.2.4-56.fc44.x86_64.rpm2025-Oct-07 12:02:3298.73K RPM File
ghc-murmur-hash-doc-0.1.0.11-56.fc44.noarch.rpm2025-Oct-07 12:02:3351.76K RPM File
ghc-nonempty-containers-devel-0.3.5.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:33366.20K RPM File
ghc-show-combinators-devel-0.2.0.0-56.fc44.x86_64.rpm2025-Oct-07 12:02:3418.63K RPM File
ghc-generic-data-doc-1.1.0.2-56.fc44.noarch.rpm2025-Oct-07 12:02:35188.38K RPM File
ghc-Agda-doc-2.8.0-56.fc44.noarch.rpm2025-Oct-07 12:02:366.33M RPM File
ghc-ap-normalize-doc-0.1.0.1-56.fc44.noarch.rpm2025-Oct-07 12:02:3753.05K RPM File
ghc-fmlist-doc-0.9.4-56.fc44.noarch.rpm2025-Oct-07 12:02:3854.52K RPM File
ghc-peano-doc-0.1.0.2-56.fc44.noarch.rpm2025-Oct-07 12:02:3945.98K RPM File
ghc-murmur-hash-prof-0.1.0.11-56.fc44.x86_64.rpm2025-Oct-07 12:02:3941.21K RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project