coq-bignums_8.15.0-7_arm64.buildinfo (view)

Source
coq-bignums
Version
8.15.0-7
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 11 Jul 2022 14:34:54 +0000
Build-Path
/build/coq-bignums-8.15.0

First submitted
Mon, 11 Jul 2022 14:42:11 +0000
SHA1 of .buildinfo
3dada15507878b501fc55aac93d2fb80cf887b07

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-7_arm64.deb)
SHA1: f466dd7e3986746091537b5d181ed77c07c3b368
SHA256: 0343688aa60a2d534d0b6c0b6e1815376ae2951865c87c2f35a7a5a2a2705dbd

Size: 1,809,380 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-7_arm64.deb)
SHA1: 790f344055b6506255c0269d423ebb1201a2bbe3
SHA256: f1545806ff2c89ac27eb6b97525c4bd02741811afe258d43b872216c2822bb6a

Size: 15,696 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-7_arm64.deb)
SHA1: dd03640e0d4387ab3078d4852e8e38f96a94b004
SHA256: 67f2c2c1e43cda7bd55d41cc8bbea398d0cb0671ac69b91eb05b502b6eba3bf2

Size: 3,676 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-7_arm64.deb)
SHA1: 0738ee58944aa47e81d5b3f83575b2775867516d
SHA256: f5fba362023dd2f44b6f8f39f58b5b734ef488ba101658865a9d192b5d0c52af

Size: 9,144 bytes

Other checksums

Submissions

g9ussbne
Submitted
Mon, 11 Jul 2022 14:42:12 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1655281124"