coq-stdpp (1.8.0-4)_1.8.0-4+b1_i386.buildinfo (view)

Source
coq-stdpp (1.8.0-4)
Version
1.8.0-4+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 23 Jul 2023 05:26:31 +0000
Build-Path
/build/reproducible-path/coq-stdpp-1.8.0

First submitted
Sun, 23 Jul 2023 06:16:42 +0000
SHA1 of .buildinfo
6f88d49a59911f56594fc56204291e6c2456f510

Binaries

libcoq-stdpp (libcoq-stdpp_1.8.0-4+b1_i386.deb)
SHA1: 9843404d5428491d07f505816ed264b809c4f5b1
SHA256: 4b8dfd90dbe50080b134b41b396b2f789b787b09c09238919f57a71c7a71fcbe

Size: 4,048,000 bytes

Other checksums

Submissions

sekgwmh4
Submitted
Sun, 23 Jul 2023 06:16:42 +0000
Signed by
0xA2DB36DFF9287341

Environment


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