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

Source
coq-stdpp
Version
1.8.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 11 Sep 2022 11:52:51 +0000
Build-Path
/build/coq-stdpp-Bz5pvq/coq-stdpp-1.8.0

First submitted
Sun, 11 Sep 2022 12:12:22 +0000
SHA1 of .buildinfo
d89bd7d109edc94a6e6380425d8fb2589dae69e0

Binaries

libcoq-stdpp (libcoq-stdpp_1.8.0-2_amd64.deb)
SHA1: 65141d7d07c0c16a1cdd7a6327cf012333421f72
SHA256: 672c51d9b0a7505942b09a72a1f724c6405ac161a78108d47fca238001b9c068

Size: 4,060,600 bytes

Other checksums

Submissions

syvuvt4h
Submitted
Sun, 11 Sep 2022 12:12:23 +0000
Signed by
0xA57296EC987C3292

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1662894365"