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 04:18:55 +0000
Build-Path
/build/coq-plG9SK/coq-8.9.1

First submitted
Tue, 20 Aug 2019 14:13:59 +0000
SHA1 of .buildinfo
9d596c555e3271d080136a398061c15c2cf1db7a

Binaries

coq (coq_8.9.1-1_armhf.deb)
SHA1: fffda365d9079c9aa210bc2c4bbff9d15b1461f4
SHA256: bc190bc337ff96e4a065f7ed66a984814fc79293865e0d4564e011cac9549eeb

Size: 57,471,260 bytes
coq-theories (coq-theories_8.9.1-1_armhf.deb)
SHA1: 0db9a91e5b5cbb51612036655600da2985c5c1ab
SHA256: ae3f55eef23e599f26d899bf3c84f2c993413123ca06b7e674a8072d5d05cbbb

Size: 20,351,520 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_armhf.deb)
SHA1: b89882c773fa8f4aa390aebf0e9720455d375b15
SHA256: eb3492c3a00cf6bed42b1f62f603bda29c943170b8cbe294fcc3ed8127a56070

Size: 5,439,092 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_armhf.deb)
SHA1: f550a91c06934d0bbd811f3db381fab5d090e5b0
SHA256: 54b71ae7e206742dda91a3ef86264c8c971301539fd0d1cd0469669fba74d115

Size: 14,436,440 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_armhf.deb
SHA1: 96dc0300f5728ff71add0a68783eb722e06ba7b2
Size: 479,712 bytes
coq-dbgsym_8.9.1-1_armhf.deb
SHA1: aaa6b991be63fd9931edcf043570a3d056a8b6ec
Size: 3,289,924 bytes

Submissions

nn4mirop
Submitted
Tue, 20 Aug 2019 14:13:59 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566270574"