coq_8.10.2-1_amd64.buildinfo (view)

Source
coq
Version
8.10.2-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 10 Mar 2021 18:02:02 +0000
Build-Path
/build/1st/coq-8.10.2

First submitted
Thu, 6 Feb 2020 14:40:51 +0000
SHA1 of .buildinfo
c37855ff6bd38196b9f7b54fec6baeca8e79c622

Binaries

coq (coq_8.10.2-1_amd64.deb)
SHA1: 49a3173912b3910de53dcba1d4cc9fe0e5e9315e
SHA256: b97b90cc19a7bd26af81ced2fdef56304c485d669840daf869ba8ee9af9fc35b

Size: 75,512,088 bytes
coqide (coqide_8.10.2-1_amd64.deb)
SHA1: db563f1f7ad6660ff7ba8bbbe7dbe89350669a3a
SHA256: 702d8b3ab25fb027df1a5cee23fed59ad90a89d756688b1d25b63326bd64603e

Size: 1,959,328 bytes
coq-theories (coq-theories_8.10.2-1_amd64.deb)
SHA1: 0b75fb1a5df12a448808a1fed1b3c8472e981c65
SHA256: 101e0ca8add11a584f80d5b626dbf86b1ecd6cc4189ef39d83175381930b82cb

Size: 32,012,040 bytes
libcoq-ocaml (libcoq-ocaml_8.10.2-1_amd64.deb)
SHA1: 72d3ccd89c62f3c146d88faa61ce78c1a2423fe3
SHA256: 4df3b952a4870ee27461b5fb21d6371e8c94274acb4481beed17d437fd4a333c

Size: 5,489,596 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.10.2-1_amd64.deb)
SHA1: f215337efcc485d62a5d1e1d0d89990efd53554e
SHA256: 7a04797389f71f680abb4f91d2b038785296fdcfac24c47103e62c34e3cdce9b

Size: 15,517,632 bytes

Other checksums

libcoq-ocaml-dbgsym_8.10.2-1_amd64.deb
SHA1: 150c66d2ff4e80b66d86337bed905215542cd4d2
Size: 561,120 bytes
coqide-dbgsym_8.10.2-1_amd64.deb
SHA1: 2d59b4d1598823be8e479b81a8eba09de8bb6232
Size: 592,772 bytes
coq-theories-dbgsym_8.10.2-1_amd64.deb
SHA1: 678a3422a4846025b4b2bd0d0815e6baa36f4fbb
Size: 817,844 bytes
coq-dbgsym_8.10.2-1_amd64.deb
SHA1: 24277197f56d6d21913ae68ca8f16bbd85b3c65f
Size: 6,716,412 bytes

Submissions

cc39dfrm
Submitted
Thu, 6 Feb 2020 14:40:51 +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="1577906721"