amd64
Reproducible
arm64
Reproducible
armhf
Reproducible
i386
Reproducible
ppc64el
Reproducible
riscv64
Reproducible
coq-deriving (0.1.1-1)_0.1.1-1+b1_riscv64.buildinfo
0x1388C0F899E8336B
Aurelien Jarno <aurelien@aurel32.net>
s390x
Reproducible