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
Fri, 30 Aug 2019 05:36:15 +0000
Build-Path
/build/coq-8.9.1

First submitted
Fri, 30 Aug 2019 07:54:37 +0000
SHA1 of .buildinfo
76046f8c676e00ea64732a768318000815da5dd0

Binaries

coq (coq_8.9.1-1_armhf.deb)
SHA1: 24acb289bdd9f5f7288633c16a335f636053c340
SHA256: 38c2a6ee1552db331bedfecce52a19fa261749b193e1f5e8899ec37922175a03

Size: 57,472,152 bytes
coq-theories (coq-theories_8.9.1-1_armhf.deb)
SHA1: 7be516bfbe442262e87e7b649b919a2792b9ada1
SHA256: 7c02b0c63fc4d2addfab449f695315d2212175fa104d4a10e44dc70c28f59bde

Size: 20,350,632 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_armhf.deb)
SHA1: ad6f109a568ca5839a1c251f43ddda0ff7af1848
SHA256: dc2846edc1c250873ef21bb7cd546eaa988d9e29a9a5ac02f1daa8d52f0c45a8

Size: 5,433,632 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_armhf.deb)
SHA1: 95519ff71328f2ae4e64283135f148090d2bbe6d
SHA256: 2d37960a7c8bafafddac9672b5500b66af8d673941aa09c76e02c25c85e593f4

Size: 14,430,464 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_armhf.deb
SHA1: a15d80c3a31ffd64bd918c27c6caf04c0f5a2c28
Size: 481,068 bytes
coq-dbgsym_8.9.1-1_armhf.deb
SHA1: 72b36f419d2d79f825ca240f081891adf6f9bc22
Size: 3,308,936 bytes

Submissions

wmpxdz44
Submitted
Fri, 30 Aug 2019 07:54:37 +0000
Signed by
0x0CB44ADC1E48B47D ff4a (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"