Source
mathcomp-zify
Version
1.5.0+2.0+8.16-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 28 Jan 2025 07:50:17 +0000
Build-Path
/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16

First submitted
Wed, 27 Dec 2023 01:29:15 +0000
SHA1 of .buildinfo
272dcb8dd9e52b180e3f7212aa69a86218874633

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.5.0+2.0+8.16-1_arm64.deb)
SHA1: d5d1ecabb3f556196f0d2828db5e77629b5a2f33
SHA256: b591ea9150926efaa28905ad1e359d3fbbd5a343e57c8c7b2f9e0b085df108c8

Size: 239,064 bytes

Other checksums

Submissions

Submitted
Wed, 27 Dec 2023 01:29:16 +0000
Signed by
0x8C42C611576CA54A

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703240845"