coq_8.9.1-1_armhf.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 20 Aug 2019 11:16:17 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Tue, 20 Aug 2019 20:30:47 +0000
SHA1 of .buildinfo
a39bedfa420ade3f0d826d645bef76cef71958b0

Binaries

coq (coq_8.9.1-1_armhf.deb)
SHA1: 03a622571f6cc2747dd9c14e07561de05bdefbff
SHA256: 489f2ec953f9721dfe10c6c5b0bcd93847237b7b8984c19e2c9b7f15c7fdacb1

Size: 57,477,000 bytes
coq-theories (coq-theories_8.9.1-1_armhf.deb)
SHA1: 50326e87c5b0d6b3af9abf624190c6612595a008
SHA256: 9e3cc20b71f13e0247649edd48e0cb2ca5ac9431408e21bfa7356b00d384e1e1

Size: 20,352,104 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_armhf.deb)
SHA1: 4fad7a02eb131871ac1e69310811970c1c3f3f1b
SHA256: e5fa60ab6b675af040698e6f9c5630bb0bf3185c19188d9f4f5521ca6e4d9fdb

Size: 5,433,764 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_armhf.deb)
SHA1: b0415397e074c756394d2559d92dd9d92e6de403
SHA256: 3d9fef04025fb56c85f29aadb63698c6fc0e85fa1865688efbb449fe0df3a4e6

Size: 14,429,396 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_armhf.deb
SHA1: 62a16095af12e927f4c38c00777d98be82d09b46
Size: 480,032 bytes
coq-dbgsym_8.9.1-1_armhf.deb
SHA1: 509e30da5c8467701a086af1e986cc8ecfe5dfe5
Size: 3,115,692 bytes

Submissions

pf4pukqq
Submitted
Tue, 20 Aug 2019 20:30:48 +0000
Signed by
0x9538881E43D098FB jtx1b (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="1566270574"