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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 4 Apr 2024 17:04:51 +0000
Build-Path
/build/reproducible-path/coq-reduction-effects-0.1.5

First submitted
Thu, 4 Apr 2024 17:06:01 +0000
SHA1 of .buildinfo
b57ff32119e061b9f59307f0e54ced41eb9fb55e

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.5-1_amd64.deb)
SHA1: bbe80bccd96ed895cf7c881806e1a277d0c307bc
SHA256: 0c03efe813534adff6d70762b3afa6a89ef852c1c2716bc0fb3f775dbb98cb89

Size: 14,340 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.5-1_amd64.deb)
SHA1: 8780d8b5ef522510f801fb28d8e4ca1238f48f23
SHA256: c5254030be35a04826e5684e8dae6d3fe60ac200f6923cfaba8fc45e207d9bff

Size: 2,820 bytes

Other checksums

Submissions

nkdenpbi
Submitted
Thu, 4 Apr 2024 17:06:02 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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