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

Source
coq-elpi
Version
1.11.2-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 17 Jan 2022 08:50:30 +0000
Build-Path
/build/coq-elpi-czduyU/coq-elpi-1.11.2

First submitted
Mon, 17 Jan 2022 12:11:10 +0000
SHA1 of .buildinfo
fea0ecfd6338e779b89c8d13bdfdc6818f84b7bf

Binaries

libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.11.2-2_ppc64el.deb)
SHA1: 0707b6cd312ae13265d7622e7524c9a36280b22a
SHA256: e96a7f9c2b0fb0879c80aa890d4e807371417d2f474d50c1b8fe1b05b92bd2f5

Size: 3,858,196 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.11.2-2_ppc64el.deb)
SHA1: e1a425f17ff1c277a08de66c0e2604d384553207
SHA256: 5f244ab0e8940e82fbbe12b9d9393f0a628fb51c6b138b079c2b3fe6b2ccf6b4

Size: 175,800 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.11.2-2_ppc64el.deb)
SHA1: b20ca2cbf60d017e675d0ff0b6ff88daf6f814c9
SHA256: 573de6e3aef2518f115bc320a7d389c6474378b1e569940c208d72977ac41d69

Size: 1,214,876 bytes

Other checksums

Submissions

vxxbdujj
Submitted
Mon, 17 Jan 2022 12:11:10 +0000
Signed by
0x4137458F517F7954

Environment


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