/nix/store/k24m1w7hb70c52rdg64s3n4n7gd53zyi-Agda-2.8.0
Not Reproducible
Attestations
2
Unique Hashes
2
Unique Builders
2
Derivations
1
Attestations
2 unique hashes
Most Common
1 build
sha256:167kdqa5ah3wagia3kyw1v8chgyz5ivhg8c587a359ql9if455yk
cache 2025-12-01
Derivation:
mm0wf8y63lnzx3jiaqksz3mjfigwqf69-Agda-2.8.0.drv
Signature:
cache.nixos.org-1:/aRSauwjw6lrQESoidZ1czXHhQdpS+WRpAUNxex4V73Y7v2t9uDYw+zwrwpaljd5LgwGpTjmZNDwyvMS2if0Aw==
Variant 2
1 build
sha256:1yl3qkybnqlfbp0jjjrxr8b5az9sycgvrhq8wmb0qy2ilzx8z9n0
julien 2025-12-01
Derivation:
mm0wf8y63lnzx3jiaqksz3mjfigwqf69-Agda-2.8.0.drv
Signature:
No signature
Found in Evaluations
| Eval # | Jobset | Uploaded |
|---|---|---|
| #16 | haskell-packages | 2025-12-01 |