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

Source
coq-elpi
Version
1.14.0-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 12 Aug 2023 13:53:48 +0000
Build-Path
/build/coq-elpi-1.14.0

First submitted
Sun, 10 Jul 2022 07:30:56 +0000
SHA1 of .buildinfo
aac027fa5d72d8f598a820b9c6a0ca99c6ac24db

Binaries

libcoq-elpi (libcoq-elpi_1.14.0-5_amd64.deb)
SHA1: 03ecb8329f0a464de343dd949b609c6fe2a6c3fb
SHA256: 2d2d7133f53326c18960cef238912c20cb09e1f16d7db1694a01c4fa7c567b9b

Size: 455,060 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.14.0-5_amd64.deb)
SHA1: baf34cdd10480dc9157ae02ab10b4f0aa0903e0a
SHA256: addf45e8efb2f5caa75ccea78239bad7ee4ec869e72ef6845a6549858f6decd6

Size: 6,404,548 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.14.0-5_amd64.deb)
SHA1: b478f59737963adfcfe29fb4e7b0718de9f2590a
SHA256: 5f4486adebd3e97a29dd2a63eaca4f7fae6698c20cdf0f40a3bada057516705c

Size: 258,984 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.14.0-5_amd64.deb)
SHA1: a14474bf963e84e7b288bae6f9ca7bc9c4237515
SHA256: 35176103433f423b475404bc58c730c13139762ae7c080e73b91d8366a8106e1

Size: 1,294,456 bytes

Other checksums

Submissions

3zsscm3g
Submitted
Sun, 10 Jul 2022 07:30:56 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1655057467"