coq-ext-lib_0.11.7-2_amd64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.7-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 Jul 2024 17:40:16 +0000
Build-Path
/build/coq-ext-lib-0.11.7

First submitted
Wed, 7 Jun 2023 11:17:08 +0000
SHA1 of .buildinfo
1e662ffb3224713a333a9a50b47ec266b24e8a31

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-2_amd64.deb)
SHA1: 82bef99bd92f6984f1fc2362d0b15c32b0475623
SHA256: 4aefcba76b327519a2f85ad1ad61138f542ac84798bd94bf4dbbf3afed39a760

Size: 757,816 bytes

Other checksums

Submissions

vkrkkgrd
Submitted
Wed, 7 Jun 2023 11:17: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="1674629755"