1.3.0+1.12+8.13-1
arm64
Debian
arm64
Wed, 8 Jan 2025 09:26:36 +0000
/build/reproducible-path/mathcomp-zify-1.3.0+1.12+8.13
f3176848277b80b2c067faf8f7d87915fece0d42
libcoq-mathcomp-zify_1.3.0+1.12+8.13-1_arm64.deb
)
b9f106460e8a318dd5773a50b4b049bc90b64de9
b569aa93253e287ce0a9b859b5cdf3a0abb39edce5b63c1d14d0acf2d61f59b1
0x8C42C611576CA54A
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686750464"