coq-elpi_1.14.0-1_amd64.buildinfo (view)

Source
coq-elpi
Version
1.14.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 14 May 2022 16:24:28 +0000
Build-Path
/build/coq-elpi-kQVqTf/coq-elpi-1.14.0

First submitted
Sat, 14 May 2022 18:17:48 +0000
SHA1 of .buildinfo
a0ea93ac687629aee00009c0f410e0ab063a23a0

Binaries

libcoq-elpi (libcoq-elpi_1.14.0-1_amd64.deb)
SHA1: 123f9c33336f02d1668a4861e6cf99b5ec6e7c1d
SHA256: baba437e4d1400afe32fba1c74cb92ffe9f6e3bb43a6c687b5e4ea8c78e16575

Size: 454,840 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.14.0-1_amd64.deb)
SHA1: 7bb19cfb4e8d824c814120af7ce14fd27e839995
SHA256: 0448ab2421f5ddc35850de248ed4f9d70f44313ef1b1c268101c09929ac0754b

Size: 6,408,420 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.14.0-1_amd64.deb)
SHA1: fae47c4cc1f0180c7ca84da25cbf10dff0588dc1
SHA256: dbd41f93a16bf7d7a7be2f6ef8f3ace573acc3d020fc7dd6c19a9c51416cc3ca

Size: 258,976 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb)
SHA1: 645dbafa7b3afbeee97e168a3ec883ceaf6f229d
SHA256: d5e4a0d3cd7779a279223fed3b937bdfc7b0629bc091f8c1877e044bcd115b1a

Size: 1,294,252 bytes

Other checksums

Submissions

vuufasz4
Submitted
Sat, 14 May 2022 18:17:49 +0000
Signed by
0xA97F8929F6604F6E

Environment


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