coq_8.9.1-5_arm64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 7 Feb 2020 19:01:17 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Fri, 7 Feb 2020 21:41:58 +0000
SHA1 of .buildinfo
3da4ddbce521085b11333fa210e332cd6e4459e9

Binaries

coq (coq_8.9.1-5_arm64.deb)
SHA1: f5dc1496a68d5a2ffd229b007fdd9bb038fe7c6d
SHA256: b4d5d79b88592e83e97219051efeaeccc05f3ddde1068ef67b6f9f614993dfe3

Size: 76,894,584 bytes
coqide (coqide_8.9.1-5_arm64.deb)
SHA1: fac5bd0db970b97e5b0255285a9c888d5d6e7040
SHA256: d2b6d45ae65970c66d91d12e4b2ee22d4dd00f59c82a0647590d6e53e57d793c

Size: 2,205,516 bytes
coq-theories (coq-theories_8.9.1-5_arm64.deb)
SHA1: 8ff3a2b479b919a6407b546f7652dd14c8c19610
SHA256: 7641fb34f5bc241ffcc0c1f7754da705109430090292223b86074f9fb2e89cfe

Size: 20,357,460 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_arm64.deb)
SHA1: 538371a34ffb301b7506a6a06157d64bf56ed8b6
SHA256: 37ecbbd6b0243b4ba772295821db080f8050f13f275b4d7cd9ad23fe53ae46a7

Size: 6,050,772 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_arm64.deb)
SHA1: f732d13fe0435004d7cf41b3044cef3057df5577
SHA256: 30436bcc3103da9c6a1174d2b606081888856c3b3a2a97eb5baac953a63cb492

Size: 15,422,336 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_arm64.deb
SHA1: 44cb1973510d2ee01e953cdbd5b0760a1a9b9bb5
Size: 528,700 bytes
coqide-dbgsym_8.9.1-5_arm64.deb
SHA1: bceb2ce3edd77e3b9ee940b08fc45688d3b0827e
Size: 532,504 bytes
coq-dbgsym_8.9.1-5_arm64.deb
SHA1: e75095d51c9c1355d63723cddd15b9abc7442206
Size: 4,891,660 bytes

Submissions

xr4jsncn
Submitted
Fri, 7 Feb 2020 21:41:59 +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="1580239419"