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
Sun, 16 Jul 2023 04:54:01 +0000
Build-Path
/build/1st/coq-elpi-1.14.0

First submitted
Sun, 12 Jun 2022 22:52:03 +0000
SHA1 of .buildinfo
686c92bd73198d54ccafbfcf57513227f2b56469

Binaries

libcoq-elpi (libcoq-elpi_1.14.0-5_amd64.deb)
SHA1: 950acab8bbbfc9e5902b88f6d0f62ecee067700c
SHA256: b7a10c86c2b3b38b9bd66fc40009de4300c995d5980125501ec39047de2a8711

Size: 455,932 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

4gaxourf
Submitted
Sun, 12 Jun 2022 22:52:03 +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"