coq-elpi_1.19.3-2_amd64.buildinfo (view)

Source
coq-elpi
Version
1.19.3-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 7 Feb 2025 10:47:14 +0000
Build-Path
/build/reproducible-path/coq-elpi-1.19.3

First submitted
Sat, 6 Jan 2024 04:34:09 +0000
SHA1 of .buildinfo
e43cc7b48191bf2ee2068587dcdf3edfd8e0b527

Binaries

libcoq-elpi (libcoq-elpi_1.19.3-2_amd64.deb)
SHA1: ae5ebf113de152a95f8a0f987cab873f1a03a2cc
SHA256: d29829067376bff051cb188a23ce19361c6e601f00853ac65885dd88789ddcc2

Size: 2,575,032 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.19.3-2_amd64.deb)
SHA1: a57154ccf01d5ba4f1727699332bc9c6b5780c73
SHA256: a6f479e4fd852fe57d0c9a3e7d362f5371c8509507b817b65c2a9a9e4de57c60

Size: 114,308 bytes

Other checksums

Submissions

qrmfi3ov
Submitted
Sat, 6 Jan 2024 04:34:09 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1704268284"