coq-stdpp_1.7.0-2_amd64.buildinfo (view)

Source
coq-stdpp
Version
1.7.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 16 Sep 2023 19:45:48 +0000
Build-Path
/build/1st/coq-stdpp-1.7.0

First submitted
Sun, 14 Aug 2022 13:36:19 +0000
SHA1 of .buildinfo
0d5c8665d37f46e8ae16c4764c3f8270f94fd258

Binaries

libcoq-stdpp (libcoq-stdpp_1.7.0-2_amd64.deb)
SHA1: 0dc2a3565b30ef34dbb834c7a6b855cdb10808eb
SHA256: 0a7edd6f59e275387d7305580c37aa74b7d05305e9d97178bdcfb1ddab436150

Size: 3,789,620 bytes

Other checksums

Submissions

wbj4rjis
Submitted
Sun, 14 Aug 2022 13:36:19 +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="1658393900"