coq-elpi_1.14.0-5_i386.buildinfo (view)

Source
coq-elpi
Version
1.14.0-5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 1 Oct 2023 07:49:06 +0000
Build-Path
/build/coq-elpi-1.14.0

First submitted
Mon, 29 Aug 2022 01:26:22 +0000
SHA1 of .buildinfo
f5a0fe1bdf35f0be1fd3b684923d13151ffe7ba2

Binaries

libcoq-elpi (libcoq-elpi_1.14.0-5_i386.deb)
SHA1: 86354bfc447f7ddf0e5145ca2930ef42909f9a24
SHA256: 05c4372368fbe586d5e7a8a1b2861763b090165b487e7282128c3c784ea31c41

Size: 454,356 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.14.0-5_i386.deb)
SHA1: 3b25b14389a552eb07542f2d09371196e2099382
SHA256: 3bdb346ed9365f4b0e9adf379ed0ffe5e51b7071f995217eaa8bb15fb9edc352

Size: 6,327,436 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.14.0-5_i386.deb)
SHA1: 19b0573d302b35d1c312912725d3384f907c61a7
SHA256: 1a23f5437573b77949a547af854a174b60dfc80790259d9b0bd18f6791c31204

Size: 321,188 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.14.0-5_i386.deb)
SHA1: 3cc33239761fc88984a505f886b714f2f2a74dd5
SHA256: 5e25bd7cb46027ddd1eeb6abeaaf0d4da102d1f51080adc7922c5161be509a6d

Size: 1,298,000 bytes

Other checksums

Submissions

utxziuuf
Submitted
Mon, 29 Aug 2022 01:26:23 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1655057467"