coq_8.9.0-1_armhf.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 22 May 2019 22:59:22 +0000
Build-Path
/build/coq-8.9.0

First submitted
Thu, 23 May 2019 00:18:35 +0000
SHA1 of .buildinfo
bd2626c7122e8a4bb52967384f7e6b52eebea906

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 2020144da9515e63578320397795ad7262e1a6ee
SHA256: c8fadbbe7fe27fc89f20e1cfe66d41c3f84afb87a6239175bd95b0486fde6fdd

Size: 57,307,464 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 806b489f3c164e2898a4f738a968d82d30f4751d
SHA256: b99e067c30951e54ba7ec35b97c4303991bd81b2d8a33152966d889cbb5c101c

Size: 20,357,644 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 2c403ef347200e03ef8307aaa2e358e2955438a5
SHA256: d21b794f4d622af27c39a99851d884f2ce96d954932898d6a02c48d8ce839535

Size: 5,380,148 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: f6d879f062438ec43baf57d585f8db4063e41f76
SHA256: c87476c506c43a58a84eeedb7f2010447c757f8a607e075d7f2ddbc6b49c3ede

Size: 14,388,672 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 553f1a5f150829be8235c6f9d2fd9b4bd67b5171
Size: 477,124 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 90c8c048d3dc5d024e33ca853bb0bfcb068a8d29
Size: 3,185,144 bytes

Submissions

4zjdmiwh
Submitted
Thu, 23 May 2019 00:18:35 +0000
Signed by
0xB31CD0602364F84B jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"