coq_8.9.1-4_armhf.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 28 Jan 2020 06:42:56 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Tue, 28 Jan 2020 10:03:13 +0000
SHA1 of .buildinfo
6d63fa74e5376a2ffe838bd6ae851d43012b286a

Binaries

coq (coq_8.9.1-4_armhf.deb)
SHA1: 4a4978461e3dc407042466dc41277ecc4efb8706
SHA256: 28a69e8fbb96d37598e57e5c7a850c9ef387ffa0e7d065cf27b05f771af76276

Size: 68,442,544 bytes
coqide (coqide_8.9.1-4_armhf.deb)
SHA1: 25e4253fa6361120e6af0fb6ea6d9036d8895e8e
SHA256: 30dcc12b96fbaa4569fa19d3ce6ece5f59c033c0fa700f89ec1be6d3b039b39e

Size: 9,371,932 bytes
coq-theories (coq-theories_8.9.1-4_armhf.deb)
SHA1: 221526fe16df8115f11b5297819baca1181e3a2d
SHA256: 27b27a956f2608b3a3318eeceee60c37165094724458c0d12f6f7257d8be8c20

Size: 20,343,572 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_armhf.deb)
SHA1: 583af634b725d98cb27d261f106a302a55d2d32b
SHA256: d1c9d5cfd20ec7501be2f45c83deced86caeccd0b2e1eed7e6edf28811f7cac0

Size: 5,608,320 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_armhf.deb)
SHA1: 7d8cad86c0ff2f2ca9d9608148016582f068c1f0
SHA256: ccf9d68f57e6c2b5ddd98ef1797cd74086e8ab151cb13b938cab46e5a88e3c2b

Size: 15,774,976 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_armhf.deb
SHA1: c8e703ee48b45eaf99f49fa13439f51c9e331415
Size: 499,424 bytes
coqide-dbgsym_8.9.1-4_armhf.deb
SHA1: 689c7bef499d6439e8e188ee7dd07e8ef4cee9b1
Size: 1,483,636 bytes
coq-dbgsym_8.9.1-4_armhf.deb
SHA1: d5b00a51559b9e285389082dd6ece801006ca624
Size: 4,720,996 bytes

Submissions

dn7irp9j
Submitted
Tue, 28 Jan 2020 10:03:13 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1580092173"