mm0wf8y63lnzx3jiaqksz3mjfigwqf69-Agda-2.8.0.drv
Not Reproducible
Outputs
2
Total Attestations
3
Unique Builders
2
Evaluations
1
Outputs
| Output Path | Status | Attestations | Hashes | |
|---|---|---|---|---|
/nix/store/6cfk9vpvp4fdps078zmh0j2vhpc73dr4-Agda-2.8.0-bin
|
Pending | 1 | 1 | |
|
All Match
1 build
sha256:174bskvlqfj9b78sgd2k2dz0wblfb7whizf0zz11b37c479i98sl
julien 2025-12-01
Signature:
No signature
|
||||
/nix/store/k24m1w7hb70c52rdg64s3n4n7gd53zyi-Agda-2.8.0
|
Not Reproducible | 2 | 2 | |
|
Most Common
1 build
sha256:167kdqa5ah3wagia3kyw1v8chgyz5ivhg8c587a359ql9if455yk
cache 2025-12-01
Signature:
cache.nixos.org-1:/aRSauwjw6lrQESoidZ1czXHhQdpS+WRpAUNxex4V73Y7v2t9uDYw+zwrwpaljd5LgwGpTjmZNDwyvMS2if0Aw==
Variant 2
1 build
sha256:1yl3qkybnqlfbp0jjjrxr8b5az9sycgvrhq8wmb0qy2ilzx8z9n0
julien 2025-12-01
Signature:
No signature
|
||||
Found in Evaluations
| Eval # | Jobset | Uploaded |
|---|---|---|
| #16 | haskell-packages | 2025-12-01 |