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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 Apr 2024 10:05:00 +0000
Build-Path
/build/1st/coq-reduction-effects-0.1.4

First submitted
Tue, 28 Feb 2023 03:53:18 +0000
SHA1 of .buildinfo
55883001853f364d051942c147d974a0108dfe47

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-3_amd64.deb)
SHA1: a6469feb9490210cf1081ef95d2e7268cca2982d
SHA256: 5324ae9999517ba104463537da8fbbd2679cdf3947fd0e0fbd0dc8b0a8f921f1

Size: 14,168 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-3_amd64.deb)
SHA1: d589bf0a447aa6369b2ed88a71c0ed25feb503ff
SHA256: 72f8dc507e43e3a7c8101d3e3c73ab32c9de679b4f01bdfd966d487b0d797cc9

Size: 2,836 bytes

Other checksums

Submissions

ku7z44jp
Submitted
Tue, 28 Feb 2023 03:53:19 +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="1674632216"