coq-elpi_1.12.1-2_ppc64el.buildinfo (view)

Source
coq-elpi
Version
1.12.1-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 6 Feb 2022 12:50:05 +0000
Build-Path
/build/coq-elpi-9wN8G6/coq-elpi-1.12.1

First submitted
Sun, 6 Feb 2022 18:10:28 +0000
SHA1 of .buildinfo
6f3fd959b5cbcb23294106aaa93a2140a4c8c832

Binaries

libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.12.1-2_ppc64el.deb)
SHA1: 8424c27460bbf01f746ea8bee4b1462d59c9d71c
SHA256: 0602655a855a73cbf89ebc943a193ddbf6a846385e4e4cafcdb0d9b598dc624a

Size: 3,888,084 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.12.1-2_ppc64el.deb)
SHA1: 8e0033add0e3a79d1bf0517e269f3a7ac3eda4c5
SHA256: 4d476701067ddad5e4b00cc2ecb33f9af46c056700ca3610375db38248a10a21

Size: 178,156 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.12.1-2_ppc64el.deb)
SHA1: d7330bf0d8884ee47ad535a3fffb65dea7f3f0be
SHA256: 528cf66f54bf8c1befd1d7e0e1bb7bd468167aa869cb5cdb6064ca2ed8ba5abd

Size: 1,231,264 bytes

Other checksums

Submissions

4z44934d
Submitted
Sun, 6 Feb 2022 18:10:28 +0000
Signed by
0x4137458F517F7954

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1644148580"