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 20:38:10 +0000
Build-Path
/build/coq-8.9.0

First submitted
Thu, 23 May 2019 00:18:01 +0000
SHA1 of .buildinfo
6fb15b2c1e60c0da0810841b00d47519e34f280c

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 8ee8a2c003f1122cfe13b7d6c516d3b1af67eecb
SHA256: 6a51f0578f52f5b60d7f2329678fa9fd5ca1c31fb32a28a7d9b18319f10386f7

Size: 57,312,312 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: adcf7b02fbcecefa2a07e831e7e6aae8dcb6bdbe
SHA256: 46eb910a4aa76ad00237405aa0ce8a3b57d93a4362231bc9ae4829a6b7f4d5ef

Size: 20,356,316 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 28e5147fd42fbd4f517a153e0aa78c87f4f496a2
SHA256: 43edf14a8ef6b66ff584b5a4d89cb6d168838777952c37eadb6fbdfbf88e1887

Size: 5,380,696 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: fc4229ebad3b8a7af79bfa9c15416edb3cda8412
SHA256: 8a379fed791fb88597ee54524eac5711cd6d3931864c659b9f551ad50a24dd91

Size: 14,394,524 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 36b4716134d2239eaf2376219c587f01360a46d3
Size: 476,576 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: cda0f800db6503bf325d47d09d33fdde9ed0980b
Size: 3,247,952 bytes

Submissions

r9bwi74w
Submitted
Thu, 23 May 2019 00:18:01 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (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"