coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 18 Mar 2021 06:55:42 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 14 Feb 2020 02:34:33 +0000
SHA1 of .buildinfo
d3eda4f4ee2b716ba21f20d0f07b167bb297cfcd

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: d686151a2673059b733ca8f75b5a07274fb3732f
SHA256: c3283b229be8aed097935f5a7652079f8d7f1f3da6437251e67ccf1a94aca880

Size: 59,004,788 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 2ddcc9b138ac1ae34378b305295de9412e481827
SHA256: c4ed120bc6ab293e396bd12be255fc07341f56c86f21dda208fd086abd697268

Size: 29,738,764 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 13e17f5528e5dbbcf07f92f1c35454dbc2bbdc4d
SHA256: a73a519e30f908d4af703b864adf9c128f0711442c2fe3639ad872dc9075972d

Size: 5,460,232 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 760afac18819b900f4157e57023704753ca60b77
SHA256: ba25f848211b73aa0839c818f2b672c85b328e53d0aedeab1d7d546f321dae55

Size: 13,707,076 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 56557dd13cc46fab0e2ee43fca3a002d70642540
Size: 535,064 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 4dcaf489f2cc4a1e2da8c90f6510275f23d26c0d
Size: 773,760 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 1968b5d523b4a4a45e1bca320ade0d2963b2cdcf
Size: 3,967,480 bytes

Submissions

tmjxqcz3
Submitted
Fri, 14 Feb 2020 02:34:33 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1549474869"