coq-elpi_1.13.0-7_arm64.buildinfo (view)

Source
coq-elpi
Version
1.13.0-7
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 25 May 2023 09:39:20 +0000
Build-Path
/build/coq-elpi-1.13.0

First submitted
Fri, 22 Apr 2022 04:53:51 +0000
SHA1 of .buildinfo
274d211cd1c5a3b0d68f5cae7c8ad5588a07e4c9

Binaries

libcoq-elpi (libcoq-elpi_1.13.0-7_arm64.deb)
SHA1: 98c2656ec398779d2d0834bb29152a33880edbc0
SHA256: 3580c6eb7332f8fa67ba7c694031615ce555a397b127595dce4a36729de894b5

Size: 456,512 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-7_arm64.deb)
SHA1: 7110baf999d3c9297e373f743fe892cac846e46b
SHA256: 993e8bfabdc920f26e70a7e508d42229019a3f722abc1ee6de1f9072907bbfe7

Size: 3,672,444 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-7_arm64.deb)
SHA1: b1bb8a15404709e4dc873cfcc832236bd771e88e
SHA256: efa972553f5b67e46e868d85b461ebd8b3d7d7f2caaf9a3ca47d0af92356a79d

Size: 219,652 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-7_arm64.deb)
SHA1: c1432bd3e7d3b6d20ebfc412b85c220dcb5ae49a
SHA256: deb3e6b4912a42ca67aa5aa40ca4d6e7788e0646b9c8788ec639b036f30f7398

Size: 1,305,336 bytes

Other checksums

Submissions

ywchnrxf
Submitted
Fri, 22 Apr 2022 04:53:52 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1650196122"