coq_8.9.1-1_amd64.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 7 Nov 2020 09:29:21 +0000
Build-Path
/build/coq-8.9.1

First submitted
Sun, 6 Oct 2019 06:16:38 +0000
SHA1 of .buildinfo
164ba3dd789e56ba0f4ea135af1d7363f7a129a7

Binaries

coq (coq_8.9.1-1_amd64.deb)
SHA1: 028343f8aaba2eab68285064acde0f2ef190929d
SHA256: a2aba710ed5c8c772b89c7666c5b79fc5f4d3abc6a54ab8b9ff735a9c6b802b6

Size: 59,089,420 bytes
coq-theories (coq-theories_8.9.1-1_amd64.deb)
SHA1: 357ff803c72aaeac0b6d5b24a8bf32cf9e3b3608
SHA256: c6b3af876b0d2095366a855e825387092314bcf64947dadf35d8332fd8c0efde

Size: 29,744,656 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_amd64.deb)
SHA1: e4cda215fac6b2df4a2052db9b5bfdbff589d772
SHA256: e879b92638ff0159419f46dc7c2711c3c96407b131997f8c4cc3490f3dc4b245

Size: 5,523,612 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_amd64.deb)
SHA1: ce33102ea7d4ae28ae64a8144c4200adc0ccc067
SHA256: 89410d50d51da400bce1a6814b790c426be59a19a6df7de8b4094c709962110d

Size: 13,739,012 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_amd64.deb
SHA1: ad5a24306544d6c6db0be1d696704d4eabb4e750
Size: 537,740 bytes
coq-theories-dbgsym_8.9.1-1_amd64.deb
SHA1: 2f694ef0d5d26e4e8294b84eb85fde3840d90d1b
Size: 772,860 bytes
coq-dbgsym_8.9.1-1_amd64.deb
SHA1: d8e24d20528611fd465b57a8c1e8b1b3009c4dce
Size: 3,881,464 bytes

Submissions

zavswagj
Submitted
Sun, 6 Oct 2019 06:16:38 +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="1566270574"