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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 15 Dec 2022 17:47:33 +0000
Build-Path
/build/1st/coq-ext-lib-0.11.7

First submitted
Thu, 15 Dec 2022 17:49:26 +0000
SHA1 of .buildinfo
8f4703fcbc0f10604813586ca9aa9765b4e2dfaf

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-1_amd64.deb)
SHA1: b328fd7c481ada294c7b97fc4c90ce42a24a6384
SHA256: 0cb851c220d49f3fc30f92803c32222b3844d6cc387f016c0fa1871dc3119780

Size: 757,848 bytes

Other checksums

Submissions

pu3rdiod
Submitted
Thu, 15 Dec 2022 17:49:26 +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="1660426835"