coq_8.9.0-1_arm64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 25 May 2020 13:05:42 +0000
Build-Path
/build/1st/coq-8.9.0

First submitted
Tue, 23 Apr 2019 09:53:49 +0000
SHA1 of .buildinfo
e6ef1a14c20f5d7a6abf4bfdeefc7b2ace1f8ce3

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: 8cfc9a4a5f3338ca42910fed9b41ad10955c1e73
SHA256: c79e01fa596bd618029d40fb28ee3a3b85f8762e21e587345dea556bbd89e875

Size: 63,306,712 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 3b6c73451a712d4c657b730857cfc1b0ca004046
SHA256: 3816c2deec14f8c67da309097a9d944e71f95e3feba909d8c4537b62e177094f

Size: 20,368,308 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: 09ce2e7beca768cf1020d3f0d9b677d108a597ef
SHA256: 52a86ea750b619390acf088f427fa218a519e68d872210b3b334744bd130be28

Size: 5,801,732 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: 9999622e1978577c41e91c1e58083c90053efeac
SHA256: 4930633087e0de0a1f0e01e62fa2737240582dd99906622d8a7c884189cff19d

Size: 14,013,804 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: 0d0bfc48e27f29a8bb47a5f69131da5ecf64adea
Size: 512,700 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 3867564236daa7a8698283a7a7ccc700c887301d
Size: 3,354,644 bytes

Submissions

navxywdy
Submitted
Tue, 23 Apr 2019 09:53:49 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1549474869"