coq-bignums_8.15.0-5_amd64.buildinfo (view)

Source
coq-bignums
Version
8.15.0-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 12 Jun 2022 18:14:03 +0000
Build-Path
/build/2/coq-bignums-8.15.0/2nd

First submitted
Sun, 12 Jun 2022 18:20:27 +0000
SHA1 of .buildinfo
305f8976544c30e7a90347905cf9261da7c2a228

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-5_amd64.deb)
SHA1: 1e1a2171a2cdb33a55eb1f0df40de10dadad2bb0
SHA256: 7894eaf06840c082edf52ab4066edf73d6eaad672c8cd8576a193888ff5d36b5

Size: 1,809,344 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-5_amd64.deb)
SHA1: 7ba9658378c4880f8fcd200bd7eacae8778ff276
SHA256: 0e8584a5cf5d32bd980e40c569ade079c8af7ebe835e2ecc0f5d4bd32899de74

Size: 15,348 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-5_amd64.deb)
SHA1: 6cdba113ed4d831499cee93d7d19ba6b2a32e83c
SHA256: bff4b6043d865cff69e8243c720ae518ead58e3172983fba96f62cff06ed1f41

Size: 3,484 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-5_amd64.deb)
SHA1: 719d312e648ef482fdc016f206872c2c0c5d5192
SHA256: e05dea3808228b29b8675ef7279a0379a7492e3c6c99d590c596558b2da3cfa2

Size: 9,060 bytes

Other checksums

Submissions

d9zwgvg7
Submitted
Sun, 12 Jun 2022 18:20:27 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1655034520"