coq-reduction-effects_0.1.4-4_arm64.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.4-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 26 Dec 2023 20:43:49 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.4

First submitted
Tue, 26 Dec 2023 20:43:57 +0000
SHA1 of .buildinfo
76f590a6b70d08cdbb902761c4b2a7e69569153f

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-4_arm64.deb)
SHA1: 0acbd411afd3c6cf7420a57e8ddad471c7b107ca
SHA256: 6bd4e394d3b37c4cde071d6fd74abb3562baf55d71af233ad278a4b1b168be4a

Size: 14,620 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-4_arm64.deb)
SHA1: 119a594f4e590bf01fe946f84adc5e325e1665d1
SHA256: c86ff5d5d0b0e63d4ebeb198a56b132052992fd4f3ff313b3b4be9dbebd90228

Size: 2,964 bytes

Other checksums

Submissions

ufdbosmg
Submitted
Tue, 26 Dec 2023 20:43:58 +0000
Signed by
0xF088F61B03D475A8

Environment


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