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
Wed, 27 Feb 2019 21:08:17 +0000
Build-Path
/build/coq-8.9.0

First submitted
Wed, 27 Feb 2019 22:26:53 +0000
SHA1 of .buildinfo
4d43bd54606a48733af54d20f4524ea57799fa7f

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: a1abe04de5ce0b53eb4619068059694ecdcdd5e5
SHA256: 93fc14d5d25dda7fd2651abffb45254c94670f2ce0d18b6058b992810adbff07

Size: 63,309,540 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: 87dba478bb7c07b91b5a4e35d0c48bfdc004c88f
SHA256: feffae4a14f8dc24a9243f9bc38a92d249515171c9dfcdddfd0362c9cc05fe39

Size: 5,803,936 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: e3ff57104bd1cab95842b776249daa25c85163b9
SHA256: 02a5aef3bf22f3ba5fa1eab56dc8b2b6ffa49a23532952824bf15645b9224d87

Size: 14,007,544 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: 9c39c9693b0cc0d694824ba2e2be2be453619ce9
Size: 513,592 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 50c0bc67709181d19f9da1b5c8edab925a4a7ccf
Size: 3,518,184 bytes

Submissions

b7omkmak
Submitted
Wed, 27 Feb 2019 22:26:54 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"