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, 14 Mar 2019 11:27:40 +0000
Build-Path
/build/1st/coq-8.9.0

First submitted
Thu, 14 Mar 2019 19:54:04 +0000
SHA1 of .buildinfo
58d4aeccf73c1b4a739f1a42e41d5d972e659985

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 86652d5dcf62adb0386b874461e5764a2b5b4e1c
SHA256: aa64b8ab8182a1dbc0d6a781a7274500032d34d85c7f4e95706486fc45f6c82b

Size: 57,324,020 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 1c4544d3a4576a70a414e0944f0730277efab8b3
SHA256: 270a70fe73a7aee2741bf4a35a6b7df3dcbaa036c6b3797864a8b43fb5fec67e

Size: 20,351,184 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: ae7880dd040035ff28f94c1804c634c09e7f94aa
SHA256: 8ebeaf7193dd8cb03f663255498095b2efafc2e6285dce422e8fb266ba44abc4

Size: 5,380,632 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: 160f2bbb02137e3404d0fc45d0848fa1e3d29e44
SHA256: 233c297133cc3065b3826cac8afc22b258b029d98af9c418a6376e2b4487fb82

Size: 14,381,560 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 66c1dc460965042c228a701ecae13c21f629daa8
Size: 477,668 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 61caa7ae1b4aba6a33046ba0dbe107858aa5b1cd
Size: 3,123,532 bytes

Submissions

xympsu9h
Submitted
Thu, 14 Mar 2019 19:54:05 +0000
Signed by
0x3790BB94D873CF00 p64c (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"