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

Source
coq-reglang
Version
1.2.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 1 Feb 2024 11:35:30 +0000
Build-Path
/build/reproducible-path/coq-reglang-1.2.1

First submitted
Thu, 1 Feb 2024 11:35:37 +0000
SHA1 of .buildinfo
d2336b0e639bf2b336a8d1dea62e9620bfe3f310

Binaries

libcoq-reglang (libcoq-reglang_1.2.1-1_amd64.deb)
SHA1: c4fd9d77f79891be2a665bc61a2e1406cff550f6
SHA256: 05cfb1cf648284e0c3ba8e9a76cb15aa560f308091f55817512f85335a696995

Size: 723,864 bytes

Other checksums

Submissions

vmgvjvjj
Submitted
Thu, 1 Feb 2024 11:35:38 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1705780770"