coq_8.9.1-5_amd64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 11 Apr 2021 22:17:49 +0000
Build-Path
/build/coq-8.9.1

First submitted
Mon, 9 Mar 2020 19:17:04 +0000
SHA1 of .buildinfo
e7dc2c181b6029e387f8be051f300e37a986c4ca

Binaries

coq (coq_8.9.1-5_amd64.deb)
SHA1: 691389f6aadbe620b87917f341b563012e5330f1
SHA256: 1aa0a10f6a1bf3b43f0b5048b3362c75fcd80c7ccce9e545acbc5fd0a3c2bd59

Size: 70,380,108 bytes
coqide (coqide_8.9.1-5_amd64.deb)
SHA1: e86471db6f63f1f74caf91b7b35c5dcba5df9591
SHA256: 51f55bd97f19a1c1e08d6f4194bcb27327098d654a4e77ad517f4fd58c45286a

Size: 1,859,804 bytes
coq-theories (coq-theories_8.9.1-5_amd64.deb)
SHA1: 08acc87ff99082b369c4d955b6287f1ce5fb771c
SHA256: 7daecbd9650917ad4aa9569b190cbf6c251fc488f666a5093515426d383bbb9f

Size: 30,180,012 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_amd64.deb)
SHA1: 8b9ec4c02497d6cd5291bc313c304d4f4474804d
SHA256: 1deb1dba9e5710e4471cb4e41c11e0d94b31723527a3a8c9eb898db79a427d5d

Size: 5,682,012 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_amd64.deb)
SHA1: 5204b9b22d4f4415c71410829b89af09c6556de1
SHA256: 9b7ce7378fde50e84b91234489bdb844b7f79abb4cec2cc3eef046c17150757e

Size: 15,098,736 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb
SHA1: 3d41a489bd2aee06ff4f94f6755ff62c4e8ee7f8
Size: 573,076 bytes
coqide-dbgsym_8.9.1-5_amd64.deb
SHA1: 917d93306d1729fda102627e4a9aa4a4a1a741ce
Size: 500,296 bytes
coq-theories-dbgsym_8.9.1-5_amd64.deb
SHA1: 07918ea4d72c01641a10d2505069d1e9b09d2152
Size: 769,788 bytes
coq-dbgsym_8.9.1-5_amd64.deb
SHA1: 0a6974dbdad61ea3339faad5a336c10a19fe649f
Size: 6,072,400 bytes

Submissions

reb7pnhw
Submitted
Mon, 9 Mar 2020 19:17:04 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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