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
Thu, 7 Feb 2019 21:00:20 +0000
Build-Path
/build/coq-f24Dmd/coq-8.9.0

First submitted
Fri, 8 Feb 2019 00:11:01 +0000
SHA1 of .buildinfo
06bc8e6d5887765c887f833a5629ac847005125f

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 68206584019a794f1e9c7bb49f1bdc698c7af920
SHA256: 30f2c56f09c7dca8f7d0803a247119c7162bbbae66c91e1e8e1158d03bcd37dd

Size: 57,327,100 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: ce4c29b4ab8164b0d9351bb2f93bfef558ae5c70
SHA256: 90ab6e55a6bf2138642ebf57336028d698b57d9f247dcb9f201378472ce7c472

Size: 20,351,780 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 0479f59c51c4da254f1382c243111f3aa30b8b0d
SHA256: f7f1cf1e0b6316e52b8a8b6d0b6974ff19d01389d6710821474a79fa9850f8fb

Size: 5,384,100 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: 8046755248e196dc914ccb69a051c50db7fbe2bf
SHA256: 939680821dd64992b928dec286c83c17c53be9b47522112b1269118b1144941f

Size: 14,391,840 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: e47d4543c1932db057d4a61f87d5348591aa4d0d
Size: 479,088 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: fc0f948aa66a0fcdce6d1ea6869fa65c805d4b12
Size: 3,311,820 bytes

Submissions

gsx3v9ah
Submitted
Fri, 8 Feb 2019 00:11:01 +0000
Signed by
0x2F7FE489BACF2560

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1549474869"