coq-reglang_1.1.3-4_amd64.buildinfo (view)

Source
coq-reglang
Version
1.1.3-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 26 Jul 2023 11:48:15 +0000
Build-Path
/build/1st/coq-reglang-1.1.3

First submitted
Wed, 26 Jul 2023 11:52:37 +0000
SHA1 of .buildinfo
ef4afdae7b2e68b64fcae9b2403019d3acebc250

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-4_amd64.deb)
SHA1: c59764580a9103d19c76742b8b7b405607a50f3e
SHA256: ce6def0ec66b1dcd91555e3f87c666c6bf8fae9a0c14006a2a18a1292adde3ea

Size: 724,164 bytes

Other checksums

Submissions

3ngxbkwi
Submitted
Wed, 26 Jul 2023 11:52:38 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1688636798"