coq-reduction-effects_0.1.4-2_amd64.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.4-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 20 Oct 2022 06:40:28 +0000
Build-Path
/build/2/coq-reduction-effects-0.1.4/2nd

First submitted
Thu, 20 Oct 2022 06:40:46 +0000
SHA1 of .buildinfo
0782b525135f62bc5aee758b59322214a947ba83

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-2_amd64.deb)
SHA1: 476c404320043cf020f829ec59d25cc883178c57
SHA256: d9a091c6bf034b2ebbd1db0403a183d1b00997c604c32bc6bd1b8685f73c9eaa

Size: 14,092 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-2_amd64.deb)
SHA1: 903cdd6742078085074b0410599d7899427fce81
SHA256: 47028056a5c5869ceb35dde1fb5e84e1916f5f17242e87bfd4d996a001919f64

Size: 2,832 bytes

Other checksums

Submissions

ofey9gn7
Submitted
Thu, 20 Oct 2022 06:40:47 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1662394569"