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

Source
coq-reglang
Version
1.2.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 22 May 2025 14:15:27 +0000
Build-Path
/build/reproducible-path/coq-reglang-1.2.1

First submitted
Fri, 19 Apr 2024 07:53:56 +0000
SHA1 of .buildinfo
4d45f0fe6cc34292bf7502b656b152556a854552

Binaries

libcoq-reglang (libcoq-reglang_1.2.1-1_arm64.deb)
SHA1: c04d5694d816c78b0f24493a4b6d4dcea5258b13
SHA256: 7b626e042e65da1d3e67fed971c06afef264ea3335573077575fbea8dcfb07ee

Size: 723,852 bytes

Other checksums

Submissions

acutggfh
Submitted
Fri, 19 Apr 2024 07:53:56 +0000
Signed by
0xB2C8EDB564786B74

Environment


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