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 12:35:00 +0000
Build-Path
/build/coq-bignums-5UvE65/coq-bignums-8.15.0

First submitted
Sun, 12 Jun 2022 18:11:35 +0000
SHA1 of .buildinfo
c9a994e165bee64486e980ccd85b4cb7d4fd9994

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

33xkhheb
Submitted
Sun, 12 Jun 2022 18:11:35 +0000
Signed by
0xA97F8929F6604F6E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1655034520"