buildinfo.debian.net
Sources
Binaries
agda (2.6.1-1)
2.6.1-1+b4
.buildinfo files:
s390x
Reproducible
agda (2.6.1-1)_2.6.1-1+b4_s390x.buildinfo
0xD9FB15E7E713BF1A