coq-ext-lib_0.11.8-1_amd64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.8-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 4 Nov 2024 21:05:14 +0000
Build-Path
/build/reproducible-path/coq-ext-lib-0.11.8

First submitted
Tue, 3 Oct 2023 14:50:08 +0000
SHA1 of .buildinfo
6ce1bb31928930e4ca22ad4e08263adf3d298fe7

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.8-1_amd64.deb)
SHA1: dbd953e73556bbf5bfc6773e5f293e6463e7dacd
SHA256: 38ab8b4be67071bd5110f7801124fdedf871a0970d1cb3c8bb052ab248b43995

Size: 758,156 bytes

Other checksums

Submissions

bvr9iqra
Submitted
Tue, 3 Oct 2023 14:50:09 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1686590986"