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
Tue, 12 May 2020 11:45:24 +0000
Build-Path
/build/coq-8.9.0

First submitted
Wed, 10 Apr 2019 06:37:57 +0000
SHA1 of .buildinfo
3ebe59e67e2804bc9ce36ff3c933e2f9e733860c

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: 38b2075da28bd3c8143a3667ff045332649a4718
SHA256: b52c44ac9c84b5d2351043a2fe13e30fda985b1388335e20cb3438f619d1e264

Size: 63,295,848 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 252847f7ce2141d4e3e3915d71a76841cc565742
SHA256: f89f756b7730c83400d8dd07cff844ebc07bdef62da684a2535931f0135eb1bf

Size: 20,368,224 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: cdb02ac32e795def799f5a65a7a63f04d30b24e8
SHA256: 093aa01a6c2b8c14b6de5746b37abfaadad13724c9582e07636195014bb2b30c

Size: 5,802,404 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: 628bd93f8955a72330f99a4a73b2dd4da562145f
SHA256: dad42ba808dfd9e38113da1d89210df1a2b25a3465f682c6cbc1e7515f7db783

Size: 14,002,944 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: f5dbca7d7b2c75c747cbefd989cd04da8c27cbc6
Size: 513,888 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 8b99173713ea1e71ab49b731fe7e4ef6fa113b94
Size: 3,540,844 bytes

Submissions

y34qrn9a
Submitted
Wed, 10 Apr 2019 06:37:57 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"