coq_8.9.1-5_armhf.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 31 Jan 2020 19:17:49 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sat, 1 Feb 2020 03:36:36 +0000
SHA1 of .buildinfo
2bad5d1f6f07e20c81c891187b3ac3b24bdd8c9e

Binaries

coq (coq_8.9.1-5_armhf.deb)
SHA1: 62c8f5973f24f19e1a90856db17fca9a894d9077
SHA256: ab4c8c4497b18e6e2463095222bdb3ff71ac80208619b940138368f9de25bce7

Size: 68,440,904 bytes
coqide (coqide_8.9.1-5_armhf.deb)
SHA1: d255852db98e522229c9a7e98c68a2db66b1c6c2
SHA256: 756e99310d85534b55fec8f9fb6a3fb6dc8ae1c6594f84733b40a3a46fef50d0

Size: 1,740,792 bytes
coq-theories (coq-theories_8.9.1-5_armhf.deb)
SHA1: e016b3a300ef9dd591b30fdeea01f27a7481e2e6
SHA256: 83ae5e8f8325695793b3e9405243d56a34eef18e920bb8c520ee3e86db41efc0

Size: 20,343,352 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_armhf.deb)
SHA1: 3143bf955b72745e10e19dd0888120e306ce0854
SHA256: 034aa64eda96f01b22d4582d0e82c4d0bd39a16d01aefb458c5b5b6665ee4442

Size: 5,609,668 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_armhf.deb)
SHA1: c430d4df16be9699f93071e865a9d606aa909ae4
SHA256: 5f0ecd48b29d3918a76696a88e24f17661ffa92a8ffe8001f81a0415dea19afe

Size: 15,777,204 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_armhf.deb
SHA1: 15b7f8804aa5391b3cd6e41680d51f88f06d606b
Size: 498,128 bytes
coqide-dbgsym_8.9.1-5_armhf.deb
SHA1: b1bd44efaf23bf3b40f6020bb28f5b6ecb79d1fe
Size: 478,968 bytes
coq-dbgsym_8.9.1-5_armhf.deb
SHA1: 16a5575fca817c99019ea9eb935b2903d565b725
Size: 4,513,156 bytes

Submissions

r9ah79kz
Submitted
Sat, 1 Feb 2020 03:36:37 +0000
Signed by
0x3B7B0B0B40A455E9 opi2a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1580239419"