coq_8.9.1-2_arm64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 12 Dec 2020 23:57:52 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Sun, 10 Nov 2019 19:36:16 +0000
SHA1 of .buildinfo
ed68dc723aa9dfdb0fb8b2841c2e58445f536aef

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: 27b21e5f21b68ccce3a8f65ab407fa7d69be6d4e
SHA256: 574d8213d08813a153ea055b3320dd691f96046baf697b998895bc93f4578f3a

Size: 67,149,152 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: 102221769a89ce008b44de49abdaf7ab18eaa76b
SHA256: 04f3878688dcdba0785ac919c2d88981a80cd765c11c45acc488ab5c7448f57d

Size: 20,376,240 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: fb4ed1962b4eac490c1ee37f80bccf81d6a07a71
SHA256: f665517005595bf1c8220a956b536362e899b645de9bb6390e07f87300e4506b

Size: 6,047,260 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: 6a8feed5a39ca1ac292bd8dd822de8750c648788
SHA256: 3e34c08d5dfb6ecb2f80b978c1bf48eb127f2034e778df88923f80fd2d627709

Size: 14,427,008 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: ab063da220250bd20108860701f51b34893fb4d3
Size: 528,004 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 6da37f5dde9585b2a3a5f0c301b5bdc494750a71
Size: 3,572,408 bytes

Submissions

xmj4qgtk
Submitted
Sun, 10 Nov 2019 19:36:17 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1573228126"