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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 21 Jul 2024 11:50:48 +0000
Build-Path
/build/1st/coq-reduction-effects-0.1.4

First submitted
Mon, 19 Jun 2023 05:30:58 +0000
SHA1 of .buildinfo
2f924a4fd5957446a20f46438b347c4d1ad4011a

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-4_amd64.deb)
SHA1: d6a3c84f6ce0d489a7eae91d1b1824e25b7aa0c0
SHA256: d25e33abc4648d953be45b390f0bfb98d0db4b852c3c2c89928c3758227ce4b2

Size: 14,344 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-4_amd64.deb)
SHA1: af57d9891808efaec2d67f7098c88ac89e196f35
SHA256: a45d10a6da58cebe7ab7116b212f83750e1560f856bc5d558278621ee4256a62

Size: 2,816 bytes

Other checksums

Submissions

79ub4ykz
Submitted
Mon, 19 Jun 2023 05:30:58 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686591196"