coq-reduction-effects_0.1.5-1_armhf.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.5-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 21 Apr 2024 22:27:24 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.5

First submitted
Sun, 21 Apr 2024 22:32:26 +0000
SHA1 of .buildinfo
3f45a2290c2f325b4c87998bd8caedc67eee5b89

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.5-1_armhf.deb)
SHA1: 56dbb49f076a8a40a8f09a26ef4e7110ce27ad61
SHA256: 9c24d321b4142fc34581436c0e6a62ae716f05e3d8403f106ab9c941efc5ba59

Size: 13,916 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.5-1_armhf.deb)
SHA1: 257936e9d2ca8e91b8322b629c1cd2cce83ef635
SHA256: d13ea2883fca3e538360cc6146643a0d8f393d4edbd83d8ba592d20a6a464d83

Size: 3,080 bytes

Other checksums

Submissions

ncpcdtqm
Submitted
Sun, 21 Apr 2024 22:32:26 +0000
Signed by
0x2738E803AC4FE478

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703171084"