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
Mon, 29 Aug 2022 01:19:43 +0000
Build-Path
/build/coq-elpi-1.14.0

First submitted
Mon, 29 Aug 2022 01:26:21 +0000
SHA1 of .buildinfo
8cd0e329b08bfb4797d318375a2df6c743ec4af7

Binaries

libcoq-elpi (libcoq-elpi_1.14.0-5_i386.deb)
SHA1: e6a160871209cffb980b73c37d8c9532e4ca23fd
SHA256: 41f1f887ff3932c61aa5f789b4b8db17c12ada7bbd93cf12b647b89c81dee4ba

Size: 454,352 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

fhamkqam
Submitted
Mon, 29 Aug 2022 01:26:22 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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