coq-reglang_1.2.1-1_armhf.buildinfo (view)

Source
coq-reglang
Version
1.2.1-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 28 Jan 2024 09:46:20 +0000
Build-Path
/build/reproducible-path/coq-reglang-1.2.1

First submitted
Sun, 28 Jan 2024 09:46:58 +0000
SHA1 of .buildinfo
763adb4c6172209a75740bd8415b972901dfd14a

Binaries

libcoq-reglang (libcoq-reglang_1.2.1-1_armhf.deb)
SHA1: f6406e2fd9b72872a1106ab8f5d4cd8baeb015c3
SHA256: 073a93d42776dc28c33e961c0cea07266050ace895df269c70665c73d6b7f024

Size: 723,508 bytes

Other checksums

Submissions

i9zb4njx
Submitted
Sun, 28 Jan 2024 09:46:59 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1705780770"