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
Thu, 7 Dec 2023 18:55:42 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.4

First submitted
Thu, 7 Dec 2023 18:56:34 +0000
SHA1 of .buildinfo
145684cb7196b2a1639abe5664ad85a51516538b

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

t74sjw4d
Submitted
Thu, 7 Dec 2023 18:56:34 +0000
Signed by
0xBF8D76BED99F2426

Environment


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