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
Mon, 20 Jan 2025 20:26:40 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.4

First submitted
Tue, 19 Dec 2023 14:03:48 +0000
SHA1 of .buildinfo
58380622df000c2ce1c045bd453646a683d4eee9

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-4_arm64.deb)
SHA1: f9499172a87ae775cecb86f451ba8bd20819ee7a
SHA256: 36ff5c04a2eba8d80e0e44dcded7bb5eb0f180fbda0b500b87ef41824f4c19a5

Size: 14,616 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-4_arm64.deb)
SHA1: 0cb03420506065f486aa5f539aed8143ba9e69f6
SHA256: b874c513b5fb6e6ca07ee5a54df87a5e68752b0ff85b9a0e149552e5ce986944

Size: 2,968 bytes

Other checksums

Submissions

tuqfsj9q
Submitted
Tue, 19 Dec 2023 14:03:48 +0000
Signed by
0x8C42C611576CA54A

Environment


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