1.2.0+1.12+8.13-6
arm64
Debian
arm64
Wed, 17 Jan 2024 09:54:42 +0000
/build/mathcomp-zify-1.2.0+1.12+8.13
360ea61386a9700b203c84c25cd185fd6b29ee10
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6_arm64.deb
)
1a6d0733ca8689a729af3c8ca896c80c7d36d04a
f0d0df427b01ac5290bb9a6f79bd16d6f3e9276aa044b967a6030ba98a280481
0xAAA3AE5F86A5D0BA
codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657005570"