coq-elpi_1.13.0-5_all.buildinfo (view)

Source
coq-elpi
Version
1.13.0-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 13 Apr 2022 13:05:55 +0000
Build-Path
/build/1st/coq-elpi-1.13.0

First submitted
Wed, 13 Apr 2022 13:17:57 +0000
SHA1 of .buildinfo
39131dc0cf1079c460b8dd3e9d1ca862046954d3

Binaries

libcoq-elpi (libcoq-elpi_1.13.0-5_all.deb)
SHA1: 8a687f9ab27067b769a8615ab1d1ea6b6d38891e
SHA256: ca9d356b28a7700f1e154fca25deb3aad8bff99e9acc0e3cd90b5ae46f756cb5

Size: 456,436 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-5_arm64.deb)
SHA1: 6c80c1ca8c85e8a79bed0820a7a37a0a3cc0e997
SHA256: f10e31b7d5b59dcd5124fe30cf2878d20f1f3fd9352a638102dd063adcecd832

Size: 3,672,552 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-5_arm64.deb)
SHA1: 974442dc265d38c4c5733be4050d0586718b79c2
SHA256: 5899df889e994cd820cc77a52b00ddefdd8d20c648f09b8c23157b83e9bc0486

Size: 219,516 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-5_arm64.deb)
SHA1: 62d4b506d848a6b124eec5a2c165c8b11899e2cf
SHA256: 18809f0c853fd971e9dd319f41e78ebc59f1b86e66bc954df6bbb16be3d5e852

Size: 1,303,608 bytes

Other checksums

Submissions

snv3nxuy
Submitted
Wed, 13 Apr 2022 13:17:58 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1649833311"