coq-bignums_8.15.0-3_armhf.buildinfo (view)

Source
coq-bignums
Version
8.15.0-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 1 Jun 2022 20:34:59 +0000
Build-Path
/build/1st/coq-bignums-8.15.0

First submitted
Wed, 1 Jun 2022 21:00:14 +0000
SHA1 of .buildinfo
0ffa66c50a0043c0b11d2ffab540eb8aa8b737ff

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-3_armhf.deb)
SHA1: 5fa4b02d7074ff80cb51c5fa82c25c706a62eaa9
SHA256: 3c4d4db0efe4bca35c624ced1ca6baaba9f24f3491cfd49e392b106ef32d8e21

Size: 1,809,036 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-3_armhf.deb)
SHA1: fb24644853f39ecc7b72bfc9c17f1317bfd6a8aa
SHA256: 6a22f87d28c9c7313f78b56f22639cfa66930a5018dcd09eafcc281d937da7c1

Size: 14,720 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-3_armhf.deb)
SHA1: ede9223eb8c20988bacce29151c1db07d80cf5f6
SHA256: 579a647032992e7987eacfc0b81194ef22f4355e137642c60adcf85c746007b5

Size: 3,868 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-3_armhf.deb)
SHA1: 6e88ce70d5ca2078e0b4e12ecad8f3829efdebf8
SHA256: acf796346a11319028817a7ee325d37896be87e1ec993a223f2a8092e25db69d

Size: 8,976 bytes

Other checksums

Submissions

cxjuixbj
Submitted
Wed, 1 Jun 2022 21:00:16 +0000
Signed by
0xCDD42D70685A0E01

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1654088876"