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

Source
coq-reglang
Version
1.1.3-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 17 Nov 2023 04:49:15 +0000
Build-Path
/build/coq-reglang-1.1.3

First submitted
Fri, 14 Oct 2022 22:29:55 +0000
SHA1 of .buildinfo
3965bfb09103dfc6617fc8230c0739fe81198614

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-1_amd64.deb)
SHA1: 9b13b43218bf4875d07bab91be81c7c7e648cd04
SHA256: 777af228c3585c51ec345308cd2f42d8498b07b97b4a93b8dc214b5b22518d01

Size: 724,160 bytes

Other checksums

Submissions

b97vvtnp
Submitted
Fri, 14 Oct 2022 22:29:55 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657918418"