Source
mathcomp-zify
Version
1.3.0+1.12+8.13-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 18 Oct 2023 10:38:18 +0000
Build-Path
/build/reproducible-path/mathcomp-zify-1.3.0+1.12+8.13

First submitted
Wed, 18 Oct 2023 10:42:17 +0000
SHA1 of .buildinfo
1ed31469df581ba5f97f48c83284b1fcdc8673bb

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.3.0+1.12+8.13-1_arm64.deb)
SHA1: b9f106460e8a318dd5773a50b4b049bc90b64de9
SHA256: b569aa93253e287ce0a9b859b5cdf3a0abb39edce5b63c1d14d0acf2d61f59b1

Size: 221,240 bytes

Other checksums

Submissions

Submitted
Wed, 18 Oct 2023 10:42:18 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686750464"