coq-reglang_1.1.3-3_armhf.buildinfo (view)

Source
coq-reglang
Version
1.1.3-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 24 Jun 2023 17:46:35 +0000
Build-Path
/build/coq-reglang-1.1.3

First submitted
Sat, 24 Jun 2023 17:46:59 +0000
SHA1 of .buildinfo
f3f48c00041c41390caeacc1e4fc59fbef8072d1

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-3_armhf.deb)
SHA1: 5fc65551db049184d7482763d0a99017e5c864b6
SHA256: 0897dea09a06c3296bb5500c0f8e7b617b42204f0c238878e641f7d445378e23

Size: 723,604 bytes

Other checksums

Submissions

vnitdauw
Submitted
Sat, 24 Jun 2023 17:46:59 +0000
Signed by
0xB586FBCA67A0DDF7

Environment


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