coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_amd64.buildinfo (view)

Source
coq-reduction-effects (0.1.4-4)
Version
0.1.4-4+b2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Sep 2023 12:37:03 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.4

First submitted
Fri, 22 Sep 2023 18:10:45 +0000
SHA1 of .buildinfo
34ec7ded2e2b1502b8855d3582cc4626fcc6f505

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-4+b2_amd64.deb)
SHA1: a867ea51b9a437a8335c532e7c564807fd67c0ec
SHA256: 6d7346b288d2456d070fddc386da9cd93cfa7fea9d2986dd068fecf07780e207

Size: 14,688 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-4+b2_amd64.deb)
SHA1: fa688b123d09ec4c5b3610197344dcd785957647
SHA256: 3bcbda146b31b0d1c449db9691335a1f7f24648372039f3a8e8cf13ca8c2757c

Size: 2,828 bytes

Other checksums

Submissions

stc4puty
Submitted
Fri, 22 Sep 2023 18:10:45 +0000
Signed by
0x65797FEA1E7E894E

Environment


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